Chatterjee, Krishnendu, et al. The Decidability Frontier for Probabilistic Automata on Infinite Words. ArXiv.
LibreCat: https://research-explorer.ista.ac.at/record/3363
arXiv: 1104.0127

Abbot, Patrick, et al. “Inclusive Fitness Theory and Eusociality.”10.1038/nature09831__Nature, vol. 471, no. 7339, Nature Publishing Group, 2011, pp. –4, doi:10.1038/nature09831.
LibreCat: https://research-explorer.ista.ac.at/record/3372
DOI: 10.1038/nature09831
PMID: 21430721

Sixt, Michael K., and Carole Parent. “Cells on the Move in Philadelphia.”10.1091/mbc.E10-12-0958__Molecular Biology and Evolution, vol. 22, no. 6, Oxford University Press, 2011, p. 724, doi:10.1091/mbc.E10-12-0958.
LibreCat: https://research-explorer.ista.ac.at/record/3371
DOI: 10.1091/mbc.E10-12-0958

Tkadik, Gasper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.”10.1088/0953-8984/23/15/153102__Journal of Physics: Condensed Matter, vol. 23, no. 15, 153102, IOP Publishing Ltd., 2011, doi:10.1088/0953-8984/23/15/153102.
LibreCat: https://research-explorer.ista.ac.at/record/3374
DOI: 10.1088/0953-8984/23/15/153102

Krens, Gabriel, et al. “Enveloping Cell Layer Differentiation at the Surface of Zebrafish Germ Layer Tissue Explants.”10.1073/pnas.1010767108__PNAS, vol. 108, no. 3, National Academy of Sciences, 2011, pp. –10, doi:10.1073/pnas.1010767108.
LibreCat: https://research-explorer.ista.ac.at/record/3368
DOI: 10.1073/pnas.1010767108
PMID: 21212360

Kupczok, Anne. “Consequences of Different Null Models on the Tree Shape Bias of Supertree Methods.”10.1093/sysbio/syq086__Systematic Biology, vol. 60, no. 2, Oxford University Press, 2011, pp. 218–25, doi:10.1093/sysbio/syq086.
LibreCat: https://research-explorer.ista.ac.at/record/3370
DOI: 10.1093/sysbio/syq086

Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.”10.1242/dev.071233__Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
LibreCat: https://research-explorer.ista.ac.at/record/3396
DOI: 10.1242/dev.071233

Polechova, Jitka, and Nicholas H. Barton. “Genetic Drift Widens the Expected Cline but Narrows the Expected Cline Width.”10.1534/genetics.111.129817__Genetics, vol. 189, no. 1, Genetics Society of America, 2011, pp. 227–35, doi:10.1534/genetics.111.129817.
LibreCat: https://research-explorer.ista.ac.at/record/3394
DOI: 10.1534/genetics.111.129817

Barton, Nicholas H., and Alison Etheridge. “The Relation between Reproductive Value and Genetic Contribution.”10.1534/genetics.111.127555__Genetics, vol. 188, no. 4, Genetics Society of America, 2011, pp. 953–73, doi:10.1534/genetics.111.127555.
LibreCat: https://research-explorer.ista.ac.at/record/3390
DOI: 10.1534/genetics.111.127555

de Vladar, Harold, and Nicholas H. Barton. “The Contribution of Statistical Physics to Evolutionary Biology.”10.1016/j.tree.2011.04.002__Trends in Ecology and Evolution, vol. 26, no. 8, Cell Press, 2011, pp. 424–32, doi:10.1016/j.tree.2011.04.002.
LibreCat: https://research-explorer.ista.ac.at/record/3391
DOI: 10.1016/j.tree.2011.04.002

Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “The Role of Adhesion Energy in Controlling Cell-Cell Contacts.”10.1016/j.ceb.2011.07.004__Current Opinion in Cell Biology, vol. 23, no. 5, Elsevier, 2011, pp. 508–14, doi:10.1016/j.ceb.2011.07.004.
LibreCat: https://research-explorer.ista.ac.at/record/3397
DOI: 10.1016/j.ceb.2011.07.004

