Janovjak, H. L., Sandoz, G., &; Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. Nature Publishing Group.https://doi.org/10.1038/ncomms1231 
LibreCat: https://research-explorer.ista.ac.at/record/3405
DOI: 10.1038/ncomms1231

Plachta, N., Bollenbach, M. T., Pease, S., Fraser, S., &; Pantazis, P. (2011). Oct4 kinetics predict cell lineage patterning in the early mammalian embryo. Nature Cell Biology. Nature Publishing Group.https://doi.org/10.1038/ncb2154 
LibreCat: https://research-explorer.ista.ac.at/record/3429
DOI: 10.1038/ncb2154

Sixt, M. K., &; Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. Springer.https://doi.org/10.1007/978-1-61779-207-6_11 
LibreCat: https://research-explorer.ista.ac.at/record/3505
DOI: 10.1007/978-1-61779-207-6_11

Palero, F., Guerao, G., Clark, P., &; Abello, P. (2011). Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press.https://doi.org/10.1017/S0025315410000287 
LibreCat: https://research-explorer.ista.ac.at/record/3784
DOI: 10.1017/S0025315410000287

Fasy, B. T. (2011). The difference in length of curves in R^n. Acta Sci. Math. (Szeged). Szegedi Tudományegyetem.
LibreCat: https://research-explorer.ista.ac.at/record/3781

Edelsbrunner, H., &; Kerber, M. (2011). Covering and packing with spheres by diagonal distortion in R^n. In C. Calude, G. Rozenberg, &; A. Salomaa (Eds.), Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer.https://doi.org/10.1007/978-3-642-19391-0_2 
LibreCat: https://research-explorer.ista.ac.at/record/3796
DOI: 10.1007/978-3-642-19391-0_2

Henzinger, T. A., Jobstmann, B., &; Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing.https://doi.org/10.1142/S0129054111008441 
LibreCat: https://research-explorer.ista.ac.at/record/3381
DOI: 10.1142/S0129054111008441

Chatterjee, K., Henzinger, T. A., &; Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation of Computational Logic.https://doi.org/10.2168/LMCS-7(4:8)2011 
LibreCat: https://research-explorer.ista.ac.at/record/3315
DOI: 10.2168/LMCS-7(4:8)2011

Wang, B., Edelsbrunner, H., &; Morozov, D. (2011). Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics. ACM.https://doi.org/10.1145/1963190.1970375 
LibreCat: https://research-explorer.ista.ac.at/record/3965
DOI: 10.1145/1963190.1970375

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

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

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

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

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

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

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

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

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

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

Schumann, K. (2011). The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3275

Maître, J.-L. (2011). Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/3273

Soriano, S., Hons, M., Schumann, K., Kumar, V., Dennier, T., Lyck, R.,https://doi.org/10.4049/jimmunol.1100935__Stein, J. (2011). In vivo analysis of uropod function during physiological T cell trafficking. Journal of Immunology. American Association of Immunologists.https://doi.org/10.4049/jimmunol.1100935 
LibreCat: https://research-explorer.ista.ac.at/record/3392
DOI: 10.4049/jimmunol.1100935

Lampert, C. (2011). Maximum margin multi-label structured prediction. Presented at the NIPS: Neural Information Processing Systems, Granada, Spain: Neural Information Processing Systems.
LibreCat: https://research-explorer.ista.ac.at/record/3163

Lampert, C. (2011). Maximum margin multi label structured prediction. NIPS: Neural Information Processing Systems. Neural Information Processing Systems Foundation.
LibreCat: https://research-explorer.ista.ac.at/record/3322

Nowozin, S., &; Lampert, C. (2011). Structured learning and prediction in computer vision. Foundations and Trends in Computer Graphics and Vision. Now Publishers.https://doi.org/10.1561/0600000033 
LibreCat: https://research-explorer.ista.ac.at/record/3320
DOI: 10.1561/0600000033

Quadrianto, N., &; Lampert, C. (2011). Learning multi-view neighborhood preserving projections (pp. 425–432). Presented at the ICML: International Conference on Machine Learning, Bellevue, United States: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/3319

Jahnel, M., Behrndt, M., Jannasch, A., Schaeffer, E., &; Grill, S. (2011). Measuring the complete force field of an optical trap. Optics Letters. Optica Publishing Group.https://doi.org/10.1364/OL.36.001260 
LibreCat: https://research-explorer.ista.ac.at/record/3373
DOI: 10.1364/OL.36.001260

