Brázdil, T., Broeek, V., Chatterjee, K., Forejt, V., &; Kudera, A. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE.https://doi.org/10.1109/LICS.2011.10 
LibreCat: https://research-explorer.ista.ac.at/record/3346
DOI: 10.1109/LICS.2011.10

Chatterjee, K., &; Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer.https://doi.org/10.1145/1967701.1967734 
LibreCat: https://research-explorer.ista.ac.at/record/3348
DOI: 10.1145/1967701.1967734

Chatterjee, K. (2011). Graph games with reachability objectives. In G. Delzanno &; I. Potapov (Eds.) (Vol. 6945, pp. 1–1). Presented at the RP: Reachability Problems, Genoa, Italy: Springer.https://doi.org/10.1007/978-3-642-24288-5_1 
LibreCat: https://research-explorer.ista.ac.at/record/3344
DOI: 10.1007/978-3-642-24288-5_1

Chatterjee, K., &; Henzinger, M. H. (2011). Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification (pp. 1318–1336). Presented at the SODA: Symposium on Discrete Algorithms, San Francisco, SA, United States: SIAM.https://doi.org/10.1137/1.9781611973082.101 
LibreCat: https://research-explorer.ista.ac.at/record/3343
DOI: 10.1137/1.9781611973082.101

Boker, U., &; Henzinger, T. A. (2011). Determinizing discounted-sum automata (Vol. 12, pp. 82–96). Presented at the CSL: Computer Science Logic, Bergen, Norway: Springer.https://doi.org/10.4230/LIPIcs.CSL.2011.82 
LibreCat: https://research-explorer.ista.ac.at/record/3360
DOI: 10.4230/LIPIcs.CSL.2011.82

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 
LibreCat: https://research-explorer.ista.ac.at/record/3361
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3358
DOI: 10.1145/1966445.1966476

Cerny, P., &; Henzinger, T. A. (2011). From boolean to quantitative synthesis (pp. 149–154). Presented at the EMSOFT: Embedded Software , Taipei; Taiwan: ACM.https://doi.org/10.1145/2038642.2038666 
LibreCat: https://research-explorer.ista.ac.at/record/3359
DOI: 10.1145/2038642.2038666

Chatterjee, K., Henzinger, T. A., &; Horn, F. (2011). The complexity of request-response games. In A.-H. Dediu, S. Inenaga, &; C. Martín-Vide (Eds.) (Vol. 6638, pp. 227–237). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer.https://doi.org/10.1007/978-3-642-21254-3_17 
LibreCat: https://research-explorer.ista.ac.at/record/3357
DOI: 10.1007/978-3-642-21254-3_17

Ibáñez, M., Guardia, P., Shavel, A., Cadavid, D., Arbiol, J., Morante, J., &; Cabot, A. (2011). Growth kinetics of asymmetric Bi2 nanocrystals: Size distribution focusing in nanorods. Journal of Physical Chemistry C. American Chemical Society.https://doi.org/10.1021/jp2002904 
LibreCat: https://research-explorer.ista.ac.at/record/336
DOI: 10.1021/jp2002904

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 
LibreCat: https://research-explorer.ista.ac.at/record/3379
DOI: 10.1016/j.ydbio.2011.03.025
PMID: 1463614

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 
LibreCat: https://research-explorer.ista.ac.at/record/3376
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3380
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3377
DOI: 10.1007/s10208-011-9090-8

Bendich, P., &; Harer, J. (2011). Persistent intersection homology. Foundations of Computational Mathematics. Springer.https://doi.org/10.1007/s10208-010-9081-1 
LibreCat: https://research-explorer.ista.ac.at/record/3378
DOI: 10.1007/s10208-010-9081-1

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 
LibreCat: https://research-explorer.ista.ac.at/record/3388
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3384
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/3387
DOI: 10.1186/1471-2148-11-205