Janovjak, Harald L., et al. “Modern Ionotropic Glutamate Receptor with a K+ Selectivity Signature Sequence.”10.1038/ncomms1231__Nature Communications, vol. 2, no. 232, Nature Publishing Group, 2011, pp. 1–6, doi:10.1038/ncomms1231.
LibreCat: https://research-explorer.ista.ac.at/record/3405
DOI: 10.1038/ncomms1231

Sixt, Michael K., and Tim Lämmermann. “In Vitro Analysis of Chemotactic Leukocyte Migration in 3D Environments.”10.1007/978-1-61779-207-6_11__Cell Migration, vol. 769, Springer, 2011, pp. 149–65, doi: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, Ferran, et al. “Scyllarus Arctus (Crustacea: Decapoda: Scyllaridae) Final Stage Phyllosoma Identified by DNA Analysis, with Morphological Description.”10.1017/S0025315410000287__Journal of the Marine Biological Association of the United Kingdom, vol. 91, no. 2, Cambridge University Press, 2011, pp. 485–92, doi:10.1017/S0025315410000287.
LibreCat: https://research-explorer.ista.ac.at/record/3784
DOI: 10.1017/S0025315410000287

Edelsbrunner, Herbert, and Michael Kerber. “Covering and Packing with Spheres by Diagonal Distortion in R^n.”10.1007/978-3-642-19391-0_2__Rainbow of Computer Science, edited by Cristian Calude et al., vol. 6570, Springer, 2011, pp. 20–35, doi: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, Thomas A., et al. “Formalisms for Specifying Markovian Population Models.”10.1142/S0129054111008441__IJFCS: International Journal of Foundations of Computer Science, vol. 22, no. 4, World Scientific Publishing, 2011, pp. 823–41, doi:10.1142/S0129054111008441.
LibreCat: https://research-explorer.ista.ac.at/record/3381
DOI: 10.1142/S0129054111008441

Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.”10.2168/LMCS-7(4:8)2011__Logical Methods in Computer Science, vol. 7, no. 4, International Federation of Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
LibreCat: https://research-explorer.ista.ac.at/record/3315
DOI: 10.2168/LMCS-7(4:8)2011

Raveendran, Karthik, et al. Hybrid Smoothed Particle Hydrodynamics. Edited by Stephen Spencer, ACM, 2011, pp. 33–42, doi:10.1145/2019406.2019411.
LibreCat: https://research-explorer.ista.ac.at/record/3298
DOI: 10.1145/2019406.2019411

Wojtan, Chris, et al. Liquid Simulation with Mesh-Based Surface Tracking. 8, ACM, 2011, doi:10.1145/2037636.2037644.
LibreCat: https://research-explorer.ista.ac.at/record/3297
DOI: 10.1145/2037636.2037644

Lohse, Konrad, et al. “A General Method for Calculating Likelihoods under the Coalescent Process.”10.1534/genetics.111.129569__Genetics, vol. 189, no. 3, Genetics Society of America, 2011, pp. 977–87, doi:10.1534/genetics.111.129569.
LibreCat: https://research-explorer.ista.ac.at/record/3290
DOI: 10.1534/genetics.111.129569

Zheng, Ying, et al. “Detailed Reconstruction of 3D Plant Root Shape.”10.1109/ICCV.2011.6126475__Proceedings of the IEEE International Conference on Computer Vision, 6126475, IEEE, 2011, doi:10.1109/ICCV.2011.6126475.
LibreCat: https://research-explorer.ista.ac.at/record/3312
DOI: 10.1109/ICCV.2011.6126475