de Vladar, H., &; Barton, N. H. (2011). The statistical mechanics of a polygenic character under stabilizing selection mutation and drift. Journal of the Royal Society Interface. The Royal Society.https://doi.org/10.1098/rsif.2010.0438 
LibreCat: https://research-explorer.ista.ac.at/record/3375
DOI: 10.1098/rsif.2010.0438
PMID: 21084341

Barton, N. H., &; Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist. The University of Chicago Press.https://doi.org/10.1086/661246 
LibreCat: https://research-explorer.ista.ac.at/record/3393
DOI: 10.1086/661246

Blanc, R., Henzinger, T. A., Hottelier, T., &; Kovács, L. (2010). ABC: Algebraic Bound Computation for loops. In E. M. Clarke &; A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (Vol. 6355, pp. 103–118). Berlin, Heidelberg: Springer Nature.https://doi.org/10.1007/978-3-642-17511-4_7 
LibreCat: https://research-explorer.ista.ac.at/record/10908
DOI: 10.1007/978-3-642-17511-4_7

Kupczok, A., Schmidt, H., &; Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. BioMed Central.https://doi.org/10.1186/1748-7188-5-37 
LibreCat: https://research-explorer.ista.ac.at/record/2409
DOI: 10.1186/1748-7188-5-37

Chen, C., &; Freedman, D. (2010). Hardness results for homology localization. In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1594–1604). Austin, TX, United States: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611973075.129 
LibreCat: https://research-explorer.ista.ac.at/record/10909
DOI: 10.1137/1.9781611973075.129

Weissman, D., Feldman, M., &; Fisher, D. (2010). The rate of fitness-valley crossing in sexual populations. Genetics. Genetics Society of America.https://doi.org/10.1534/genetics.110.123240 
LibreCat: https://research-explorer.ista.ac.at/record/3303
DOI: 10.1534/genetics.110.123240

Senn, H., Goodman, S., Swanson, G., Barton, N. H., &; Pemberton, J. (2010). Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland. Molecular Ecology. Wiley-Blackwell.https://doi.org/10.1111/j.1365-294X.2009.04497.x 
LibreCat: https://research-explorer.ista.ac.at/record/3604
DOI: 10.1111/j.1365-294X.2009.04497.x

Feret, J., Henzinger, T. A., Koeppl, H., &; Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
LibreCat: https://research-explorer.ista.ac.at/record/3719
arXiv: 1011.0496

Guzmán, J., Schmidt, H., Franke, H., Krügel, U., Eilers, J., Illes, P., &; Gerevich, Z. (2010).https://doi.org/10.1016/j.neuropharm.2010.05.013__receptors inhibit long-term depression in the prefrontal cortex. Neuropharmacology. Elsevier.https://doi.org/10.1016/j.neuropharm.2010.05.013 
LibreCat: https://research-explorer.ista.ac.at/record/3718
DOI: 10.1016/j.neuropharm.2010.05.013

Palero, F., González Candelas, F., &; Pascual, M. (2010). Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity. Oxford University Press.https://doi.org/10.1093/jhered/esq111 
LibreCat: https://research-explorer.ista.ac.at/record/3783
DOI: 10.1093/jhered/esq111

Chen, C., &; Freedman, D. (2010). Topology noise removal for curve  and surface evolution. In https://doi.org/10.1007/978-3-642-18421-5_4__Conference proceedings MCV 2010 (Vol. 6533, pp. 31–42). Beijing, China: Springer.https://doi.org/10.1007/978-3-642-18421-5_4 
LibreCat: https://research-explorer.ista.ac.at/record/3782
DOI: 10.1007/978-3-642-18421-5_4

Edelsbrunner, H., Morozov, D., &; Patel, A. (2010). The stability of the apparent contour of an orientable 2-manifold. In Topological Data Analysis and Visualization: Theory, Algorithms and Applications (pp. 27–42). Springer.https://doi.org/10.1007/978-3-642-15014-2_3 
LibreCat: https://research-explorer.ista.ac.at/record/3795
DOI: 10.1007/978-3-642-15014-2_3

Lampert, C., &; Krömer, O. (2010). Weakly-paired maximum covariance analysis for multimodal dimensionality reduction and transfer learning (Vol. 6312, pp. 566–579). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer.https://doi.org/10.1007/978-3-642-15552-9_41 
LibreCat: https://research-explorer.ista.ac.at/record/3794
DOI: 10.1007/978-3-642-15552-9_41

Guzmán, J., &; Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron. Elsevier.https://doi.org/10.1016/j.neuron.2010.04.003 
LibreCat: https://research-explorer.ista.ac.at/record/3832
DOI: 10.1016/j.neuron.2010.04.003
PMID: 20399724