Please note that IST 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.

2600 Publications


2011 | Technical Report | IST-REx-ID: 5379
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3266
Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Probabilistic Joint Image Segmentation and Labeling.” In NIPS Proceedings, 24:1827–35. Neural Information Processing Systems Foundation, 2011.
View
 

2011 | Thesis | IST-REx-ID: 3273
Maître, Jean-Léon. Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors. IST Austria, 2011.
View
 

2011 | Conference Paper | IST-REx-ID: 3297   OA
Wojtan, Christopher J, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation with Mesh-Based Surface Tracking.” ACM, 2011. https://doi.org/10.1145/2037636.2037644.
View | Files available | DOI
 

2011 | Conference Poster | IST-REx-ID: 3312   OA
Zheng, Ying, Steve Gu, Herbert Edelsbrunner, Carlo Tomasi, and Philip Benfey. Detailed Reconstruction of 3D Plant Root Shape. Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126475.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3324   OA
Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4_26.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3329   OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” In Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, 187–96. ACM, 2011. https://doi.org/10.1145/1998196.1998225.
View | Files available | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3355   OA
Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,” 255–64. IEEE, 2011. https://doi.org/10.1109/QEST.2011.40.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3343   OA
Chatterjee, Krishnendu, and Monika Henzinger. “Faster and Dynamic Algorithms for Maximal End Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3778   OA
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity 106, no. 2 (2011): 205–6. https://doi.org/10.1038/hdy.2010.67.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3386
Schrempf, Alexandra, Sylvia Cremer, and Jürgen Heinze. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.” Journal of Evolutionary Biology 24, no. 7 (2011): 1455–61. https://doi.org/10.1111/j.1420-9101.2011.02278.x.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3393   OA
Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist 178, no. 3 (2011): E48–75. https://doi.org/10.1086/661246.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3374   OA
Tkacik, Gasper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter 23, no. 15 (2011). https://doi.org/10.1088/0953-8984/23/15/153102.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3379   OA
Row, Richard, Jean-Léon Maître, Benjamin Martin, Petra Stockinger, Carl-Philipp J Heisenberg, and David Kimelman. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology 354, no. 1 (2011): 102–10. https://doi.org/10.1016/j.ydbio.2011.03.025.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Conference Paper | IST-REx-ID: 3367
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology,” 207–16. ACM, 2011. https://doi.org/10.1145/1998196.1998228.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3381
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.” IJFCS: International Journal of Foundations of Computer Science 22, no. 4 (2011): 823–41. https://doi.org/10.1142/S0129054111008441.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3336
Chen, Chao, Daniel Freedman, and Christoph Lampert. “Enforcing Topological Constraints in Random Field Image Segmentation.” In CVPR: Computer Vision and Pattern Recognition, 2089–96. IEEE, 2011. https://doi.org/10.1109/CVPR.2011.5995503.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3348   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory Efficient Real Time Controllers for Safety Objectives,” 221–30. Springer, 2011. https://doi.org/10.1145/1967701.1967734.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, Krishnendu, and Ritankar Majumdar. “Minimum Attention Controller Synthesis for Omega Regular Objectives.” edited by Uli Fahrenberg and Stavros Tripakis, 6919:145–59. Springer, 2011. https://doi.org/10.1007/978-3-642-24310-3_11.
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5382
Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0006.
View | Files available | DOI
 

2011 | Technical Report | IST-REx-ID: 5387
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3362
Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules.” edited by Joost-Pieter Katoen and Barbara König, 6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011. https://doi.org/10.1007/978-3-642-23217-6_27.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3267
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Discrete & Computational Geometry 45, no. 3 (2011): 425–48. https://doi.org/10.1007/s00454-010-9322-8.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3298   OA
Raveendran, Karthik, Christopher J Wojtan, and Greg Turk. “Hybrid Smoothed Particle Hydrodynamics.” edited by Stephen Spencer, 33–42. ACM, 2011. https://doi.org/10.1145/2019406.2019411.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3301   OA
Henzinger, Thomas A, and Maria Mateescu. “Tail Approximation for the Chemical Master Equation.” Tampere International Center for Signal Processing, 2011.
View | Files available
 

