Cerny, P., Chatterjee, K., &; Henzinger, T. A. (2011). The complexity of quantitative information flow problems (pp. 205–217). Presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France: IEEE.https://doi.org/10.1109/CSF.2011.21 

Henzinger, T. A., Singh, V., Wies, T., &; Zufferey, D. (2011). Scheduling large jobs by abstraction refinement (pp. 329–342). Presented at the EuroSys, Salzburg, Austria: ACM.https://doi.org/10.1145/1966445.1966476 

Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., &; Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology. Elsevier.https://doi.org/10.1016/j.ydbio.2011.03.025 

Bollenbach, M. T., &; Kishony, R. (2011). Resolution of gene regulatory conflicts caused by combinations of antibiotics. Molecular Cell. Cell Press.https://doi.org/10.1016/j.molcel.2011.04.016 

Logeswaran, S., &; Barton, N. H. (2011). Mapping Mendelian traits in asexual progeny using changes in marker allele frequency. Genetical Research. Cambridge University Press.https://doi.org/10.1017/S0016672311000115 

Edelsbrunner, H., Morozov, D., &; Patel, A. (2011). Quantifying transversality by measuring the robustness of intersections. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-011-9090-8 

Ugelvig, L. V., Nielsen, P., Boomsma, J., &; Nash, D. (2011). Reconstructing eight decades of genetic variation in an isolated Danish population of the large blue butterfly Maculinea arion. BMC Evolutionary Biology. BioMed Central.https://doi.org/10.1186/1471-2148-11-201 

Tkadik, G., Garrigan, P., Ratliff, C., Milcinski, G., Klein, J., Seyfarth, L.,https://doi.org/10.1371/journal.pone.0020409__Balasubramanian, V. (2011). Natural images from the birthplace of the human eye. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0020409 

Kupczok, A. (2011). Split based computation of majority rule supertrees. BMC Evolutionary Biology. BioMed Central.https://doi.org/10.1186/1471-2148-11-205 

Cremer, S., Schrempf, A., &; Heinze, J. (2011). Competition and opportunity shape the reproductive tactics of males in the ant Cardiocondyla obscurior. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0017323 

Barton, N. H. (2011). Estimating linkage disequilibria. Heredity. Nature Publishing Group.https://doi.org/10.1038/hdy.2010.67 

Didier, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2010.10.022 

Vyleta, N., &; Smith, S. (2011). Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1523/JNEUROSCI.6398-10.2011 

Schlögl, A., Vidaurre, C., &; Sander, T. (2011). BioSig: The free and open source software library for biomedical signal processing. Computational Intelligence and Neuroscience. Hindawi Publishing Corporation.https://doi.org/10.1155/2011/935364 

Schraivogel, D., Weinmann, L., Beier, D., Tabatabai, G., Eichner, A., Zhu, J.,https://doi.org/10.1038/emboj.2011.301__Meister, G. (2011). CAMT is a novel tumour suppressor regulated by miR-9/9 * in glioblastoma stem cells. EMBO Journal. Wiley-Blackwell.https://doi.org/10.1038/emboj.2011.301 

Guerraoui, R., Henzinger, T. A., &; Singh, V. (2011). Verification of STM on relaxed memory models. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-011-0131-3 

Chatterjee, K., &; Henzinger, M. H. (2011). An O(n2) time algorithm for alternating Büchi games. IST Austria.https://doi.org/10.15479/AT:IST-2011-0009 

Chatterjee, K., &; Doyen, L. (2011). Partial-observation stochastic games: How to win when belief fails. IST Austria.https://doi.org/10.15479/AT:IST-2011-0007 

Chatterjee, K. (2011). Bounded rationality in concurrent parity games. IST Austria.https://doi.org/10.15479/AT:IST-2011-0008 

Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria.https://doi.org/10.15479/AT:IST-2011-0006