Blaschko, M., Shelton, J., Bartels, A., Lampert, C., &; Gretton, A. (2011). Semi supervised kernel canonical correlation analysis with application to human fMRI. Pattern Recognition Letters. Elsevier.https://doi.org/10.1016/j.patrec.2011.02.011 
LibreCat: https://research-explorer.ista.ac.at/record/3389
DOI: 10.1016/j.patrec.2011.02.011

Kroemer, O., Lampert, C., &; Peters, J. (2011). Learning dynamic tactile sensing with robust vision based training. IEEE Transactions on Robotics. IEEE.https://doi.org/10.1109/TRO.2011.2121130 
LibreCat: https://research-explorer.ista.ac.at/record/3382
DOI: 10.1109/TRO.2011.2121130

Schrempf, A., Cremer, S., &; Heinze, J. (2011). Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology. Wiley-Blackwell.https://doi.org/10.1111/j.1420-9101.2011.02278.x 
LibreCat: https://research-explorer.ista.ac.at/record/3386
DOI: 10.1111/j.1420-9101.2011.02278.x

Sixt, M. K. (2011). Interstitial locomotion of leukocytes. Immunology Letters. Elsevier.https://doi.org/10.1016/j.imlet.2011.02.013 
LibreCat: https://research-explorer.ista.ac.at/record/3385
DOI: 10.1016/j.imlet.2011.02.013

Heisenberg, C.-P. J. (2011). Invited Lectureshttps://doi.org/10.1111/j.1742-4658.2011.08136.x__Symposia Area. FEBS Journal. Wiley-Blackwell.https://doi.org/10.1111/j.1742-4658.2011.08136.x 
LibreCat: https://research-explorer.ista.ac.at/record/3383
DOI: 10.1111/j.1742-4658.2011.08136.x

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 
LibreCat: https://research-explorer.ista.ac.at/record/3399
DOI: 10.1371/journal.pone.0017323

Little, S., Tkadik, G., Kneeland, T., Wieschaus, E., &; Gregor, T. (2011). The formation of the Bicoid morphogen gradient requires protein movement from anteriorly localized source. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000596 
LibreCat: https://research-explorer.ista.ac.at/record/3401
DOI: 10.1371/journal.pbio.1000596

Janovjak, H. L., &; Isacoff, E. (2011). Structure-based design of light-controlled proteins. In Photosensitive Molecules for the Control of Biological Function (Vol. 55, pp. 233–266). Springer.https://doi.org/10.1007/978-1-61779-031-7_13 
LibreCat: https://research-explorer.ista.ac.at/record/3724
DOI: 10.1007/978-1-61779-031-7_13

Hollatz, C., Vilaça, S., Fernandes Redondo, R. A., Marmontel, M., Baker, C., &; Santos, F. (2011). The Amazon River system as an ecological barrier driving genetic differentiation of the pink dolphin (Inia geoffrensis). Biological Journal of the Linnean Society. Wiley.https://doi.org/10.1111/j.1095-8312.2011.01616.x 
LibreCat: https://research-explorer.ista.ac.at/record/3770
DOI: 10.1111/j.1095-8312.2011.01616.x

Pavan, A., Martins, F., Santos, F., Ditchfield, A., &; Fernandes Redondo, R. A. (2011). 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.https://doi.org/10.1111/j.1095-8312.2010.01601.x 
LibreCat: https://research-explorer.ista.ac.at/record/3771
DOI: 10.1111/j.1095-8312.2010.01601.x

Barton, N. H. (2011). Estimating linkage disequilibria. Heredity. Nature Publishing Group.https://doi.org/10.1038/hdy.2010.67 
LibreCat: https://research-explorer.ista.ac.at/record/3778
DOI: 10.1038/hdy.2010.67
PMID: 20502479

Krens, G., &; Heisenberg, C.-P. J. (2011). Cell sorting in development. In M. Labouesse (Ed.), Forces and Tension in Development (Vol. 95, pp. 189–213). Elsevier.https://doi.org/10.1016/B978-0-12-385065-2.00006-2 
LibreCat: https://research-explorer.ista.ac.at/record/3791
DOI: 10.1016/B978-0-12-385065-2.00006-2

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 
LibreCat: https://research-explorer.ista.ac.at/record/3364
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/469
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/490
DOI: 10.1155/2011/935364