2011 | Conference Paper | IST-REx-ID: 3313   OA
Chen, Chao, and Herbert Edelsbrunner. “Diffusion Runs Low on Persistence Fast.” In Proceedings of the IEEE International Conference on Computer Vision. IEEE, 2011. https://doi.org/10.1109/ICCV.2011.6126271.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3318   OA
Eggermann, Emmanuel, and Peter M Jonas. “How the ‘Slow’ Ca(2+) Buffer Parvalbumin Affects Transmitter Release in Nanodomain Coupling Regimes at GABAergic Synapses.” Nature Neuroscience 15 (2011): 20–22. https://doi.org/10.1038/nn.3002.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3320
Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.” Foundations and Trends in Computer Graphics and Vision 6, no. 3–4 (2011): 185–365. https://doi.org/10.1561/0600000033.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3325
Alur, Rajeev, and Pavol Cerny. “Streaming Transducers for Algorithmic Verification of Single Pass List Processing Programs,” 46:599–610. ACM, 2011. https://doi.org/10.1145/1926385.1926454.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3382
Kroemer, Oliver, Christoph Lampert, and Jan Peters. “Learning Dynamic Tactile Sensing with Robust Vision Based Training.” IEEE Transactions on Robotics 27, no. 3 (2011): 545–57. https://doi.org/10.1109/TRO.2011.2121130.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3387   OA
Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.” BMC Evolutionary Biology 11, no. 205 (2011). https://doi.org/10.1186/1471-2148-11-205.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3394   OA
Polechova, Jitka, and Nicholas H Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.” Genetics 189, no. 1 (2011): 227–35. https://doi.org/10.1534/genetics.111.129817.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3399   OA
Cremer, Sylvia, Alexandra Schrempf, and Jürgen Heinze. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.” PLoS One 6, no. 3 (2011). https://doi.org/10.1371/journal.pone.0017323.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368   OA
Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.” PNAS 108, no. 3 (2011): E9–10. https://doi.org/10.1073/pnas.1010767108.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2011 | Journal Article | IST-REx-ID: 3370   OA
Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.” Systematic Biology 60, no. 2 (2011): 218–25. https://doi.org/10.1093/sysbio/syq086.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375   OA
Vladar, Harold de, and Nicholas H Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.” Journal of the Royal Society Interface 8, no. 58 (2011): 720–39. https://doi.org/10.1098/rsif.2010.0438.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3337
Wang, Zhikun, Christoph Lampert, Katharina Mülling, Bernhard Schölkopf, and Jan Peters. “Learning Anticipation Policies for Robot Table Tennis,” 332–37. IEEE, 2011. https://doi.org/10.1109/IROS.2011.6094892.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3344
Chatterjee, Krishnendu. “Graph Games with Reachability Objectives.” edited by Giorgo Delzanno and Igor Potapov, 6945:1–1. Springer, 2011. https://doi.org/10.1007/978-3-642-24288-5_1.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3332
Kerber, Michael, and Michael Sagraloff. “A Note on the Complexity of Real Algebraic Hypersurfaces.” Graphs and Combinatorics 27, no. 3 (2011): 419–30. https://doi.org/10.1007/s00373-011-1020-7.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3781
Fasy, Brittany Terese. “The Difference in Length of Curves in R^n.” Acta Sci. Math. (Szeged) 77, no. 1–2 (2011): 359–67.
View
 

2011 | Journal Article | IST-REx-ID: 490   OA
Schlögl, Alois, Carmen Vidaurre, and Tilmann Sander. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience 2011 (2011). https://doi.org/10.1155/2011/935364.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 469   OA
Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.” European Journal of Neuroscience 31, no. 12 (2011): 4593–4606. https://doi.org/10.1523/JNEUROSCI.6398-10.2011.
View | DOI | Download (ext.)
 

2011 | Technical Report | IST-REx-ID: 5383   OA
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0005.
View | Files available | DOI
 

2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.
View | Download (ext.) | arXiv
 

2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “A Reduction from Parity Games to Simple Stochastic Games,” 54:74–86. EPTCS, 2011. https://doi.org/10.4204/EPTCS.54.6.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.” edited by Olaf Owe, Martin Steffen, and Jan Arne Telle, 6914:148–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22953-4_13.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3356
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.” In Conference Proceedings MCV 2010, 6533:31–42. Springer, 2010. https://doi.org/10.1007/978-3-642-18421-5_4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787   OA
Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina 74, no. 3 (2010): 465–70. https://doi.org/10.3989/scimar.2010.74n3465.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3794
Lampert, Christoph, and Oliver Krömer. “Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning,” 6312:566–79. Springer, 2010. https://doi.org/10.1007/978-3-642-15552-9_41.
View | DOI | Download (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed