Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.”https://doi.org/10.1007/978-3-642-14295-6_36__edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_36 .
LibreCat: https://research-explorer.ista.ac.at/record/3866
DOI: 10.1007/978-3-642-14295-6_36

Chatterjee, Krishnendu, Luca De Alfaro, Ritankar Majumdar, and Vishwanath Raman. “Algorithms for Game Metrics.”https://doi.org/10.2168/LMCS-6(3:13)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:13)2010 .
LibreCat: https://research-explorer.ista.ac.at/record/3868
DOI: 10.2168/LMCS-6(3:13)2010

Bridle, Jon, Jitka Polechova, Masakado Kawata, and Roger Butlin. “Why Is Adaptation Prevented at Ecological Margins? New Insights from Individual-Based Simulations.”https://doi.org/10.1111/j.1461-0248.2010.01442.x__Ecology Letters. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1461-0248.2010.01442.x .
LibreCat: https://research-explorer.ista.ac.at/record/4134
DOI: 10.1111/j.1461-0248.2010.01442.x

Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “A New Model for Evolution in a Spatial Continuum.”https://doi.org/10.1214/EJP.v15-741__Electronic Journal of Probability. Institute of Mathematical Statistics, 2010.https://doi.org/10.1214/EJP.v15-741 .
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

Danowski, Patrick, and Julia Bergmann, eds. Handbuch Bibliothek 2.0. Vol. 41. Bibliothekspraxis. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .
LibreCat: https://research-explorer.ista.ac.at/record/4346
DOI: 10.1515/9783110232103

Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.”https://doi.org/10.1007/978-3-642-15297-9_13__edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010.https://doi.org/10.1007/978-3-642-15297-9_13 .
LibreCat: https://research-explorer.ista.ac.at/record/4369
DOI: 10.1007/978-3-642-15297-9_13

Sabeti Aschraf, M., C. Gonano, E. Nemecek, Lisa Cichocki, and C. Schueller Weidekamm. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.”https://doi.org/10.1007/s00167-010-1227-9__Knee Surgery, Sports Traumatology, Arthroscopy. Springer, 2010.https://doi.org/10.1007/s00167-010-1227-9 .
LibreCat: https://research-explorer.ista.ac.at/record/3498
DOI: 10.1007/s00167-010-1227-9

Barton, Nicholas H. “Genetic Linkage and Natural Selection.”https://doi.org/10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2010.0106 .
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 10.1098/rstb.2010.0106

Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?”https://doi.org/10.1098/rstb.2010.0001__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2010.0001 .
LibreCat: https://research-explorer.ista.ac.at/record/3773
DOI: 10.1098/rstb.2010.0001
PMID: 20439284

Barton, Nicholas H. “Mutation and the Evolution of Recombination.”https://doi.org/10.1098/rstb.2009.0320__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, 2010.https://doi.org/10.1098/rstb.2009.0320 .
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104

Senn, Helen, Graeme Swanson, Simon Goodman, Nicholas H Barton, and Josephine Pemberton. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).”https://doi.org/10.1111/j.1365-2656.2009.01633.x__Journal of Animal Ecology. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1365-2656.2009.01633.x .
LibreCat: https://research-explorer.ista.ac.at/record/3774
DOI: 10.1111/j.1365-2656.2009.01633.x
PMID: 20002231

Barton, Nicholas H. “Understanding Adaptation in Large Populations.”https://doi.org/10.1371/journal.pgen.1000987__PLoS Genetics. Public Library of Science, 2010.https://doi.org/10.1371/journal.pgen.1000987 .
LibreCat: https://research-explorer.ista.ac.at/record/3772
DOI: 10.1371/journal.pgen.1000987

Diz Muñoz, Alba, Michael Krieg, Martin Bergert, Itziar Ibarlucea Benitez, Daniel Müller, Ewa Paluch, and Carl-Philipp J Heisenberg. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.”https://doi.org/10.1371/journal.pbio.1000544__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000544 .
LibreCat: https://research-explorer.ista.ac.at/record/3790
DOI: 10.1371/journal.pbio.1000544

Nowozin, Sebastian, Peter Gehler, and Christoph Lampert. “On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation,”https://doi.org/10.1007/978-3-642-15567-3_8__6316:98–111. Springer, 2010.https://doi.org/10.1007/978-3-642-15567-3_8 .
LibreCat: https://research-explorer.ista.ac.at/record/3793
DOI: 10.1007/978-3-642-15567-3_8

