Marhavý, P., Bielach, A., Abas, L., Abuzeineh, A., Duclercq, J., Tanaka, H.,https://doi.org/10.1016/j.devcel.2011.08.014__Benková, E. (2011). Cytokinin modulates endocytic trafficking of PIN1 auxin efflux carrier to control plant organogenesis. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2011.08.014 
LibreCat: https://research-explorer.ista.ac.at/record/3097
DOI: 10.1016/j.devcel.2011.08.014

Wabnik, K. T., Kleine Vehn, J., Govaerts, W., &; Friml, J. (2011). Prototype cell-to-cell auxin transport mechanism by intracellular auxin compartmentalization. Trends in Plant Science. Cell Press.https://doi.org/10.1016/j.tplants.2011.05.002 
LibreCat: https://research-explorer.ista.ac.at/record/3096
DOI: 10.1016/j.tplants.2011.05.002

Sullivan, D., Csicsvari, J. L., Mizuseki, K., Montgomery, S., Diba, K., &; Buzsáki, G. (2011). Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. Society for Neuroscience.https://doi.org/10.1523/JNEUROSCI.0294-11.2011 
LibreCat: https://research-explorer.ista.ac.at/record/3138
DOI: 10.1523/JNEUROSCI.0294-11.2011

Tasic, B., Hippenmeyer, S., Wang, C., Gamboa, M., Zong, H., Chen Tsai, Y., &; Luo, L. (2011). Site specific integrase mediated transgenesis in mice via pronuclear injection. PNAS. National Academy of Sciences.https://doi.org/10.1073/pnas.1019507108 
LibreCat: https://research-explorer.ista.ac.at/record/3145
DOI: 10.1073/pnas.1019507108

Degennaro, M., Hurd, T., Siekhaus, D. E., Biteau, B., Jasper, H., &; Lehmann, R. (2011). Peroxiredoxin stabilization of DE-cadherin promotes primordial germ cell adhesion. Developmental Cell. Cell Press.https://doi.org/10.1016/j.devcel.2010.12.007 
LibreCat: https://research-explorer.ista.ac.at/record/3154
DOI: 10.1016/j.devcel.2010.12.007

Faust, S., Pietrzak, K. Z., &; Venturi, D. (2011). Tamper proof circuits How to trade leakage for tamper resilience (Vol. 6755, pp. 391–402). Presented at the ICALP: Automata, Languages and Programming, Springer.https://doi.org/10.1007/978-3-642-22006-7_33 
LibreCat: https://research-explorer.ista.ac.at/record/3239
DOI: 10.1007/978-3-642-22006-7_33

Jain, A., &; Pietrzak, K. Z. (2011). Parallel repetition for leakage resilience amplification revisited (Vol. 6597, pp. 58–69). Presented at the TCC: Theory of Cryptography Conference, Springer.https://doi.org/10.1007/978-3-642-19571-6_5 
LibreCat: https://research-explorer.ista.ac.at/record/3236
DOI: 10.1007/978-3-642-19571-6_5

Prentice, J., Homann, J., Simmons, K., Tkadik, G., Balasubramanian, V., &; Nelson, P. (2011). Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. Public Library of Science.https://doi.org/10.1371/journal.pone.0019884 
LibreCat: https://research-explorer.ista.ac.at/record/3276
DOI: 10.1371/journal.pone.0019884

Wagner, H., Chen, C., &; Vuçini, E. (2011). Efficient computation of persistent homology for cubical data. In R. Peikert, H. Hauser, H. Carr, &; R. Fuchs (Eds.), Topological Methods in Data Analysis and Visualization II (pp. 91–106). Springer.https://doi.org/10.1007/978-3-642-23175-9_7 
LibreCat: https://research-explorer.ista.ac.at/record/3271
DOI: 10.1007/978-3-642-23175-9_7

Vila, R., Pierce, N., Nash, D., &; Ugelvig, L. V. (2011). A phylogenetic revision of the Glaucopsyche section (Lepidoptera: Lycaenidae), with special focus on the Phengaris-Maculinea clade. Molecular Phylogenetics and Evolution. Elsevier.https://doi.org/10.1016/j.ympev.2011.05.016 
LibreCat: https://research-explorer.ista.ac.at/record/3278
DOI: 10.1016/j.ympev.2011.05.016

Chen, C., &; Kerber, M. (2011). Persistent homology computation with a twist (pp. 197–200). Presented at the EuroCG: European Workshop on Computational Geometry, Morschach, Switzerland: TU Dortmund.
LibreCat: https://research-explorer.ista.ac.at/record/3270

