Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

300 Publications


2011 | Journal Article | IST-REx-ID: 2799
K. Avila, D. Moxey, A. De Lózar, M. Avila, D. Barkley, and B. Hof, “The onset of turbulence in pipe flow,” Science, vol. 333, no. 6039. American Association for the Advancement of Science, pp. 192–196, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2800
D. Samanta, A. De Lózar, and B. Hof, “Experimental investigation of laminar turbulent intermittency in pipe flow,” Journal of Fluid Mechanics, vol. 681. Cambridge University Press, pp. 193–204, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 2801
M. Holzner, M. Avila, A. De Lózar, and B. Hof, “A Lagrangian approach to the interface velocity of turbulent puffs in pipe flow,” presented at the ETC13: European Turbulence Conference, 2011, vol. 318, no. 5.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2871
A. Bishopp, E. Benková, and Y. Helariutta, “Sending mixed messages: Auxin-cytokinin crosstalk in roots,” Current Opinion in Plant Biology, vol. 14, no. 1. Elsevier, pp. 10–16, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2874
J. Gallego Bartolomé et al., “Hierarchy of hormone action controlling apical hook development in Arabidopsis,” Plant Journal, vol. 67, no. 4. Wiley-Blackwell, pp. 622–634, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2897
T. Paixao and R. Azevedo, “Redundancy and the Evolution of Cis Regulatory Element Multiplicity,” PLoS Computational Biology, vol. 6, no. 7. Public Library of Science, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2898
T. Paixao, S. Phadke, R. Azevedo, and R. Zufall, “Sex ratio evolution under probabilistic sex determination,” Evolution; International Journal of Organic Evolution, vol. 65, no. 7. Wiley-Blackwell, pp. 2050–2060, 2011.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 2922
S. Vicente, V. Kolmogorov, and C. Rother, “Graph-cut Based Image Segmentation with Connectivity Priors,” in Markov Random Fields for Vision and Image Processing, A. Blake, P. Kohli, and C. Rother, Eds. Massachusetts Institute of Technology Press, 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2923
M. P. Kumar, V. Kolmogorov, and P. Torr, “Analyzing Convex Relaxations for MAP Estimation,” in Markov Random Fields for Vision and Image Processing, A. Blake, P. Kohli, and C. Rother, Eds. Massachusetts Institute of Technology Press, 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2924
A. Criminisi, G. Cross, A. Blake, and V. Kolmogorov, “Bilayer Segmentation of Video,” in Markov Random Fields for Vision and Image Processing, A. Blake, P. Kohli, and C. Rother, Eds. Massachusetts Institute of Technology Press, 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2925
C. Rother, V. Kolmogorov, Y. Boykov, and A. Blake, “Interactive Foreground Extraction using graph cut,” in Markov Random Fields for Vision and Image Processing, A. Blake, P. Kohli, and C. Rother, Eds. Massachusetts Institute of Technology Press, 2011.
View
 

2011 | Book Chapter | IST-REx-ID: 2935
Y. Boykov and V. Kolmogorov, “Basic graph cut algorithms,” in Markov Random Fields for Vision and Image Processing, A. Blake, P. Kohli, and C. Rother, Eds. Massachusetts Institute of Technology Press, 2011, pp. 31–50.
View
 