Quesada-Hernández, Elena, Luca Caneparo, Sylvia Schneider, Sylke Winkler, Michael Liebling, Scott Fraser, and Carl-Philipp J Heisenberg. “Stereotypical Cell Division Orientation Controls Neural Rod Midline Formation in Zebrafish.”https://doi.org/10.1016/j.cub.2010.10.009__Current Biology. Cell Press, 2010.https://doi.org/10.1016/j.cub.2010.10.009 .
LibreCat: https://research-explorer.ista.ac.at/record/3789
DOI: 10.1016/j.cub.2010.10.009

Palero, Ferran, Sally Hall, Paul Clark, David Johnston, Jackie Mackenzie Dodds, and Sven Thatje. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.”https://doi.org/10.3989/scimar.2010.74n3465__Scientia Marina. Consejo Superior de Investigaciones Científicas, 2010.https://doi.org/10.3989/scimar.2010.74n3465 .
LibreCat: https://research-explorer.ista.ac.at/record/3787
DOI: 10.3989/scimar.2010.74n3465

Klopper, Abigail, Gabriel Krens, Stephan Grill, and Carl-Philipp J Heisenberg. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.”https://doi.org/10.1140/epje/i2010-10642-y__The European Physical Journal E: Soft Matter and Biological Physics. Springer, 2010.https://doi.org/10.1140/epje/i2010-10642-y .
LibreCat: https://research-explorer.ista.ac.at/record/3788
DOI: 10.1140/epje/i2010-10642-y

Palero, Ferran, Guillermo Guerao, Paul Clark, and Pere Abello. “Final-Stage Phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The First Complete Description.”https://doi.org/10.11646/zootaxa.2403.1.4__Zootaxa. Magnolia Press, 2010.https://doi.org/10.11646/zootaxa.2403.1.4 .
LibreCat: https://research-explorer.ista.ac.at/record/3786
DOI: 10.11646/zootaxa.2403.1.4

Carvalho, Lara, and Carl-Philipp J Heisenberg. “The Yolk Syncytial Layer in Early, Zebrafish Development.”https://doi.org/10.1016/j.tcb.2010.06.009__Trends in Cell Biology. Cell Press, 2010.https://doi.org/10.1016/j.tcb.2010.06.009 .
LibreCat: https://research-explorer.ista.ac.at/record/3792
DOI: 10.1016/j.tcb.2010.06.009

Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.”https://doi.org/10.1186/1752-0509-4-42__BMC Systems Biology. BioMed Central, 2010.https://doi.org/10.1186/1752-0509-4-42 .
LibreCat: https://research-explorer.ista.ac.at/record/3834
DOI: 10.1186/1752-0509-4-42

Henzinger, Thomas A. “From Boolean to Quantitative Notions of Correctness,”https://doi.org/10.1145/1706299.1706319__45:157–58. ACM, 2010.https://doi.org/10.1145/1706299.1706319 .
LibreCat: https://research-explorer.ista.ac.at/record/3840
DOI: 10.1145/1706299.1706319

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,”https://doi.org/10.1007/978-3-642-11319-2_14__5944:163–79. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_14 .
LibreCat: https://research-explorer.ista.ac.at/record/3839
DOI: 10.1007/978-3-642-11319-2_14

Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,”https://doi.org/10.1145/1839764.1839772__55–65. Springer, 2010.https://doi.org/10.1145/1839764.1839772 .
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 10.1145/1839764.1839772

Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,”https://doi.org/10.1007/978-3-642-15375-4_19__6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_19 .
LibreCat: https://research-explorer.ista.ac.at/record/3853
DOI: 10.1007/978-3-642-15375-4_19

Bendich, Paul, Herbert Edelsbrunner, Michael Kerber, and Amit Patel. “Persistent Homology under Non-Uniform Error,”https://doi.org/10.1007/978-3-642-15155-2_2__6281:12–23. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_2 .
LibreCat: https://research-explorer.ista.ac.at/record/3849
DOI: 10.1007/978-3-642-15155-2_2