Eichner, A., &; Sixt, M. K. (2011). Setting the clock for recirculating lymphocytes. Science Signaling. American Association for the Advancement of Science.https://doi.org/10.1126/scisignal.2002617 
LibreCat: https://research-explorer.ista.ac.at/record/491
DOI: 10.1126/scisignal.2002617

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 
LibreCat: https://research-explorer.ista.ac.at/record/518
DOI: 10.1038/emboj.2011.301
PMID: 21857646

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 
LibreCat: https://research-explorer.ista.ac.at/record/531
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5379
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5381
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5380
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/5382
DOI: 10.15479/AT:IST-2011-0006

Chatterjee, K. (2011). Bounded rationality in concurrent parity games. arXiv. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/3338
arXiv: 1107.2146

Boker, U., Chatterjee, K., Henzinger, T. A., &; Kupferman, O. (2011). Temporal specifications with accumulative values. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE.https://doi.org/10.1109/LICS.2011.33 
LibreCat: https://research-explorer.ista.ac.at/record/3356
DOI: 10.1109/LICS.2011.33

Boker, U., Chatterjee, K., Henzinger, T. A., &; Kupferman, O. (2011). Temporal specifications with accumulative values. IST Austria.https://doi.org/10.15479/AT:IST-2011-0003 
LibreCat: https://research-explorer.ista.ac.at/record/5385
DOI: 10.15479/AT:IST-2011-0003

Chen, C., Freedman, D., &; Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria.https://doi.org/10.15479/AT:IST-2011-0002 
LibreCat: https://research-explorer.ista.ac.at/record/5386
DOI: 10.15479/AT:IST-2011-0002

Wies, T., Muñiz, M., &; Kuncak, V. (2011). On an efficient decision procedure for imperative tree data structures. IST Austria.https://doi.org/10.15479/AT:IST-2011-0005 
LibreCat: https://research-explorer.ista.ac.at/record/5383
DOI: 10.15479/AT:IST-2011-0005

Chatterjee, K., &; Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria.https://doi.org/10.15479/AT:IST-2011-0004 
LibreCat: https://research-explorer.ista.ac.at/record/5384
DOI: 10.15479/AT:IST-2011-0004

Chen, C., Freedman, D., &; Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. In CVPR: Computer Vision and Pattern Recognition (pp. 2089–2096). Colorado Springs, CO, United States: IEEE.https://doi.org/10.1109/CVPR.2011.5995503 
LibreCat: https://research-explorer.ista.ac.at/record/3336
DOI: 10.1109/CVPR.2011.5995503

Wies, T., Muñiz, M., &; Kuncak, V. (2011). An efficient decision procedure for imperative tree data structures (Vol. 6803, pp. 476–491). Presented at the CADE 23: Automated Deduction , Wrocaw, Poland: Springer.https://doi.org/10.1007/978-3-642-22438-6_36 
LibreCat: https://research-explorer.ista.ac.at/record/3323
DOI: 10.1007/978-3-642-22438-6_36

Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., &; Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan &; S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer.https://doi.org/10.1007/978-3-642-22110-1_20 
LibreCat: https://research-explorer.ista.ac.at/record/3366
DOI: 10.1007/978-3-642-22110-1_20

Chatterjee, K., &; Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer.https://doi.org/10.1007/978-3-642-22993-0_21 
LibreCat: https://research-explorer.ista.ac.at/record/3345
DOI: 10.1007/978-3-642-22993-0_21
arXiv: 1104.2909

Chatterjee, K., &; Doyen, L. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria.https://doi.org/10.15479/AT:IST-2011-0001 
LibreCat: https://research-explorer.ista.ac.at/record/5387
DOI: 10.15479/AT:IST-2011-0001

