Measuring the complete force field of an optical trap
M. Jahnel, M. Behrndt, A. Jannasch, E. Schaeffer, S. Grill, Optics Letters 36 (2011) 1260–1262.
LibreCat: https://research-explorer.ista.ac.at/record/3373
DOI: 10.1364/OL.36.001260

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

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

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

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

The rate of fitness-valley crossing in sexual populations
D. Weissman, M. Feldman, D. Fisher, Genetics 186 (2010) 1389–1410.
LibreCat: https://research-explorer.ista.ac.at/record/3303
DOI: 10.1534/genetics.110.123240

Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.
LibreCat: https://research-explorer.ista.ac.at/record/3719
arXiv: 1011.0496

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

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

SABRE: A tool for the stochastic analysis of biochemical reaction networks
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.
LibreCat: https://research-explorer.ista.ac.at/record/3847
DOI: 10.1109/QEST.2010.33

Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
LibreCat: https://research-explorer.ista.ac.at/record/3845
DOI: 10.1007/978-3-642-16242-8_25

Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
LibreCat: https://research-explorer.ista.ac.at/record/3842
DOI: 10.1049/iet-syb.2010.0005

The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
LibreCat: https://research-explorer.ista.ac.at/record/3858
DOI: 10.1007/978-3-642-16242-8_1

Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
LibreCat: https://research-explorer.ista.ac.at/record/3856
DOI: 10.1007/978-3-642-15155-2_23

Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
LibreCat: https://research-explorer.ista.ac.at/record/3866
DOI: 10.1007/978-3-642-14295-6_36

Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
LibreCat: https://research-explorer.ista.ac.at/record/3868
DOI: 10.2168/LMCS-6(3:13)2010

A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, eds., Handbuch Bibliothek 2.0, De Gruyter, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/4346
DOI: 10.1515/9783110232103

From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
LibreCat: https://research-explorer.ista.ac.at/record/4369
DOI: 10.1007/978-3-642-15297-9_13

Genetic linkage and natural selection
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
LibreCat: https://research-explorer.ista.ac.at/record/3776
DOI: 10.1098/rstb.2010.0106