Raveendran, K., Wojtan, C., &; Turk, G. (2011). Hybrid smoothed particle hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada: ACM.https://doi.org/10.1145/2019406.2019411 
LibreCat: https://research-explorer.ista.ac.at/record/3298
DOI: 10.1145/2019406.2019411

Wojtan, C., Müller Fischer, M., &; Brochu, T. (2011). Liquid simulation with mesh-based surface tracking. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada: ACM.https://doi.org/10.1145/2037636.2037644 
LibreCat: https://research-explorer.ista.ac.at/record/3297
DOI: 10.1145/2037636.2037644

Lohse, K., Harrison, R., &; Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.111.129569 
LibreCat: https://research-explorer.ista.ac.at/record/3290
DOI: 10.1534/genetics.111.129569

Zheng, Y., Gu, S., Edelsbrunner, H., Tomasi, C., &; Benfey, P. (2011). Detailed reconstruction of 3D plant root shape. Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE.https://doi.org/10.1109/ICCV.2011.6126475 
LibreCat: https://research-explorer.ista.ac.at/record/3312
DOI: 10.1109/ICCV.2011.6126475

Chen, C., &; Edelsbrunner, H. (2011). Diffusion runs low on persistence fast. In Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE.https://doi.org/10.1109/ICCV.2011.6126271 
LibreCat: https://research-explorer.ista.ac.at/record/3313
DOI: 10.1109/ICCV.2011.6126271

Edelsbrunner, H. (n.d.). Alpha shapes - a survey. In R. van de Weygaert, G. Vegter, J. Ritzerveld, &; V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.
LibreCat: https://research-explorer.ista.ac.at/record/3311

Almagor, S., Boker, U., &; Kupferman, O. (2011). What’s decidable about weighted automatahttps://doi.org/10.1007/978-3-642-24372-1_37__(Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer.https://doi.org/10.1007/978-3-642-24372-1_37 
LibreCat: https://research-explorer.ista.ac.at/record/3326
DOI: 10.1007/978-3-642-24372-1_37

Alur, R., &; Cerny, P. (2011). Streaming transducers for algorithmic verification of single pass list processing programs (Vol. 46, pp. 599–610). Presented at the POPL: Principles of Programming Languages, Texas, USA: ACM.https://doi.org/10.1145/1926385.1926454 
LibreCat: https://research-explorer.ista.ac.at/record/3325
DOI: 10.1145/1926385.1926454

Piskac, R., &; Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala &; D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer.https://doi.org/10.1007/978-3-642-18275-4_26 
LibreCat: https://research-explorer.ista.ac.at/record/3324
DOI: 10.1007/978-3-642-18275-4_26

Boker, U., &; Kupferman, O. (2011). Co-Büching them all. In M. Hofmann (Ed.) (Vol. 6604, pp. 184–198). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Saarbrücken, Germany: Springer.https://doi.org/10.1007/978-3-642-19805-2_13 
LibreCat: https://research-explorer.ista.ac.at/record/3327
DOI: 10.1007/978-3-642-19805-2_13

Wang, Z., Lampert, C., Mülling, K., Schölkopf, B., &; Peters, J. (2011). Learning anticipation policies for robot table tennis (pp. 332–337). Presented at the IROS: RSJ International Conference on Intelligent Robots and Systems, San Francisco, USA: IEEE.https://doi.org/10.1109/IROS.2011.6094892 
LibreCat: https://research-explorer.ista.ac.at/record/3337
DOI: 10.1109/IROS.2011.6094892

Chatterjee, K., De Alfaro, L., &; Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/3339
arXiv: 1107.2132

Chatterjee, K., Henzinger, M. H., Joglekar, M., &; Nisarg, S. (2011). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. In G. Gopalakrishnan &; S. Qadeer (Eds.) (Vol. 6806, pp. 260–276). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer.https://doi.org/10.1007/978-3-642-22110-1_21 
LibreCat: https://research-explorer.ista.ac.at/record/3342
DOI: 10.1007/978-3-642-22110-1_21
arXiv: 1104.3348

Chatterjee, K., &; Fijalkow, N. (2011). Finitary languages (Vol. 6638, pp. 216–226). Presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain: Springer.https://doi.org/10.1007/978-3-642-21254-3_16 
LibreCat: https://research-explorer.ista.ac.at/record/3347
DOI: 10.1007/978-3-642-21254-3_16
arXiv: 1101.1727

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