2011 | Conference Paper | IST-REx-ID: 2960
S. Fienberg, A. Slavkovic, and C. Uhler, “Privacy Preserving GWAS Data Sharing,” presented at the Proceedings of the 11th IEEE International Conference on Data Mining, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2961 | OA
A. Malaspinas and C. Uhler, “Detecting epistasis via Markov bases,” Journal of Algebraic Statistics, vol. 2, no. 1. Public Knowledge Project, pp. 36–53, 2011.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2975
J. Camenisch, S. Krenn, and V. Shoup, “A Framework for Practical Universally Composable Zero-Knowledge Protocols,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, 2011, vol. 7073, pp. 449–467.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2976
D. Gullasch, E. Bangerter, and S. Krenn, “Cache Games - Bringing Access-Based Cache Attacks on AES to Practice,” presented at the S&P: IEEE Symposium on Security and Privacy, 2011, pp. 490–505.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 2977
E. Bangerter, S. Krenn, M. Seifriz, and U. Ultes Nitsche, “cPLC - A Cryptographic Programming Language and Compiler,” presented at the ISSA: Information Security South Africa, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3082
J. Balla, P. Kalousek, V. Reinöhl, J. Friml, and S. Procházka, “Competitive canalization of PIN dependent auxin flow from axillary buds controls pea bud outgrowth,” Plant Journal, vol. 65, no. 4. Wiley-Blackwell, pp. 571–577, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3083
D. Robinson, D. Scheuring, S. Naramoto, and J. Friml, “ARF1 localizes to the golgi and the trans Golgi network,” Plant Cell, vol. 23, no. 3. American Society of Plant Biologists, pp. 846–849, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3084
E. Feraru et al., “PIN polarity maintenance by the cell wall in Arabidopsis,” Current Biology, vol. 21, no. 4. Cell Press, pp. 338–343, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3085
Z. Ding et al., “Light-mediated polarization of the PIN3 auxin transporter for the phototropic response in Arabidopsis,” Nature Cell Biology, vol. 13, no. 4. Nature Publishing Group, pp. 447–453, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3086
M. Furutani et al., “Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers,” Development, vol. 138, no. 10. Company of Biologists, pp. 2069–2078, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3087
S. Kitakura et al., “Clathrin mediates endocytosis and polar distribution of PIN auxin transporters in Arabidopsis,” Plant Cell, vol. 23, no. 5. American Society of Plant Biologists, pp. 1920–1931, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3088
A. Bishopp et al., “A mutually inhibitory interaction between auxin and cytokinin specifies vascular pattern in roots,” Current Biology, vol. 21, no. 11. Cell Press, pp. 917–926, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3089
J. Zhang et al., “Inositol trisphosphate-induced ca^2+ signaling modulates auxin transport and pin polarity,” Developmental Cell, vol. 20, no. 6. Cell Press, pp. 855–866, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3090
J. Mravec et al., “Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis,” Current Biology, vol. 21, no. 12. Cell Press, pp. 1055–1060, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3091 | OA
M. Sauer and J. Friml, “Fleeting hormone cues get stabilized for plant organogenesis,” Molecular Systems Biology, vol. 7. Nature Publishing Group, 2011.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3092 | OA
K. T. Wabnik, W. Govaerts, J. Friml, and J. Kleine Vehn, “Feedback models for polarized auxin transport: An emerging trend,” Molecular BioSystems, vol. 7, no. 8. Royal Society of Chemistry, pp. 2352–2359, 2011.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3093
M. Barberon et al., “Monoubiquitin dependent endocytosis of the Iron Regulated Transporter 1 IRT1 transporter controls iron uptake in plants,” PNAS, vol. 108, no. 32. National Academy of Sciences, pp. E450–E458, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3094
H. Rakusová et al., “Polarization of PIN3 dependent auxin transport for hypocotyl gravitropic response in Arabidopsis thaliana,” Plant Journal, vol. 67, no. 5. Wiley-Blackwell, pp. 817–826, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3095
J. Dubrovsky et al., “Auxin minimum defines a developmental window for lateral root initiation,” New Phytologist, vol. 191, no. 4. Wiley-Blackwell, pp. 970–983, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3096
K. T. Wabnik, J. Kleine Vehn, W. Govaerts, and J. Friml, “Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization,” Trends in Plant Science, vol. 16, no. 9. Cell Press, pp. 468–475, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3097
P. Marhavý et al., “Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis,” Developmental Cell, vol. 21, no. 4. Cell Press, pp. 796–804, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3098
J. Kleine Vehn et al., “Recycling, clustering and endocytosis jointly maintain PIN auxin carrier polarity at the plasma membrane,” Molecular Systems Biology, vol. 7. Nature Publishing Group, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3099
G. Drakakaki et al., “Clusters of bioactive compounds target dynamic endomembrane networks in vivo,” PNAS, vol. 108, no. 43. National Academy of Sciences, pp. 17850–17855, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3100 | OA
S. Vanneste et al., “Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis ,” EMBO Journal, vol. 30, no. 16. Wiley-Blackwell, pp. 3430–3441, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3101 | OA
M. Zwiewka et al., “The AP 3 adaptor complex is required for vacuolar function in Arabidopsis,” Cell Research, vol. 21, no. 12. Nature Publishing Group, pp. 1711–1722, 2011.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3102
B. Berckmans et al., “Auxin Dependent cell cycle reactivation through transcriptional regulation of arabidopsis E2Fa by lateral organ boundary proteins,” Plant Cell, vol. 23, no. 10. American Society of Plant Biologists, pp. 3671–3683, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3103
X. Chen, N. Irani, and J. Friml, “Clathrin-mediated endocytosis: The gateway into plant cells,” Current Opinion in Plant Biology, vol. 14, no. 6. Elsevier, pp. 674–682, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3138
D. Sullivan, J. L. Csicsvari, K. Mizuseki, S. Montgomery, K. Diba, and G. Buzsáki, “Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity,” Journal of Neuroscience, vol. 31, no. 23. Society for Neuroscience, pp. 8605–8616, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3145
B. Tasic et al., “Site specific integrase mediated transgenesis in mice via pronuclear injection,” PNAS, vol. 108, no. 19. National Academy of Sciences, pp. 7902–7907, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3147
C. Liu et al., “Mosaic analysis with double markers reveals tumor cell of origin in glioma,” Cell, vol. 146, no. 2. Cell Press, pp. 209–221, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3154
M. Degennaro, T. Hurd, D. E. Siekhaus, B. Biteau, H. Jasper, and R. Lehmann, “Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion,” Developmental Cell, vol. 20, no. 2. Cell Press, pp. 233–243, 2011.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3163
C. Lampert, “Maximum margin multi-label structured prediction,” presented at the NIPS: Neural Information Processing Systems, Granada, Spain, 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3204
V. Kolmogorov, “Submodularity on a tree: Unifying Submodularity on a tree: Unifying L-convex and bisubmodular functions convex and bisubmodular functions,” presented at the MFCS: Mathematical Foundations of Computer Science, 2011, vol. 6907, pp. 400–411.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3205
D. Tarlow, D. Batra, P. Kohli, and V. Kolmogorov, “Dynamic tree block coordinate ascent,” presented at the ICML: International Conference on Machine Learning, 2011, pp. 113–120.
View | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3206
A. Osokin, D. Vetrov, and V. Kolmogorov, “Submodular decomposition framework for inference in associative Markov networks with global constraints,” presented at the CVPR: Computer Vision and Pattern Recognition, 2011, pp. 1889–1896.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3207
S. Vicente, C. Rother, and V. Kolmogorov, “Object cosegmentation,” presented at the CVPR: Computer Vision and Pattern Recognition, 2011, pp. 2217–2224.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3236
A. Jain and K. Z. Pietrzak, “Parallel repetition for leakage resilience amplification revisited,” presented at the TCC: Theory of Cryptography Conference, 2011, vol. 6597, pp. 58–69.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3238
E. Kiltz, K. Z. Pietrzak, D. Cash, A. Jain, and D. Venturi, “Efficient authentication from hard learning problems,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Tallinn, Estonia, 2011, vol. 6632, pp. 7–26.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3239
S. Faust, K. Z. Pietrzak, and D. Venturi, “Tamper proof circuits How to trade leakage for tamper resilience,” presented at the ICALP: Automata, Languages and Programming, 2011, vol. 6755, no. Part 1, pp. 391–402.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3240
B. Barak et al., “Leftover hash lemma revisited,” presented at the CRYPTO: International Cryptology Conference, 2011, vol. 6841, pp. 1–20.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3264
A. Gupta, C. Popeea, and A. Rybalchenko, “Solving recursion-free Horn clauses over LI+UIF,” presented at the APLAS: Asian Symposium on Programming Languages and Systems, Kenting, Taiwan, 2011, vol. 7078, pp. 188–203.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3266
A. Ion, J. Carreira, and C. Sminchisescu, “Probabilistic joint image segmentation and labeling,” in NIPS Proceedings, Granada, Spain, 2011, vol. 24, pp. 1827–1835.
View
 

