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.
4950 Publications
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. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1420-9101.2011.02278.x.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3385
Sixt, Michael K. “Interstitial Locomotion of Leukocytes.” Immunology Letters. Elsevier, 2011. https://doi.org/10.1016/j.imlet.2011.02.013.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3383
Heisenberg, Carl-Philipp J. “Invited Lectures ‐ Symposia Area.” FEBS Journal. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1742-4658.2011.08136.x.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3399 | 
Cremer, Sylvia, Alexandra Schrempf, and Jürgen Heinze. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.” PLoS One. Public Library of Science, 2011. https://doi.org/10.1371/journal.pone.0017323.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3771
Pavan, Ana, Felipe Martins, Fabrício Santos, Albert Ditchfield, and Rodrigo A Fernandes Redondo. “Patterns of Diversification in Two Species of Short-Tailed Bats (Carollia Gray, 1838): The Effects of Historical Fragmentation of Brazilian Rainforests.” Biological Journal of the Linnean Society. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1095-8312.2010.01601.x.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3778 |
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity. Nature Publishing Group, 2011. https://doi.org/10.1038/hdy.2010.67.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.” In Forces and Tension in Development, edited by Michel Labouesse, 95:189–213. Elsevier, 2011. https://doi.org/10.1016/B978-0-12-385065-2.00006-2.
View
| DOI
2011 | Journal Article | IST-REx-ID: 3364 |
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.” Theoretical Computer Science. Elsevier, 2011. https://doi.org/10.1016/j.tcs.2010.10.022.
[Submitted Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 469 |
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. Wiley-Blackwell, 2011. https://doi.org/10.1523/JNEUROSCI.6398-10.2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Journal Article | IST-REx-ID: 490 |
Schlögl, Alois, Carmen Vidaurre, and Tilmann Sander. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience. Hindawi Publishing Corporation, 2011. https://doi.org/10.1155/2011/935364.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling. American Association for the Advancement of Science, 2011. https://doi.org/10.1126/scisignal.2002617.
View
| DOI
2011 | Journal Article | IST-REx-ID: 518 |
Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai, Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal. Wiley-Blackwell, 2011. https://doi.org/10.1038/emboj.2011.301.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 531 |
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design. Springer, 2011. https://doi.org/10.1007/s10703-011-0131-3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Technical Report | IST-REx-ID: 5379 |
Chatterjee, Krishnendu, and Monika H Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5381 |
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5380 |
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0008.
[Published Version]
View
| Files available
| 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.
[Published Version]
View
| Files available
| DOI
2011 | Preprint | IST-REx-ID: 3338 |
Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
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.
[Submitted Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5385 |
Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5386 |
Chen, Chao, Daniel Freedman, and Christoph Lampert. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0002.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5383 |
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.
[Published Version]
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
[Published Version]
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: 3323
Wies, Thomas, Marco Muñiz, and Viktor Kuncak. “An Efficient Decision Procedure for Imperative Tree Data Structures,” 6803:476–91. Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6_36.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3366 |
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. https://doi.org/10.1007/978-3-642-22993-0_21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
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.
[Published Version]
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 6496 |
Park, Heungwon, Panos Oikonomou, Calin C Guet, and Philippe Cluzel. “Noise Underlies Switching Behavior of the Bacterial Flagellum.” Biophysical Journal. Elsevier, 2011. https://doi.org/10.1016/j.bpj.2011.09.040.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 9648 |
Gonzalez-Diaz, Rocio, Adrian Ion, Maria Jose Jimenez, and Regina Poyatos. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.” In Computer Analysis of Images and Patterns, 6854:286–93. Springer Nature, 2011. https://doi.org/10.1007/978-3-642-23672-3_35.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3395
Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster Palinurus Elephas.” Biological Journal of the Linnean Society. Wiley-Blackwell, 2011. https://doi.org/10.1111/j.1095-8312.2011.01728.x.
View
| Files available
| DOI
2011 | Research Data Reference | IST-REx-ID: 9762 |
Palero, Ferran, Pere Abello, Enrique Macpherson, Mark Beaumont, and Marta Pascual. “Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas).” IST Austria, 2011. https://doi.org/10.5061/dryad.299h8.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Conference Paper | IST-REx-ID: 10907
Artner, Nicole M., Adrian Ion, and Walter G. Kropatsch. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” In Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang, Miquel Ferrer, and Andrea Torsello, 6658:215–24. LNIP. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20844-7_22.
View
| DOI
2011 | Thesis | IST-REx-ID: 3275 |
Schumann, Kathrin. “The Role of Chemotactic Gradients in Dendritic Cell Migration.” Institute of Science and Technology Austria, 2011.
[Published Version]
View
| Files available
2011 | Thesis | IST-REx-ID: 3273
Maître, Jean-Léon. “Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors.” Institute of Science and Technology Austria, 2011.
View
2011 | Journal Article | IST-REx-ID: 3392
Soriano, Silvia, Miroslav Hons, Kathrin Schumann, Varsha Kumar, Timo Dennier, Ruth Lyck, Michael K Sixt, and Jens Stein. “In Vivo Analysis of Uropod Function during Physiological T Cell Trafficking.” Journal of Immunology. American Association of Immunologists, 2011. https://doi.org/10.4049/jimmunol.1100935.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3163
Lampert, Christoph. “Maximum Margin Multi-Label Structured Prediction.” Neural Information Processing Systems, 2011.
View
| Files available
2011 | Conference Poster | IST-REx-ID: 3322
Lampert, Christoph. Maximum Margin Multi Label Structured Prediction. NIPS: Neural Information Processing Systems. Neural Information Processing Systems Foundation, 2011.
View
| Files available
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. Now Publishers, 2011. https://doi.org/10.1561/0600000033.
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3319
Quadrianto, Novi, and Christoph Lampert. “Learning Multi-View Neighborhood Preserving Projections,” 425–32. ML Research Press, 2011.
View
2011 | Journal Article | IST-REx-ID: 3373 |
Jahnel, Marcus, Martin Behrndt, Anita Jannasch, Erik Schaeffer, and Stephan Grill. “Measuring the Complete Force Field of an Optical Trap.” Optics Letters. Optica Publishing Group, 2011. https://doi.org/10.1364/OL.36.001260.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2011 | Journal Article | IST-REx-ID: 3375 |
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. The Royal Society, 2011. https://doi.org/10.1098/rsif.2010.0438.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3393 |
Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist. The University of Chicago Press, 2011. https://doi.org/10.1086/661246.
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 10908 |
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. https://doi.org/10.1007/978-3-642-17511-4_7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 2409 |
Kupczok, Anne, Heiko Schmidt, and Arndt Von Haeseler. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .” Algorithms for Molecular Biology. BioMed Central, 2010. https://doi.org/10.1186/1748-7188-5-37.
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, 1594–1604. Society for Industrial and Applied Mathematics, 2010. https://doi.org/10.1137/1.9781611973075.129.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3303 |
Weissman, Daniel, Marcus Feldman, and Daniel Fisher. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics. Genetics Society of America, 2010. https://doi.org/10.1534/genetics.110.123240.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3604
Senn, Helen, Simon Goodman, Graeme Swanson, Nicholas H Barton, and Josephine Pemberton. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.” Molecular Ecology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-294X.2009.04497.x.
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3719 |
Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
[Submitted Version]
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3718
Guzmán, José, Hartmut Schmidt, Heike Franke, Ute Krügel, Jens Eilers, Peter Illes, and Zoltan Gerevich. “P2Y1 Receptors Inhibit Long-Term Depression in the Prefrontal Cortex.” Neuropharmacology. Elsevier, 2010. https://doi.org/10.1016/j.neuropharm.2010.05.013.
View
| DOI