Hosten, O. (2011). Quantum physics: How to catch a wave. Nature. Nature Publishing Group.https://doi.org/10.1038/474170a 
LibreCat: https://research-explorer.ista.ac.at/record/580
DOI: 10.1038/474170a

Schmid, D., Hazrat, S., Rangarajan, R., Hosten, O., Quint, S., &; Kwiat, P. (2011). Methods towards achieving precise birefringent focusing. Presented at the QELS: Quantum Electronics and Laser Science, OSA.https://doi.org/10.1364/CLEO_AT.2011.JThB130 
LibreCat: https://research-explorer.ista.ac.at/record/585
DOI: 10.1364/CLEO_AT.2011.JThB130

Vrijsen, G., Hosten, O., Lee, J., Bernon, S., &; Kasevich, M. (2011). Raman lasing with a cold atom gain medium in a high-finesse optical cavity. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.107.063904 
LibreCat: https://research-explorer.ista.ac.at/record/586
DOI: 10.1103/PhysRevLett.107.063904

Bernecky, C., Grob, P., Ebmeier, C., Nogales, E., &; Taatjes, D. (2011). Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1000603 
LibreCat: https://research-explorer.ista.ac.at/record/597
DOI: 10.1371/journal.pbio.1000603

Arellano-Carbajal, F., Briseño-Roa, L., Couto, A., Cheung, B. H. H., Labouesse, M., &; de Bono, M. (2011). Macoilin, a conserved nervous system–specific ER membrane protein that regulates neuronal excitability. PLoS Genetics. Public Library of Science.https://doi.org/10.1371/journal.pgen.1001341 
LibreCat: https://research-explorer.ista.ac.at/record/6140
DOI: 10.1371/journal.pgen.1001341
PMID: 21437263

Milward, K., Busch, K. E., Murphy, R. J., de Bono, M., &; Olofsson, B. (2011). Neuronal and molecular substrates for optimal foraging in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1106134109 
LibreCat: https://research-explorer.ista.ac.at/record/6137
DOI: 10.1073/pnas.1106134109
PMID: 22135454

Bretscher, A. J., Kodama-Namba, E., Busch, K. E., Murphy, R. J., Soltesz, Z., Laurent, P., &; de Bono, M. (2011). Temperature, oxygen, and salt-sensing neurons in C. elegans are carbon dioxide sensors that control avoidance behavior. Neuron. Elsevier BV.https://doi.org/10.1016/j.neuron.2011.02.023 
LibreCat: https://research-explorer.ista.ac.at/record/6138
DOI: 10.1016/j.neuron.2011.02.023
PMID: 21435556

Baranova, N. S., Nilebäck, E., Haller, F. M., Briggs, D. C., Svedhem, S., Day, A. J., &; Richter, R. P. (2011). The inflammation-associated protein TSG-6 cross-links hyaluronan via hyaluronan-induced TSG-6 oligomers. Journal of Biological Chemistry. American Society for Biochemistry &; Molecular Biology.https://doi.org/10.1074/jbc.m111.247395 
LibreCat: https://research-explorer.ista.ac.at/record/6298
DOI: 10.1074/jbc.m111.247395

Park, H., Oikonomou, P., Guet, C. C., &; Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. Elsevier.https://doi.org/10.1016/j.bpj.2011.09.040 
LibreCat: https://research-explorer.ista.ac.at/record/6496
DOI: 10.1016/j.bpj.2011.09.040
PMID: 22098731

Mondelli, M., &; Ciomaga, A. (2011). Finite difference schemes for MCM and AMSS. Image Processing On Line. IPOL Image Processing On Line.https://doi.org/10.5201/ipol.2011.cm_fds 
LibreCat: https://research-explorer.ista.ac.at/record/6749
DOI: 10.5201/ipol.2011.cm_fds

