Janovjak, Harald L, and Ehud Isacoff. “Structure-Based Design of Light-Controlled Proteins.”https://doi.org/10.1007/978-1-61779-031-7_13__In Photosensitive Molecules for the Control of Biological Function, 55:233–66. Springer, 2011.https://doi.org/10.1007/978-1-61779-031-7_13 .

Hollatz, Claudia, Sibelle Vilaça, Rodrigo A Fernandes Redondo, Míriam Marmontel, Cyndi Baker, and Fabrício Santos. “The Amazon River System as an Ecological Barrier Driving Genetic Differentiation of the Pink Dolphin (Inia Geoffrensis).”https://doi.org/10.1111/j.1095-8312.2011.01616.x__Biological Journal of the Linnean Society. Wiley, 2011.https://doi.org/10.1111/j.1095-8312.2011.01616.x .

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.”https://doi.org/10.1111/j.1095-8312.2010.01601.x__Biological Journal of the Linnean Society. Wiley-Blackwell, 2011.https://doi.org/10.1111/j.1095-8312.2010.01601.x .

Barton, Nicholas H. “Estimating Linkage Disequilibria.”https://doi.org/10.1038/hdy.2010.67__Heredity. Nature Publishing Group, 2011.https://doi.org/10.1038/hdy.2010.67 .

Krens, Gabriel, and Carl-Philipp J Heisenberg. “Cell Sorting in Development.”https://doi.org/10.1016/B978-0-12-385065-2.00006-2__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 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.”https://doi.org/10.1016/j.tcs.2010.10.022__Theoretical Computer Science. Elsevier, 2011.https://doi.org/10.1016/j.tcs.2010.10.022 .

Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.”https://doi.org/10.1523/JNEUROSCI.6398-10.2011__European Journal of Neuroscience. Wiley-Blackwell, 2011.https://doi.org/10.1523/JNEUROSCI.6398-10.2011 .

Schlögl, Alois, Carmen Vidaurre, and Tilmann Sander. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.”https://doi.org/10.1155/2011/935364__Computational Intelligence and Neuroscience. Hindawi Publishing Corporation, 2011.https://doi.org/10.1155/2011/935364 .

Eichner, Alexander, and Michael K Sixt. “Setting the Clock for Recirculating Lymphocytes.”https://doi.org/10.1126/scisignal.2002617__Science Signaling. American Association for the Advancement of Science, 2011.https://doi.org/10.1126/scisignal.2002617 .

Schraivogel, Daniel, Lasse Weinmann, Dagmar Beier, Ghazaleh Tabatabai, Alexander Eichner, Jia Zhu, Martina Anton, et al. “CAMT Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.”https://doi.org/10.1038/emboj.2011.301__EMBO Journal. Wiley-Blackwell, 2011.https://doi.org/10.1038/emboj.2011.301 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.”https://doi.org/10.1007/s10703-011-0131-3__Formal Methods in System Design. Springer, 2011.https://doi.org/10.1007/s10703-011-0131-3 .

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 .

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 .

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0008 .

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0006 .

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv. ArXiv, 2011.

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1109/LICS.2011.33__IEEE, 2011.https://doi.org/10.1109/LICS.2011.33 .

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 .

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 .

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 .