2011 | Book Chapter | IST-REx-ID: 3268
D. Freedman and C. Chen, “Algebraic topology for computer vision,” in Computer Vision, Nova Science Publishers, 2011, pp. 239–268.
View | Download None (ext.)
 

2011 | Journal Article | IST-REx-ID: 3269 | OA
Y. Sheng, B. Cutler, C. Chen, and J. Nasman, “Perceptual global illumination cancellation in complex projection environments,” Computer Graphics Forum, vol. 30, no. 4. Wiley-Blackwell, pp. 1261–1268, 2011.
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3270
C. Chen and M. Kerber, “Persistent homology computation with a twist,” presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland, 2011, pp. 197–200.
View
 

2011 | Book Chapter | IST-REx-ID: 3271
H. Wagner, C. Chen, and E. Vuçini, “Efficient computation of persistent homology for cubical data,” in Topological Methods in Data Analysis and Visualization II, R. Peikert, H. Hauser, H. Carr, and R. Fuchs, Eds. Springer, 2011, pp. 91–106.
View | DOI
 

2011 | Thesis | IST-REx-ID: 3273
J.-L. Maître, “Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors,” IST Austria, 2011.
View
 

2011 | Thesis | IST-REx-ID: 3275 | OA
K. Schumann, “The role of chemotactic gradients in dendritic cell migration,” IST Austria, 2011.
View | Files available
 