Mondelli, M., &; Ciomaga, A. (2011). On finite difference schemes for curvature motions. In Proceedings of the International Student Conference on Pure and Applied Mathematics (pp. 137–156). Iasi, Romania: Editura Universitãtii eAlexandru Ioan Cuza”https://doi.org/10.13140/2.1.1862.4646__Iasi.https://doi.org/10.13140/2.1.1862.4646 
LibreCat: https://research-explorer.ista.ac.at/record/6767
DOI: 10.13140/2.1.1862.4646

Salje, E. K. H., Safarik, D. J., Taylor, R. D., Pasternak, M. P., Modic, K. A., Groat, L. A., &; Lashley, J. C. (2011). Determination of iron sites and the amount of amorphization in radiation-damaged titanite (CaSiTiO5). Journal of Physics: Condensed Matter. IOP Publishing.https://doi.org/10.1088/0953-8984/23/10/105402 
LibreCat: https://research-explorer.ista.ac.at/record/7076
DOI: 10.1088/0953-8984/23/10/105402

Capps, J., Ma, B., Drye, T., Nucklos, C., Lindsey, S., Rhodes, D.,https://doi.org/10.1016/j.jallcom.2010.10.187__Drymiotis, F. (2011). The effect of Ag concentration on the structural, electrical and thermal transport behavior of Pb:Te:Ag:Se mixtures and improvement of thermoelectric performance via Cu doping. Journal of Alloys and Compounds. Elsevier.https://doi.org/10.1016/j.jallcom.2010.10.187 
LibreCat: https://research-explorer.ista.ac.at/record/7077
DOI: 10.1016/j.jallcom.2010.10.187

Bruce, P. G., Freunberger, S. A., Hardwick, L. J., &; Tarascon, J.-M. (2011). Li–O2 and Li–S batteries with high energy storage. Nature Materials. Springer Nature.https://doi.org/10.1038/nmat3191 
LibreCat: https://research-explorer.ista.ac.at/record/7313
DOI: 10.1038/nmat3191

Freunberger, S. A., Chen, Y., Drewett, N. E., Hardwick, L. J., Bardé, F., &; Bruce, P. G. (2011). The Lithium-Oxygen battery with ether-based electrolytes. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201102357 
LibreCat: https://research-explorer.ista.ac.at/record/7314
DOI: 10.1002/anie.201102357

Trahey, L., Johnson, C. S., Vaughey, J. T., Kang, S.-H., Hardwick, L. J., Freunberger, S. A.,https://doi.org/10.1149/1.3555366__Thackeray, M. M. (2011). Activated Lithium-Metal-Oxides as catalytic electrodes for Li–O2 cells. Electrochemical and Solid-State Letters. The Electrochemical Society.https://doi.org/10.1149/1.3555366 
LibreCat: https://research-explorer.ista.ac.at/record/7317
DOI: 10.1149/1.3555366

Freunberger, S. A., Chen, Y., Peng, Z., Griffin, J. M., Hardwick, L. J., Barde, F.,https://doi.org/10.1021/ja2021747__Bruce, P. G. (2011). Reactions in the rechargeable Lithium–O2 battery with alkyl carbonate electrolytes. Journal of the American Chemical Society. ACS.https://doi.org/10.1021/ja2021747 
LibreCat: https://research-explorer.ista.ac.at/record/7316
DOI: 10.1021/ja2021747

Peng, Z., Freunberger, S. A., Hardwick, L. J., Chen, Y., Giordani, V., Bardé, F.,https://doi.org/10.1002/anie.201100879__Bruce, P. G. (2011). Oxygen reactions in a non-aqueous Li+ electrolyte. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201100879 
LibreCat: https://research-explorer.ista.ac.at/record/7315
DOI: 10.1002/anie.201100879

Alistarh, D.-A., Gilbert, S., Guerraoui, R., &; Travers, C. (2011). Generating fast indulgent algorithms (Vol. 6522 LNCS, pp. 41–52). Presented at the ICDCN: International Conference on Distributed Computing and Networking, Springer.https://doi.org/10.1007/978-3-642-17679-1_4 
LibreCat: https://research-explorer.ista.ac.at/record/757
DOI: 10.1007/978-3-642-17679-1_4