Chatterjee, Krishnendu, Florian Horn, and Christof Löding. “Obliging Games,”https://doi.org/10.1007/978-3-642-15375-4_20__6269:284–96. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_20 .
LibreCat: https://research-explorer.ista.ac.at/record/3854
DOI: 10.1007/978-3-642-15375-4_20

Chatterjee, Krishnendu, and Laurent Doyen. “Energy Parity Games,”https://doi.org/10.1007/978-3-642-14162-1_50__6199:599–610. Springer, 2010.https://doi.org/10.1007/978-3-642-14162-1_50 .
LibreCat: https://research-explorer.ista.ac.at/record/3851
DOI: 10.1007/978-3-642-14162-1_50
arXiv: 1001.5183

Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Polygonal Reconstruction from Approximate Offsets,” 12–23. TU Dortmund, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3850

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505__8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 .
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 10.4230/LIPIcs.FSTTCS.2010.505

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_34 .
LibreCat: https://research-explorer.ista.ac.at/record/3864
DOI: 10.1007/978-3-642-14295-6_34

Chatterjee, Krishnendu, Luca De Alfaro, Vishwanath Raman, and César Sánchez. “Analyzing the Impact of Change in Multi-Threaded Programs.”https://doi.org/10.1007/978-3-642-12029-9_21__edited by David Rosenblum and Gabriele Taenzer, 6013:293–307. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_21 .
LibreCat: https://research-explorer.ista.ac.at/record/3865
DOI: 10.1007/978-3-642-12029-9_21

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.09.006 .
LibreCat: https://research-explorer.ista.ac.at/record/3863
DOI: 10.1016/j.ic.2009.09.006

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.07.004 .
LibreCat: https://research-explorer.ista.ac.at/record/3861
DOI: 10.1016/j.ic.2009.07.004

Bendich, Paul, Herbert Edelsbrunner, and Michael Kerber. “Computing Robustness and Persistence for Images.”https://doi.org/10.1109/TVCG.2010.139__IEEE Transactions of Visualization and Computer Graphics. IEEE, 2010.https://doi.org/10.1109/TVCG.2010.139 .
LibreCat: https://research-explorer.ista.ac.at/record/3901
DOI: 10.1109/TVCG.2010.139

Papusheva, Ekaterina, and Carl-Philipp J Heisenberg. “Spatial Organization of Adhesion: Force-Dependent Regulation and Function in Tissue Morphogenesis.”https://doi.org/10.1038/emboj.2010.182__EMBO Journal. Wiley-Blackwell, 2010.https://doi.org/10.1038/emboj.2010.182 .
LibreCat: https://research-explorer.ista.ac.at/record/4157
DOI: 10.1038/emboj.2010.182
PMID: 20717145

Bergmann, Julia, and Patrick Danowski. “Ist Bibliothek 2.0 Überhaupt Noch Relevant? – Eine Einleitung in Das Handbuch.”https://doi.org/10.1515/9783110232103__In Handbuch Bibliothek 2.0, edited by Julia Bergmann and Patrick Danowski, 5–20. Bibliotheks- Und Informationspraxis 41. De Gruyter, 2010.https://doi.org/10.1515/9783110232103 .
LibreCat: https://research-explorer.ista.ac.at/record/4339
DOI: 10.1515/9783110232103

Singh, Vasu. “Runtime Verification for Software Transactional Memories.”https://doi.org/10.1007/978-3-642-16612-9_32__edited by Oleg Sokolsky, Grigore Rosu, Nikolai Tilmann, Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, and Gordon Pace, 6418:421–35. Springer, 2010.https://doi.org/10.1007/978-3-642-16612-9_32 .
LibreCat: https://research-explorer.ista.ac.at/record/4362
DOI: 10.1007/978-3-642-16612-9_32