Chen, Chao, and Herbert Edelsbrunner. “Diffusion Runs Low on Persistence Fast.”10.1109/ICCV.2011.6126271__Proceedings of the IEEE International Conference on Computer Vision, 6126271, IEEE, 2011, doi:10.1109/ICCV.2011.6126271.
LibreCat: https://research-explorer.ista.ac.at/record/3313
DOI: 10.1109/ICCV.2011.6126271

Edelsbrunner, Herbert. “Alpha Shapes - a Survey.” Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings, edited by R van de Weygaert et al., Springer.
LibreCat: https://research-explorer.ista.ac.at/record/3311

Almagor, Shaull, et al. What’s Decidable about Weighted Automata . Vol. 6996, Springer, 2011, pp. 482–91, doi: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

Piskac, Ruzica, and Thomas Wies. Decision Procedures for Automating Termination Proofs. Edited by Ranjit Jhala and David Schmidt, vol. 6538, Springer, 2011, pp. 371–86, doi: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

Chatterjee, Krishnendu, et al. “Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-Run Average Objectives.” ArXiv, ArXiv, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3339
arXiv: 1107.2132

Chatterjee, Krishnendu, et al. Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 260–76, doi: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, Krishnendu, and Nathanaël Fijalkow. Finitary Languages. Vol. 6638, Springer, 2011, pp. 216–26, doi: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, Tomás, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.
LibreCat: https://research-explorer.ista.ac.at/record/3346
DOI: 10.1109/LICS.2011.10

Chatterjee, Krishnendu, and Vinayak Prabhu. Synthesis of Memory Efficient Real Time Controllers for Safety Objectives. Springer, 2011, pp. 221–30, doi:10.1145/1967701.1967734.
LibreCat: https://research-explorer.ista.ac.at/record/3348
DOI: 10.1145/1967701.1967734

Chatterjee, Krishnendu, and Monika H. Henzinger. Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. SIAM, 2011, pp. 1318–36, doi:10.1137/1.9781611973082.101.
LibreCat: https://research-explorer.ista.ac.at/record/3343
DOI: 10.1137/1.9781611973082.101

Boker, Udi, and Thomas A. Henzinger. Determinizing Discounted-Sum Automata. Vol. 12, Springer, 2011, pp. 82–96, doi:10.4230/LIPIcs.CSL.2011.82.
LibreCat: https://research-explorer.ista.ac.at/record/3360
DOI: 10.4230/LIPIcs.CSL.2011.82

Cerny, Pavol, et al. The Complexity of Quantitative Information Flow Problems. IEEE, 2011, pp. 205–17, doi:10.1109/CSF.2011.21.
LibreCat: https://research-explorer.ista.ac.at/record/3361
DOI: 10.1109/CSF.2011.21

Henzinger, Thomas A., et al. Scheduling Large Jobs by Abstraction Refinement. ACM, 2011, pp. 329–42, doi:10.1145/1966445.1966476.
LibreCat: https://research-explorer.ista.ac.at/record/3358
DOI: 10.1145/1966445.1966476

Row, Richard, et al. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.”10.1016/j.ydbio.2011.03.025__Developmental Biology, vol. 354, no. 1, Elsevier, 2011, pp. 102–10, doi: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, Mark Tobias, and Roy Kishony. “Resolution of Gene Regulatory Conflicts Caused by Combinations of Antibiotics.”10.1016/j.molcel.2011.04.016__Molecular Cell, vol. 42, no. 4, Cell Press, 2011, pp. 413–25, doi: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, Sayanthan, and Nicholas H. Barton. “Mapping Mendelian Traits in Asexual Progeny Using Changes in Marker Allele Frequency.”10.1017/S0016672311000115__Genetical Research, vol. 93, no. 3, Cambridge University Press, 2011, pp. 221–32, doi:10.1017/S0016672311000115.
LibreCat: https://research-explorer.ista.ac.at/record/3380
DOI: 10.1017/S0016672311000115