Alistarh, D.-A., Aspnes, J., Gilbert, S., &; Guerraoui, R. (2011). The complexity of renaming (pp. 718–727). Presented at the FOCS: Foundations of Computer Science, IEEE.https://doi.org/10.1109/FOCS.2011.66 
LibreCat: https://research-explorer.ista.ac.at/record/759
DOI: 10.1109/FOCS.2011.66

Alistarh, D.-A., Aspnes, J., Censor Hillel, K., Gilbert, S., &; Zadimoghaddam, M. (2011). Optimal-time adaptive strong renaming, with applications to counting (pp. 239–248). Presented at the PODC: Principles of Distributed Computing, ACM.https://doi.org/10.1145/1993806.1993850 
LibreCat: https://research-explorer.ista.ac.at/record/761
DOI: 10.1145/1993806.1993850

Alistarh, D.-A., &; Aspnes, J. (2011). Sub-logarithmic test-and-set against a weak adversary (Vol. 6950 LNCS, pp. 97–109). Presented at the DISC: Distributed Computing, Springer.https://doi.org/10.1007/978-3-642-24100-0_7 
LibreCat: https://research-explorer.ista.ac.at/record/760
DOI: 10.1007/978-3-642-24100-0_7

Robinson, M. R. (2011). Understanding intrasexual competition and sexual selection requires an evolutionary ecology framework. Behavioral Ecology. Oxford University Press.https://doi.org/10.1093/beheco/arr110 
LibreCat: https://research-explorer.ista.ac.at/record/7750
DOI: 10.1093/beheco/arr110

Woodruff, A. R., McGarry, L. M., Vogels, T. P., Inan, M., Anderson, S. A., &; Yuste, R. (2011). State-dependent function of neocortical chandelier cells. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/jneurosci.3894-11.2011 
LibreCat: https://research-explorer.ista.ac.at/record/8025
DOI: 10.1523/jneurosci.3894-11.2011
PMID: 22159102

Vogels, T. P., Sprekeler, H., Zenke, F., Clopath, C., &; Gerstner, W. (2011). Inhibitory plasticity balances excitation and inhibition in sensory pathways and memory networks. Science. American Association for the Advancement of Science.https://doi.org/10.1126/science.1211095 
LibreCat: https://research-explorer.ista.ac.at/record/8074
DOI: 10.1126/science.1211095
PMID: 22075724

Schanda, P., Meier, B. H., &; Ernst, M. (2011). Accurate measurement of one-bond H–X heteronuclear dipolar couplings in MAS solid-state NMR. Journal of Magnetic Resonance. Elsevier.https://doi.org/10.1016/j.jmr.2011.03.015 
LibreCat: https://research-explorer.ista.ac.at/record/8469
DOI: 10.1016/j.jmr.2011.03.015

Huber, M., Hiller, S., Schanda, P., Ernst, M., Böckmann, A., Verel, R., &; Meier, B. H. (2011). A proton-detected 4D solid-state NMR experiment for protein structure determination. ChemPhysChem. Wiley.https://doi.org/10.1002/cphc.201100062 
LibreCat: https://research-explorer.ista.ac.at/record/8470
DOI: 10.1002/cphc.201100062

Schanda, P., Huber, M., Boisbouvier, J., Meier, B. H., &; Ernst, M. (2011). Solid-state NMR measurements of asymmetric dipolar couplings provide insight into protein side-chain motion. Angewandte Chemie International Edition. Wiley.https://doi.org/10.1002/anie.201103944 
LibreCat: https://research-explorer.ista.ac.at/record/8464
DOI: 10.1002/anie.201103944

Lalli, D., Schanda, P., Chowdhury, A., Retel, J., Hiller, M., Higman, V. A.,https://doi.org/10.1007/s10858-011-9578-1__Oschkinat, H. (2011). Three-dimensional deuterium-carbon correlation experiments for high-resolution solid-state MAS NMR spectroscopy of large proteins. Journal of Biomolecular NMR. Springer Nature.https://doi.org/10.1007/s10858-011-9578-1 
LibreCat: https://research-explorer.ista.ac.at/record/8468
DOI: 10.1007/s10858-011-9578-1