Kuncak, Viktor, Ruzica Piskac, Philippe Suter, and Thomas Wies. “Building a Calculus of Data Structures.”https://doi.org/10.1007/978-3-642-11319-2_6__edited by Gilles Barthe and Manuel Hermenegildo, 5944:26–44. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_6 .
LibreCat: https://research-explorer.ista.ac.at/record/4378
DOI: 10.1007/978-3-642-11319-2_6

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,”https://doi.org/10.1109/CLOUD.2010.71__83–90. IEEE, 2010.https://doi.org/10.1109/CLOUD.2010.71 .
LibreCat: https://research-explorer.ista.ac.at/record/4381
DOI: 10.1109/CLOUD.2010.71

Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,”https://doi.org/10.1145/1810479.1810529__263–72. ACM, 2010.https://doi.org/10.1145/1810479.1810529 .
LibreCat: https://research-explorer.ista.ac.at/record/4382
DOI: 10.1145/1810479.1810529

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,”https://doi.org/10.1145/1879021.1879022__1–8. ACM, 2010.https://doi.org/10.1145/1879021.1879022 .
LibreCat: https://research-explorer.ista.ac.at/record/4380
DOI: 10.1145/1879021.1879022

Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,”https://doi.org/10.1109/ACSD.2010.26__77–84. IEEE, 2010.https://doi.org/10.1109/ACSD.2010.26 .
LibreCat: https://research-explorer.ista.ac.at/record/4389
DOI: 10.1109/ACSD.2010.26

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.”https://doi.org/10.1007/978-3-642-13754-9_3__In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010.https://doi.org/10.1007/978-3-642-13754-9_3 .
LibreCat: https://research-explorer.ista.ac.at/record/4392
DOI: 10.1007/978-3-642-13754-9_3

Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.”https://doi.org/10.1007/978-3-642-12029-9_19__edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_19 .
LibreCat: https://research-explorer.ista.ac.at/record/4396
DOI: 10.1007/978-3-642-12029-9_19

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.”https://doi.org/10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:10)2010 .
LibreCat: https://research-explorer.ista.ac.at/record/3867
DOI: 10.2168/LMCS-6(3:10)2010

Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.”https://doi.org/10.1111/j.1558-5646.2010.01019.x__Evolution. Wiley-Blackwell, 2010.https://doi.org/10.1111/j.1558-5646.2010.01019.x .
LibreCat: https://research-explorer.ista.ac.at/record/474
DOI: 10.1111/j.1558-5646.2010.01019.x

Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1__8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1 .
LibreCat: https://research-explorer.ista.ac.at/record/488
DOI: 10.4230/LIPIcs.FSTTCS.2010.1

Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .”https://doi.org/10.4204/EPTCS.25.7__In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010.https://doi.org/10.4204/EPTCS.25.7 .
LibreCat: https://research-explorer.ista.ac.at/record/489
DOI: 10.4204/EPTCS.25.7

Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.”https://doi.org/10.1007/s10703-010-0102-0__Formal Methods in System Design. Springer, 2010.https://doi.org/10.1007/s10703-010-0102-0 .
LibreCat: https://research-explorer.ista.ac.at/record/533
DOI: 10.1007/s10703-010-0102-0

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”https://doi.org/10.1007/978-3-642-15375-4_18__6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_18 .
LibreCat: https://research-explorer.ista.ac.at/record/4393
DOI: 10.1007/978-3-642-15375-4_18

Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0004 .
LibreCat: https://research-explorer.ista.ac.at/record/5388
DOI: 10.15479/AT:IST-2010-0004

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0003 .
LibreCat: https://research-explorer.ista.ac.at/record/5389
DOI: 10.15479/AT:IST-2010-0003

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,”https://doi.org/10.1007/978-3-642-14295-6_41__6174:465–79. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_41 .
LibreCat: https://research-explorer.ista.ac.at/record/4390
DOI: 10.1007/978-3-642-14295-6_41

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,”https://doi.org/10.1007/978-3-642-14295-6_57__6174:665–69. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_57 .
LibreCat: https://research-explorer.ista.ac.at/record/4388
DOI: 10.1007/978-3-642-14295-6_57
arXiv: 1004.2367

Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0001 .
LibreCat: https://research-explorer.ista.ac.at/record/5391
DOI: 10.15479/AT:IST-2010-0001

Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0002 .
LibreCat: https://research-explorer.ista.ac.at/record/5390
DOI: 10.15479/AT:IST-2010-0002

Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Automata on Infinite Words: Decidability and Undecidability Results,”https://doi.org/10.1007/978-3-642-15643-4_1__6252:1–16. Springer, 2010.https://doi.org/10.1007/978-3-642-15643-4_1 .
LibreCat: https://research-explorer.ista.ac.at/record/3857
DOI: 10.1007/978-3-642-15643-4_1

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,”https://doi.org/10.1007/978-3-642-15155-2_24__6281:258–69. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_24 .
LibreCat: https://research-explorer.ista.ac.at/record/3855
DOI: 10.1007/978-3-642-15155-2_24

Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.”https://doi.org/10.1371/journal.pbio.1000429__PLoS Biology. Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000429 .
LibreCat: https://research-explorer.ista.ac.at/record/3779
DOI: 10.1371/journal.pbio.1000429

Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Heterosis and the Drift Load.”https://doi.org/10.1371/journal.pbio.1000429.s003__Public Library of Science, 2010.https://doi.org/10.1371/journal.pbio.1000429.s003 .
LibreCat: https://research-explorer.ista.ac.at/record/9764
DOI: 10.1371/journal.pbio.1000429.s003

