Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.”https://doi.org/10.1145/1985342.1985345__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011.https://doi.org/10.1145/1985342.1985345 .
LibreCat: https://research-explorer.ista.ac.at/record/3353
DOI: 10.1145/1985342.1985345

Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,”https://doi.org/10.1109/QEST.2011.40__255–64. IEEE, 2011.https://doi.org/10.1109/QEST.2011.40 .
LibreCat: https://research-explorer.ista.ac.at/record/3355
DOI: 10.1109/QEST.2011.40

Chatterjee, Krishnendu, and Ritankar Majumdar. “Minimum Attention Controller Synthesis for Omega Regular Objectives.”https://doi.org/10.1007/978-3-642-24310-3_11__edited by Uli Fahrenberg and Stavros Tripakis, 6919:145–59. Springer, 2011.https://doi.org/10.1007/978-3-642-24310-3_11 .
LibreCat: https://research-explorer.ista.ac.at/record/3350
DOI: 10.1007/978-3-642-24310-3_11

Chatterjee, Krishnendu, Laurent Doyen, and Rohit Singh. “On Memoryless Quantitative Objectives.”https://doi.org/10.1007/978-3-642-22953-4_13__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 .
LibreCat: https://research-explorer.ista.ac.at/record/3351
DOI: 10.1007/978-3-642-22953-4_13

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.”https://doi.org/10.1145/1970398.1970404__ACM Transactions on Computational Logic (TOCL). ACM, 2011.https://doi.org/10.1145/1970398.1970404 .
LibreCat: https://research-explorer.ista.ac.at/record/3354
DOI: 10.1145/1970398.1970404

Chatterjee, Krishnendu, and Nathanaël Fijalkow. “A Reduction from Parity Games to Simple Stochastic Games,”https://doi.org/10.4204/EPTCS.54.6__54:74–86. EPTCS, 2011.https://doi.org/10.4204/EPTCS.54.6 .
LibreCat: https://research-explorer.ista.ac.at/record/3349
DOI: 10.4204/EPTCS.54.6

Ibáñez, Maria, Jiandong Fan, Wenhua Li, Doris Cadavid, Raquel Nafria, Alex Carrete, and Andreu Cabot. “Means and Limits of Control of the Shell Parameters in Hollow Nanoparticles Obtained by the Kirkendall Effect.”https://doi.org/10.1021/cm2006633__Chemistry of Materials. American Chemical Society, 2011.https://doi.org/10.1021/cm2006633 .
LibreCat: https://research-explorer.ista.ac.at/record/335
DOI: 10.1021/cm2006633

Fisher, Jasmin, David Harel, and Thomas A Henzinger. “Biology as Reactivity.”https://doi.org/10.1145/2001269.2001289__Communications of the ACM. ACM, 2011.https://doi.org/10.1145/2001269.2001289 .
LibreCat: https://research-explorer.ista.ac.at/record/3352
DOI: 10.1145/2001269.2001289

Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,”https://doi.org/10.1007/978-3-642-23217-6_27__6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011.https://doi.org/10.1007/978-3-642-23217-6_27 .
LibreCat: https://research-explorer.ista.ac.at/record/3362
DOI: 10.1007/978-3-642-23217-6_27

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,”https://doi.org/10.1007/978-3-642-19835-9_24__6605:267–71. Springer, 2011.https://doi.org/10.1007/978-3-642-19835-9_24 .
LibreCat: https://research-explorer.ista.ac.at/record/3365
DOI: 10.1007/978-3-642-19835-9_24

Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology,”https://doi.org/10.1145/1998196.1998228__207–16. ACM, 2011.https://doi.org/10.1145/1998196.1998228 .
LibreCat: https://research-explorer.ista.ac.at/record/3367
DOI: 10.1145/1998196.1998228

Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.
LibreCat: https://research-explorer.ista.ac.at/record/3363
arXiv: 1104.0127

Abbot, Patrick, Jun Abe, John Alcock, Samuel Alizon, Joao Alpedrinha, Malte Andersson, Jean Andre, et al. “Inclusive Fitness Theory and Eusociality.”https://doi.org/10.1038/nature09831__Nature. Nature Publishing Group, 2011.https://doi.org/10.1038/nature09831 .
LibreCat: https://research-explorer.ista.ac.at/record/3372
DOI: 10.1038/nature09831
PMID: 21430721

Sixt, Michael K, and Carole Parent. “Cells on the Move in Philadelphia.”https://doi.org/10.1091/mbc.E10-12-0958__Molecular Biology and Evolution. Oxford University Press, 2011.https://doi.org/10.1091/mbc.E10-12-0958 .
LibreCat: https://research-explorer.ista.ac.at/record/3371
DOI: 10.1091/mbc.E10-12-0958

Tkadik, Gasper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.”https://doi.org/10.1088/0953-8984/23/15/153102__Journal of Physics: Condensed Matter. IOP Publishing Ltd., 2011.https://doi.org/10.1088/0953-8984/23/15/153102 .
LibreCat: https://research-explorer.ista.ac.at/record/3374
DOI: 10.1088/0953-8984/23/15/153102

Krens, Gabriel, Stephanie Möllmert, and Carl-Philipp J Heisenberg. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.”https://doi.org/10.1073/pnas.1010767108__PNAS. National Academy of Sciences, 2011.https://doi.org/10.1073/pnas.1010767108 .
LibreCat: https://research-explorer.ista.ac.at/record/3368
DOI: 10.1073/pnas.1010767108
PMID: 21212360

Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.”https://doi.org/10.1093/sysbio/syq086__Systematic Biology. Oxford University Press, 2011.https://doi.org/10.1093/sysbio/syq086 .
LibreCat: https://research-explorer.ista.ac.at/record/3370
DOI: 10.1093/sysbio/syq086

Pernia-Andrade, Alejandro, and Peter M Jonas. “The Multiple Faces of RIM.”https://doi.org/10.1016/j.neuron.2011.01.010__Neuron. Elsevier, 2011.https://doi.org/10.1016/j.neuron.2011.01.010 .
LibreCat: https://research-explorer.ista.ac.at/record/3369
DOI: 10.1016/j.neuron.2011.01.010

Stockinger, Petra, Carl-Philipp J Heisenberg, and Jean-Léon Maître. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.”https://doi.org/10.1242/dev.071233__Development. Company of Biologists, 2011.https://doi.org/10.1242/dev.071233 .
LibreCat: https://research-explorer.ista.ac.at/record/3396
DOI: 10.1242/dev.071233

Polechova, Jitka, and Nicholas H Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.”https://doi.org/10.1534/genetics.111.129817__Genetics. Genetics Society of America, 2011.https://doi.org/10.1534/genetics.111.129817 .
LibreCat: https://research-explorer.ista.ac.at/record/3394
DOI: 10.1534/genetics.111.129817