Edelsbrunner, Herbert, et al. “Quantifying Transversality by Measuring the Robustness of Intersections.”10.1007/s10208-011-9090-8__Foundations of Computational Mathematics, vol. 11, no. 3, Springer, 2011, pp. 345–61, doi:10.1007/s10208-011-9090-8.
LibreCat: https://research-explorer.ista.ac.at/record/3377
DOI: 10.1007/s10208-011-9090-8

Ugelvig, Line V., et al. “Reconstructing Eight Decades of Genetic Variation in an Isolated Danish Population of the Large Blue Butterfly Maculinea Arion.”10.1186/1471-2148-11-201__BMC Evolutionary Biology, vol. 11, no. 201, 201, BioMed Central, 2011, doi:10.1186/1471-2148-11-201.
LibreCat: https://research-explorer.ista.ac.at/record/3388
DOI: 10.1186/1471-2148-11-201

Tkadik, Gasper, et al. “Natural Images from the Birthplace of the Human Eye.”10.1371/journal.pone.0020409__PLoS One, vol. 6, no. 6, e20409, Public Library of Science, 2011, doi:10.1371/journal.pone.0020409.
LibreCat: https://research-explorer.ista.ac.at/record/3384
DOI: 10.1371/journal.pone.0020409

Kupczok, Anne. “Split Based Computation of Majority Rule Supertrees.”10.1186/1471-2148-11-205__BMC Evolutionary Biology, vol. 11, no. 205, 205, BioMed Central, 2011, doi:10.1186/1471-2148-11-205.
LibreCat: https://research-explorer.ista.ac.at/record/3387
DOI: 10.1186/1471-2148-11-205

Cremer, Sylvia, et al. “Competition and Opportunity Shape the Reproductive Tactics of Males in the Ant Cardiocondyla Obscurior.”10.1371/journal.pone.0017323__PLoS One, vol. 6, no. 3, e17323, Public Library of Science, 2011, doi:10.1371/journal.pone.0017323.
LibreCat: https://research-explorer.ista.ac.at/record/3399
DOI: 10.1371/journal.pone.0017323

Barton, Nicholas H. “Estimating Linkage Disequilibria.”10.1038/hdy.2010.67__Heredity, vol. 106, no. 2, Nature Publishing Group, 2011, pp. 205–06, doi:10.1038/hdy.2010.67.
LibreCat: https://research-explorer.ista.ac.at/record/3778
DOI: 10.1038/hdy.2010.67
PMID: 20502479

Didier, Frédéric, et al. “Approximation of Event Probabilities in Noisy Cellular Processes.”10.1016/j.tcs.2010.10.022__Theoretical Computer Science, vol. 412, no. 21, Elsevier, 2011, pp. 2128–41, doi: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, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.”10.1523/JNEUROSCI.6398-10.2011__European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.
LibreCat: https://research-explorer.ista.ac.at/record/469
DOI: 10.1523/JNEUROSCI.6398-10.2011

Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.”10.1155/2011/935364__Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.
LibreCat: https://research-explorer.ista.ac.at/record/490
DOI: 10.1155/2011/935364

Schraivogel, Daniel, et al. “CAMT Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.”10.1038/emboj.2011.301__EMBO Journal, vol. 30, no. 20, Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
LibreCat: https://research-explorer.ista.ac.at/record/518
DOI: 10.1038/emboj.2011.301
PMID: 21857646

Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.”10.1007/s10703-011-0131-3__Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
LibreCat: https://research-explorer.ista.ac.at/record/531
DOI: 10.1007/s10703-011-0131-3

Chatterjee, Krishnendu, and Monika H. Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
LibreCat: https://research-explorer.ista.ac.at/record/5379
DOI: 10.15479/AT:IST-2011-0009

Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
LibreCat: https://research-explorer.ista.ac.at/record/5381
DOI: 10.15479/AT:IST-2011-0007

Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
LibreCat: https://research-explorer.ista.ac.at/record/5380
DOI: 10.15479/AT:IST-2011-0008