Chatterjee, Krishnendu, and Ritankar Majumdar. “Discounting in Games across Time Scales,”https://doi.org/10.4204/EPTCS.25.6__25:22–29. EPTCS, 2010.https://doi.org/10.4204/EPTCS.25.6 .
LibreCat: https://research-explorer.ista.ac.at/record/3852
DOI: 10.4204/EPTCS.25.6
arXiv: 1006.1403

Pflicke, Holger. “  Dendritic Cell Migration across Basement Membranes in the Skin.” Institute of Science and Technology Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3962

Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.”https://doi.org/10.1007/978-3-642-12032-9_8__edited by Luke Ong, 6014:94–108. Springer, 2010.https://doi.org/10.1007/978-3-642-12032-9_8 .
LibreCat: https://research-explorer.ista.ac.at/record/4361
DOI: 10.1007/978-3-642-12032-9_8

Palero, Ferran, Pere Abello, E. Macpherson, C. Matthee, and Marta Pascual. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).”https://doi.org/10.1651/09-3192.1__Journal of Crustacean Biology. Oxford University Press, 2010.https://doi.org/10.1651/09-3192.1 .
LibreCat: https://research-explorer.ista.ac.at/record/3785
DOI: 10.1651/09-3192.1

Schlögl, Alois, Carmen Vidaurre, and Klaus-Robert Müller. “Adaptive Methods in BCI Research - An Introductory Tutorial.”https://doi.org/10.1007/978-3-642-02091-9_18__In Brain-Computer Interfaces, edited by Bernhard Graimann, Gert Pfurtscheller, and Brendan Allison, 1st ed., 331–55. FRONTCOLL. Berlin, Heidelberg: Springer, 2010.https://doi.org/10.1007/978-3-642-02091-9_18 .
LibreCat: https://research-explorer.ista.ac.at/record/14983
DOI: 10.1007/978-3-642-02091-9_18

Davison, Angus, Nicholas H Barton, and Bryan Clarke. “The Effect of Chirality Phenotype and Genotype on the Fecundity and Viability of Partula Suturalis and Lymnaea Stagnalis: Implications for the Evolution of Sinistral Snails.”https://doi.org/10.1111/j.1420-9101.2009.01770.x__Journal of Evolutionary Biology. Wiley, 2009.https://doi.org/10.1111/j.1420-9101.2009.01770.x .
LibreCat: https://research-explorer.ista.ac.at/record/3780
DOI: 10.1111/j.1420-9101.2009.01770.x

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,”https://doi.org/10.1109/HiBi.2009.23__4:118–27. IEEE, 2009.https://doi.org/10.1109/HiBi.2009.23 .
LibreCat: https://research-explorer.ista.ac.at/record/3843
DOI: 10.1109/HiBi.2009.23

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,”https://doi.org/10.1007/978-3-642-04420-5_2__5797:3–23. Springer, 2009.https://doi.org/10.1007/978-3-642-04420-5_2 .
LibreCat: https://research-explorer.ista.ac.at/record/3841
DOI: 10.1007/978-3-642-04420-5_2

Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,”https://doi.org/10.1109/RTSS.2009.9__171–80. IEEE, 2009.https://doi.org/10.1109/RTSS.2009.9 .
LibreCat: https://research-explorer.ista.ac.at/record/3844
DOI: 10.1109/RTSS.2009.9

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,”https://doi.org/10.1007/978-3-642-04081-8_17__5710:244–58. Springer, 2009.https://doi.org/10.1007/978-3-642-04081-8_17 .
LibreCat: https://research-explorer.ista.ac.at/record/3871
DOI: 10.1007/978-3-642-04081-8_17

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.”https://doi.org/10.1145/1614431.1614432__ACM Transactions on Computational Logic (TOCL). ACM, 2009.https://doi.org/10.1145/1614431.1614432 .
LibreCat: https://research-explorer.ista.ac.at/record/3870
DOI: 10.1145/1614431.1614432

Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.”https://doi.org/10.1086/605958__American Naturalist. University of Chicago Press, 2009.https://doi.org/10.1086/605958 .
LibreCat: https://research-explorer.ista.ac.at/record/4136
DOI: 10.1086/605958
PMID:  19788353

Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.”https://doi.org/10.1111/j.1558-5646.2009.00622.x__Evolution; International Journal of Organic Evolution. Wiley, 2009.https://doi.org/10.1111/j.1558-5646.2009.00622.x .
LibreCat: https://research-explorer.ista.ac.at/record/4242
DOI: 10.1111/j.1558-5646.2009.00622.x