Koblik, E., Red’Kin, Y., Meer, M., Derelle, R., Golenkina, S., Kondrashov, F., &; Arkhipov, V. (2011). Acrocephalus orinus: A case of Mistaken identity. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0017716 
LibreCat: https://research-explorer.ista.ac.at/record/890
DOI: 10.1371/journal.pone.0017716

Higginbotham, A. P., Guillen, A., Jones, N., Donnelly, T., &; Bernoff, A. (2011). Evidence of the harmonic Faraday instability in ultrasonic atomization experiments with a deep, inviscid fluid. Journal of the Acoustical Society of America. Acoustical Society of America.https://doi.org/10.1121/1.3643816 
LibreCat: https://research-explorer.ista.ac.at/record/90
DOI: 10.1121/1.3643816
PMID:     22087897

Muller, C. J., O’Gorman, P. A., &; Back, L. E. (2011). Intensification of precipitation extremes with warming in a cloud-resolving model. Journal of Climate. American Meteorological Society.https://doi.org/10.1175/2011jcli3876.1 
LibreCat: https://research-explorer.ista.ac.at/record/9144
DOI: 10.1175/2011jcli3876.1

Muller, C. J., &; O’Gorman, P. A. (2011). An energetic perspective on the regional response of precipitation to climate change. Nature Climate Change. Springer Nature.https://doi.org/10.1038/nclimate1169 
LibreCat: https://research-explorer.ista.ac.at/record/9143
DOI: 10.1038/nclimate1169

Fré, S., Hannezo, E. B., Sale, S., Huyghe, M., Lafkas, D., Kissel, H.,https://doi.org/10.1371/journal.pone.0025785__Artavanis Tsakonas, S. (2011). Notch lineages and activity in intestinal stem cells determined by a new set of knock in mice. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0025785 
LibreCat: https://research-explorer.ista.ac.at/record/923
DOI: 10.1371/journal.pone.0025785

Hsieh, T.-F., Shin, J., Uzawa, R., Silva, P., Cohen, S., Bauer, M. J.,https://doi.org/10.1073/pnas.1019273108__Fischer, R. L. (2011). Regulation of imprinted gene expression in Arabidopsis endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences.https://doi.org/10.1073/pnas.1019273108 
LibreCat: https://research-explorer.ista.ac.at/record/9483
DOI: 10.1073/pnas.1019273108
PMID: 21257907

Serbyn, M., Senthil, T., &; Lee, P. (2011). Exotic S=1 spin-liquid state with fermionic excitations on the triangular lattice. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.84.180403 
LibreCat: https://research-explorer.ista.ac.at/record/967
DOI: 10.1103/PhysRevB.84.180403

Serbyn, M., &; Lee, P. (2011). Isotope effect on the superfluid density in conventional and high-temperature superconductors. Physical Review B - Condensed Matter and Materials Physics. American Physical Society.https://doi.org/10.1103/PhysRevB.83.024506 
LibreCat: https://research-explorer.ista.ac.at/record/969
DOI: 10.1103/PhysRevB.83.024506

Van Melckebeke, H., Schanda, P., Gath, J., Wasmer, C., Verel, R., Lange, A.,https://doi.org/10.1016/j.jmb.2010.11.004__Böckmann, A. (2011). Probing water accessibility in HET-s(218–289) amyloid fibrils by solid-state NMR. Journal of Molecular Biology. Elsevier.https://doi.org/10.1016/j.jmb.2010.11.004 
LibreCat: https://research-explorer.ista.ac.at/record/8471
DOI: 10.1016/j.jmb.2010.11.004

Galante, J., &; Kaloshin, V. (2011). Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action. Duke Mathematical Journal. Duke University Press.https://doi.org/10.1215/00127094-1415878 
LibreCat: https://research-explorer.ista.ac.at/record/8505
DOI: 10.1215/00127094-1415878