Chatterjee, Krishnendu. Robustness of Structurally Equivalent Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0006.
LibreCat: https://research-explorer.ista.ac.at/record/5382
DOI: 10.15479/AT:IST-2011-0006

Chatterjee, Krishnendu. “Bounded Rationality in Concurrent Parity Games.” ArXiv, ArXiv, 2011, pp. 1–51.
LibreCat: https://research-explorer.ista.ac.at/record/3338
arXiv: 1107.2146

Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
LibreCat: https://research-explorer.ista.ac.at/record/3356
DOI: 10.1109/LICS.2011.33

Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
LibreCat: https://research-explorer.ista.ac.at/record/5385
DOI: 10.15479/AT:IST-2011-0003

Chen, Chao, et al. Enforcing Topological Constraints in Random Field Image Segmentation. IST Austria, 2011, doi:10.15479/AT:IST-2011-0002.
LibreCat: https://research-explorer.ista.ac.at/record/5386
DOI: 10.15479/AT:IST-2011-0002

Wies, Thomas, et al. On an Efficient Decision Procedure for Imperative Tree Data Structures. IST Austria, 2011, doi:10.15479/AT:IST-2011-0005.
LibreCat: https://research-explorer.ista.ac.at/record/5383
DOI: 10.15479/AT:IST-2011-0005

Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011, doi:10.15479/AT:IST-2011-0004.
LibreCat: https://research-explorer.ista.ac.at/record/5384
DOI: 10.15479/AT:IST-2011-0004

Cerny, Pavol, et al. Quantitative Synthesis for Concurrent Programs. Edited by Ganesh Gopalakrishnan and Shaz Qadeer, vol. 6806, Springer, 2011, pp. 243–59, doi: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, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, doi: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, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011, doi:10.15479/AT:IST-2011-0001.
LibreCat: https://research-explorer.ista.ac.at/record/5387
DOI: 10.15479/AT:IST-2011-0001

Park, Heungwon, et al. “Noise Underlies Switching Behavior of the Bacterial Flagellum.”10.1016/j.bpj.2011.09.040__Biophysical Journal, vol. 101, no. 10, Elsevier, 2011, pp. 2336–40, doi: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

Gonzalez-Diaz, Rocio, et al. “Incremental-Decremental Algorithm for Computing AT-Models and Persistent Homology.”10.1007/978-3-642-23672-3_35__Computer Analysis of Images and Patterns, vol. 6854, Springer Nature, 2011, pp. 286–93, doi: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, Ferran, et al. Data from: Effect of Oceanographic Barriers and Overfishing on the Population Genetic Structure of the European Spiny Lobster (Palinurus Elephas). IST Austria, 2011, doi:10.5061/dryad.299h8.
LibreCat: https://research-explorer.ista.ac.at/record/9762
DOI: 10.5061/dryad.299h8

Schumann, Kathrin. The Role of Chemotactic Gradients in Dendritic Cell Migration. Institute of Science and Technology Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3275

Nowozin, Sebastian, and Christoph Lampert. “Structured Learning and Prediction in Computer Vision.”10.1561/0600000033__Foundations and Trends in Computer Graphics and Vision, vol. 6, no. 3–4, Now Publishers, 2011, pp. 185–365, doi:10.1561/0600000033.
LibreCat: https://research-explorer.ista.ac.at/record/3320
DOI: 10.1561/0600000033

Jahnel, Marcus, et al. “Measuring the Complete Force Field of an Optical Trap.”10.1364/OL.36.001260__Optics Letters, vol. 36, no. 7, Optica Publishing Group, 2011, pp. 1260–62, doi:10.1364/OL.36.001260.
LibreCat: https://research-explorer.ista.ac.at/record/3373
DOI: 10.1364/OL.36.001260