2011 | Journal Article | IST-REx-ID: 3276 | OA
J. Prentice, J. Homann, K. Simmons, G. Tkačik, V. Balasubramanian, and P. Nelson, “Fast, scalable, Bayesian spike identification for multi-electrode arrays,” PLoS One, vol. 6, no. 7. Public Library of Science, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3278
R. Vila, N. Pierce, D. Nash, and L. V. Ugelvig, “A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade,” Molecular Phylogenetics and Evolution, vol. 61, no. 1. Elsevier, pp. 237–243, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3285
V. Ruprecht, S. Wieser, D. Marguet, and G. Schuetz, “Spot variation fluorescence correlation spectroscopy allows for superresolution chronoscopy of confinement times in membranes,” Biophysical Journal, vol. 100, no. 11. Biophysical Society, pp. 2839–2845, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3286
J. Weghuber et al., “Cationic amphipathic peptides accumulate sialylated proteins and lipids in the plasma membrane of eukaryotic host cells,” Biochimica et Biophysica Acta (BBA) - Biomembranes, vol. 1808, no. 10. Elsevier, pp. 2581–2590, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3287
V. Ruprecht, M. Axmann, S. Wieser, and G. Schuetz, “What can we learn from single molecule trajectories?,” Current Protein & Peptide Science, vol. 12, no. 8. Bentham Science Publishers, pp. 714–724, 2011.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3288 | OA
M. Smutny, S. Wu, G. Gomez, S. Mangold, A. Yap, and N. Hamilton, “Multicomponent analysis of junctional movements regulated by Myosin II isoforms at the epithelial zonula adherens,” PLoS One, vol. 6, no. 7. Public Library of Science, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3290 | OA
K. Lohse, R. Harrison, and N. H. Barton, “A general method for calculating likelihoods under the coalescent process,” Genetics, vol. 189, no. 3. Genetics Society of America, pp. 977–987, 2011.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3297 | OA
C. J. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298 | OA
K. Raveendran, C. J. Wojtan, and G. Turk, “Hybrid smoothed particle hydrodynamics,” presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada, 2011, pp. 33–42.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3299 | OA
T. A. Henzinger and M. Mateescu, “Propagation models for computing biochemical reaction networks,” presented at the CMSB: Computational Methods in Systems Biology, Paris, France, 2011, pp. 1–3.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3301 | OA
T. A. Henzinger and M. Mateescu, “Tail approximation for the chemical master equation,” presented at the WCSB: Workshop on Computational Systems Biology (TICSP), 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3302 | OA
T. A. Henzinger, A. Singh, V. Singh, T. Wies, and D. Zufferey, “Static scheduling in clouds,” presented at the HotCloud: Workshop on Hot Topics in Cloud Computing, 2011, pp. 1–6.
View | Files available
 

2011 | Conference Poster | IST-REx-ID: 3312 | OA
Y. Zheng, S. Gu, H. Edelsbrunner, C. Tomasi, and P. Benfey, Detailed reconstruction of 3D plant root shape. IEEE, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3313 | OA
C. Chen and H. Edelsbrunner, “Diffusion runs low on persistence fast,” in Proceedings of the IEEE International Conference on Computer Vision, Barcelona, Spain, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3315 | OA
K. Chatterjee, T. A. Henzinger, and V. Prabhu, “Timed parity games: Complexity and robustness,” Logical Methods in Computer Science, vol. 7, no. 4. International Federation of Computational Logic, 2011.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3316 | OA
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Specification-centered robustness,” in 6th IEEE International Symposium on Industrial and Embedded Systems, Vasteras, Sweden, 2011, pp. 176–185.
View | DOI | Download Published Version (ext.)
 