Barton, Nicholas H. “Why Sex and Recombination? .”https://doi.org/10.1101/sqb.2009.74.030__In Cold Spring Harbor Symposia on Quantitative Biology, 74:187–95. Cold Spring Harbor Laboratory Press, 2009.https://doi.org/10.1101/sqb.2009.74.030 .
LibreCat: https://research-explorer.ista.ac.at/record/3675
DOI: 10.1101/sqb.2009.74.030

Barton, Nicholas H, and Jason Coe. “On the Application of Statistical Physics to Evolutionary Biology.”https://doi.org/10.1016/j.jtbi.2009.03.019__Journal of Theoretical Biology. Elsevier, 2009.https://doi.org/10.1016/j.jtbi.2009.03.019 .
LibreCat: https://research-explorer.ista.ac.at/record/3775
DOI: 10.1016/j.jtbi.2009.03.019

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.”https://doi.org/10.1145/1629335.1629346__In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009.https://doi.org/10.1145/1629335.1629346 .
LibreCat: https://research-explorer.ista.ac.at/record/3837
DOI: 10.1145/1629335.1629346

Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,”https://doi.org/10.1007/978-3-642-10470-1_4__5903:36–50. Springer, 2009.https://doi.org/10.1007/978-3-642-10470-1_4 .
LibreCat: https://research-explorer.ista.ac.at/record/3968
DOI: 10.1007/978-3-642-10470-1_4

Barton, Nicholas H, and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.”https://doi.org/10.1534/genetics.108.099309__Genetics. Genetics Society of America, 2009.https://doi.org/10.1534/genetics.108.099309 .
LibreCat: https://research-explorer.ista.ac.at/record/4231
DOI: 10.1534/genetics.108.099309

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,”https://doi.org/10.1007/978-3-642-03409-1_2__5699:3–13. Springer, 2009.https://doi.org/10.1007/978-3-642-03409-1_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,”https://doi.org/10.1007/978-3-642-02930-1_1__5556:1–15. Springer, 2009.https://doi.org/10.1007/978-3-642-02930-1_1 .
LibreCat: https://research-explorer.ista.ac.at/record/4545
DOI: 10.1007/978-3-642-02930-1_1

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,”https://doi.org/10.1007/978-3-642-03816-7_4__5734:34–54. Springer, 2009.https://doi.org/10.1007/978-3-642-03816-7_4 .
LibreCat: https://research-explorer.ista.ac.at/record/4543
DOI: 10.1007/978-3-642-03816-7_4

Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,”https://doi.org/10.1007/978-3-642-02658-4_14__5643:140–56. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_14 .
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0003 .
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0002 .
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0004 .
LibreCat: https://research-explorer.ista.ac.at/record/5392
DOI: 10.15479/AT:IST-2009-0004

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0001 .
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001

Barton, Nicholas H. “Identity and Coalescence in Structured Populations: A Commentary on ‘Inbreeding Coefficients and Coalescence Times’ by Montgomery Slatkin.”https://doi.org/10.1017/S0016672308009683__Genetics Research. Cambridge University Press, 2008.https://doi.org/10.1017/S0016672308009683 .
LibreCat: https://research-explorer.ista.ac.at/record/517
DOI: 10.1017/S0016672308009683