de Vladar, Harold, and Nicholas H. Barton. “The Statistical Mechanics of a Polygenic Character under Stabilizing Selection Mutation and Drift.”10.1098/rsif.2010.0438__Journal of the Royal Society Interface, vol. 8, no. 58, The Royal Society, 2011, pp. 720–39, doi:10.1098/rsif.2010.0438.
LibreCat: https://research-explorer.ista.ac.at/record/3375
DOI: 10.1098/rsif.2010.0438
PMID: 21084341

Barton, Nicholas H., and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.”10.1086/661246__American Naturalist, vol. 178, no. 3, The University of Chicago Press, 2011, pp. –75, doi:10.1086/661246.
LibreCat: https://research-explorer.ista.ac.at/record/3393
DOI: 10.1086/661246

Blanc, Régis, et al. “ABC: Algebraic Bound Computation for Loops.”10.1007/978-3-642-17511-4_7__Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, vol. 6355, Springer Nature, 2010, pp. 103–18, doi: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, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets .”10.1186/1748-7188-5-37__Algorithms for Molecular Biology, vol. 5, no. 1, 37, BioMed Central, 2010, doi:10.1186/1748-7188-5-37.
LibreCat: https://research-explorer.ista.ac.at/record/2409
DOI: 10.1186/1748-7188-5-37

Weissman, Daniel, et al. “The Rate of Fitness-Valley Crossing in Sexual Populations.”10.1534/genetics.110.123240__Genetics, vol. 186, no. 4, Genetics Society of America, 2010, pp. 1389–410, doi:10.1534/genetics.110.123240.
LibreCat: https://research-explorer.ista.ac.at/record/3303
DOI: 10.1534/genetics.110.123240

Feret, Jérôme, et al. Lumpability Abstractions of Rule-Based Systems. Vol. 40, Open Publishing Association, 2010, pp. 142–61.
LibreCat: https://research-explorer.ista.ac.at/record/3719
arXiv: 1011.0496

Edelsbrunner, Herbert, et al. “The Stability of the Apparent Contour of an Orientable 2-Manifold.”10.1007/978-3-642-15014-2_3__Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42, doi: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

Guzmán, José, and Peter M. Jonas. “Beyond TARPs: The Growing List of Auxiliary AMPAR Subunits.”10.1016/j.neuron.2010.04.003__Neuron, vol. 66, no. 1, Elsevier, 2010, pp. 8–10, doi: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

Didier, Frédéric, et al. SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks. IEEE, 2010, pp. 193–94, doi:10.1109/QEST.2010.33.
LibreCat: https://research-explorer.ista.ac.at/record/3847
DOI: 10.1109/QEST.2010.33

Henzinger, Thomas A., et al. Aligators for Arrays. Vol. 6397, Springer, 2010, pp. 348–56, doi:10.1007/978-3-642-16242-8_25.
LibreCat: https://research-explorer.ista.ac.at/record/3845
DOI: 10.1007/978-3-642-16242-8_25

Didier, Frédéric, et al. “Fast Adaptive Uniformization of the Chemical Master Equation.”10.1049/iet-syb.2010.0005__IET Systems Biology, vol. 4, no. 6, Institution of Engineering and Technology, 2010, pp. 441–52, doi:10.1049/iet-syb.2010.0005.
LibreCat: https://research-explorer.ista.ac.at/record/3842
DOI: 10.1049/iet-syb.2010.0005

Chatterjee, Krishnendu, and Laurent Doyen. The Complexity of Partial-Observation Parity Games. Vol. 6397, Springer, 2010, pp. 1–14, doi:10.1007/978-3-642-16242-8_1.
LibreCat: https://research-explorer.ista.ac.at/record/3858
DOI: 10.1007/978-3-642-16242-8_1

Chatterjee, Krishnendu, et al. Randomness for Free. Vol. 6281, Springer, 2010, pp. 246–57, doi:10.1007/978-3-642-15155-2_23.
LibreCat: https://research-explorer.ista.ac.at/record/3856
DOI: 10.1007/978-3-642-15155-2_23