2011 | Journal Article | IST-REx-ID: 3318 | OA
E. Eggermann and P. M. Jonas, “How the ‘slow’ Ca(2+) buffer parvalbumin affects transmitter release in nanodomain coupling regimes at GABAergic synapses,” Nature Neuroscience, vol. 15. Nature Publishing Group, pp. 20–22, 2011.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3319
N. Quadrianto and C. Lampert, “Learning multi-view neighborhood preserving projections,” presented at the ICML: International Conference on Machine Learning, Bellevue, USA, 2011, pp. 425–432.
View
 

2011 | Journal Article | IST-REx-ID: 3320 | OA
S. Nowozin and C. Lampert, “Structured learning and prediction in computer vision,” Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4. now, pp. 185–365, 2011.
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3322
C. Lampert, Maximum margin multi label structured prediction. Neural Information Processing Systems, 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324 | OA
R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3325
R. Alur and P. Cerny, “Streaming transducers for algorithmic verification of single pass list processing programs,” presented at the POPL: Principles of Programming Languages, Texas, USA, 2011, vol. 46, no. 1, pp. 599–610.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3327
U. Boker and O. Kupferman, “Co-Büching them all,” presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany, 2011, vol. 6604, pp. 184–198.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3328 | OA
E. Berberich, M. Hemmer, and M. Kerber, “A generic algebraic kernel for non linear geometric applications,” presented at the SCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 179–186.
View | DOI | Download Published Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3329 | OA
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” in Proceedings of the twenty-seventh annual symposium on Computational geometry, Paris, France, 2011, pp. 187–196.
View | Files available | DOI | Download Preprint (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3330 | OA
M. Kerber and M. Sagraloff, “Root refinement for real polynomials,” presented at the ISSAC: International Symposium on Symbolic and Algebraic Computation, California, USA, 2011, pp. 209–216.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Journal Article | IST-REx-ID: 3332 | OA
M. Kerber and M. Sagraloff, “A note on the complexity of real algebraic hypersurfaces,” Graphs and Combinatorics, vol. 27, no. 3. Springer, pp. 419–430, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3334
H. Edelsbrunner, J. Pach, and G. Ziegler, “Letter from the new editors-in-chief,” Discrete & Computational Geometry, vol. 45, no. 1. Springer, pp. 1–2, 2011.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 3335 | OA
R. Van De Weygaert et al., “Alpha, Betti and the Megaparsec Universe: On the topology of the Cosmic Web,” in Transactions on Computational Science XIV, vol. 6970, M. Gavrilova, K. Tan, and M. Mostafavi, Eds. Springer, 2011, pp. 60–101.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3337
Z. Wang, C. Lampert, K. Mülling, B. Schölkopf, and J. Peters, “Learning anticipation policies for robot table tennis,” presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA, 2011, pp. 332–337.
View | DOI
 

2011 | Preprint | IST-REx-ID: 3338 | OA
K. Chatterjee, “Bounded rationality in concurrent parity games,” arXiv. ArXiv, pp. 1–51, 2011.
View | Files available | Download Preprint (ext.) | arXiv
 

2011 | Preprint | IST-REx-ID: 3339 | OA
K. Chatterjee, L. De Alfaro, and R. Pritam, “Magnifying lens abstraction for stochastic games with discounted and long-run average objectives,” arXiv. ArXiv, 2011.
View | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3344
K. Chatterjee, “Graph games with reachability objectives,” presented at the RP: Reachability Problems, Genoa, Italy, 2011, vol. 6945, pp. 1–1.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3347 | OA
K. Chatterjee and N. Fijalkow, “Finitary languages,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 216–226.
View | DOI | Download Preprint (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3348 | OA
K. Chatterjee and V. Prabhu, “Synthesis of memory efficient real time controllers for safety objectives,” presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA, 2011, pp. 221–230.
View | DOI | Download Submitted Version (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3349 | OA
K. Chatterjee and N. Fijalkow, “A reduction from parity games to simple stochastic games,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2011, vol. 54, pp. 74–86.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

year=2011

Search

Filter Publications