Kondrashov, F. (2011). Gene Dosage and Duplication. In Evolution after Gene Duplication (pp. 57–76). Wiley-Blackwell.https://doi.org/10.1002/9780470619902.ch4 
LibreCat: https://research-explorer.ista.ac.at/record/881
DOI: 10.1002/9780470619902.ch4

Angelini, T., Hannezo, E. B., Trepatc, X., Marquez, M., Fredberg, J., &; Weitz, D. (2011). Glass-like dynamics of collective cell migration. Proceedings of the National Academy of Sciences of the United States of America. PNAS.https://doi.org/10.1073/pnas.1010059108 
LibreCat: https://research-explorer.ista.ac.at/record/919
DOI: 10.1073/pnas.1010059108

Hannezo, E. B., Prost, J., &; Joanny, J. (2011). Instabilities of monolayered epithelia Shape and structure of villi and crypts. Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.107.078104 
LibreCat: https://research-explorer.ista.ac.at/record/918
DOI: 10.1103/PhysRevLett.107.078104

Zilberman, D. (2011). Balancing parental contributions in plant embryonic gene activation. Developmental Cell (Vol. 20, pp. 735–736). Elsevier.https://doi.org/10.1016/j.devcel.2011.05.018 
LibreCat: https://research-explorer.ista.ac.at/record/9522
DOI: 10.1016/j.devcel.2011.05.018
PMID: 21664571

Gonzalez-Diaz, R., Ion, A., Jimenez, M. J., &; Poyatos, R. (2011). Incremental-decremental algorithm for computing AT-models and persistent homology. In Computer Analysis of Images and Patterns (Vol. 6854, pp. 286–293). Seville, Spain: Springer Nature.https://doi.org/10.1007/978-3-642-23672-3_35 
LibreCat: https://research-explorer.ista.ac.at/record/9648
DOI: 10.1007/978-3-642-23672-3_35

Serbyn, M., Skvortsov, M., Varlamov, A., &; Galitski, V. (2011). Serbyn et al. Reply: Physical Review Letters. American Physical Society.https://doi.org/10.1103/PhysRevLett.106.139702 
LibreCat: https://research-explorer.ista.ac.at/record/968
DOI: 10.1103/PhysRevLett.106.139702

Palero, F., Abello, P., Macpherson, E., Beaumont, M., &; Pascual, M. (2011). 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.https://doi.org/10.1111/j.1095-8312.2011.01728.x 
LibreCat: https://research-explorer.ista.ac.at/record/3395
DOI: 10.1111/j.1095-8312.2011.01728.x

Palero, F., Abello, P., Macpherson, E., Beaumont, M., &; Pascual, M. (2011). Data from: Effect of oceanographic barriers and overfishing on the population genetic structure of the European spiny lobster (Palinurus elephas). IST Austria.https://doi.org/10.5061/dryad.299h8 
LibreCat: https://research-explorer.ista.ac.at/record/9762
DOI: 10.5061/dryad.299h8

Sommer, C. M., Straehle, C., Köthe, U., &; Hamprecht, F. A. (2011). Ilastik: Interactive learning and segmentation toolkit. In 2011 IEEE International Symposium on Biomedical Imaging: from Nano to Micro. Chicago, Illinois, USA: Institute of Electrical and Electronics Engineers.https://doi.org/10.1109/isbi.2011.5872394 
LibreCat: https://research-explorer.ista.ac.at/record/9943
DOI: 10.1109/isbi.2011.5872394

Artner, N. M., Ion, A., &; Kropatsch, W. G. (2011). Spatio-temporal extraction of articulated models in a graph pyramid. In X. Jiang, M. Ferrer, &; A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition (Vol. 6658, pp. 215–224). Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-20844-7_22 
LibreCat: https://research-explorer.ista.ac.at/record/10907
DOI: 10.1007/978-3-642-20844-7_22