Bloem, Roderick, et al. Robustness in the Presence of Liveness. Edited by Tayssir Touili et al., vol. 6174, Springer, 2010, pp. 410–24, doi: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, et al. “Algorithms for Game Metrics.”10.2168/LMCS-6(3:13)2010__Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–27, doi:10.2168/LMCS-6(3:13)2010.
LibreCat: https://research-explorer.ista.ac.at/record/3868
DOI: 10.2168/LMCS-6(3:13)2010

Barton, Nicholas H., et al. “A New Model for Evolution in a Spatial Continuum.”10.1214/EJP.v15-741__Electronic Journal of Probability, vol. 15, no. 7, Institute of Mathematical Statistics, 2010, pp. 162–216, doi: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, editors. Handbuch Bibliothek 2.0. Vol. 41, De Gruyter, 2010, doi: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. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi: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

Barton, Nicholas H. “Genetic Linkage and Natural Selection.”10.1098/rstb.2010.0106__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552, Royal Society, 2010, pp. 2559–69, doi: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?”10.1098/rstb.2010.0001__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi: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.”10.1098/rstb.2009.0320__Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, Royal Society, 2010, pp. 1281–94, doi:10.1098/rstb.2009.0320.
LibreCat: https://research-explorer.ista.ac.at/record/3777
DOI: 10.1098/rstb.2009.0320
PMID: 20308104

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

Diz Muñoz, Alba, et al. “Control of Directed Cell Migration in Vivo by Membrane-to-Cortex Attachment.”10.1371/journal.pbio.1000544__PLoS Biology, vol. 8, no. 11, e1000544, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000544.
LibreCat: https://research-explorer.ista.ac.at/record/3790
DOI: 10.1371/journal.pbio.1000544

Nowozin, Sebastian, et al. On Parameter Learning in CRF-Based Approaches to Object Class Image Segmentation. Vol. 6316, Springer, 2010, pp. 98–111, doi: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

Palero, Ferran, et al. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.”10.3989/scimar.2010.74n3465__Scientia Marina, vol. 74, no. 3, Consejo Superior de Investigaciones Científicas, 2010, pp. 465–70, doi:10.3989/scimar.2010.74n3465.
LibreCat: https://research-explorer.ista.ac.at/record/3787
DOI: 10.3989/scimar.2010.74n3465

Wolf, Verena, et al. “Solving the Chemical Master Equation Using Sliding Windows.”10.1186/1752-0509-4-42__BMC Systems Biology, vol. 4, no. 42, BioMed Central, 2010, pp. 1–19, doi: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., et al. Invariant and Type Inference for Matrices. Vol. 5944, Springer, 2010, pp. 163–79, doi: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., et al. Hybrid Numerical Solution of the Chemical Master Equation. Springer, 2010, pp. 55–65, doi:10.1145/1839764.1839772.
LibreCat: https://research-explorer.ista.ac.at/record/3838
DOI: 10.1145/1839764.1839772

Chatterjee, Krishnendu, et al. Mean-Payoff Automaton Expressions. Vol. 6269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–83, doi: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, et al. Persistent Homology under Non-Uniform Error. Vol. 6281, Springer, 2010, pp. 12–23, doi: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, and Laurent Doyen. Energy Parity Games. Vol. 6199, Springer, 2010, pp. 599–610, doi: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

Chatterjee, Krishnendu, et al. Generalized Mean-Payoff and Energy Games. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–16, doi:10.4230/LIPIcs.FSTTCS.2010.505.
LibreCat: https://research-explorer.ista.ac.at/record/3860
DOI: 10.4230/LIPIcs.FSTTCS.2010.505

Chatterjee, Krishnendu, et al. Measuring and Synthesizing Systems in Probabilistic Environments. Vol. 6174, Springer, 2010, pp. 380–95, doi: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