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

Jonas, P. M., &; Hefft, S. (2010). GABA release at terminals of CCK-interneurons: synchrony, asynchrony and modulation by cannabinoid receptors (commentary on Ali &;amp; Todorova). The European Journal of Neuroscience. Wiley-Blackwell.https://doi.org/10.1111/j.1460-9568.2010.07189.x 
LibreCat: https://research-explorer.ista.ac.at/record/3833
DOI: 10.1111/j.1460-9568.2010.07189.x

Didier, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2010). SABRE: A tool for the stochastic analysis of biochemical reaction networks (pp. 193–194). Presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA: IEEE.https://doi.org/10.1109/QEST.2010.33 
LibreCat: https://research-explorer.ista.ac.at/record/3847
DOI: 10.1109/QEST.2010.33

Henzinger, T. A., Hottelier, T., Kovács, L., &; Rybalchenko, A. (2010). Aligators for arrays (Vol. 6397, pp. 348–356). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer.https://doi.org/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, F., Henzinger, T. A., Mateescu, M., &; Wolf, V. (2010). Fast adaptive uniformization of the chemical master equation. IET Systems Biology. Institution of Engineering and Technology.https://doi.org/10.1049/iet-syb.2010.0005 
LibreCat: https://research-explorer.ista.ac.at/record/3842
DOI: 10.1049/iet-syb.2010.0005

Bendich, P., Edelsbrunner, H., Morozov, D., &; Patel, A. (2010). The robustness of level sets (Vol. 6346, pp. 1–10). Presented at the ESA: European Symposium on Algorithms, Liverpool, UK: Springer.https://doi.org/10.1007/978-3-642-15775-2_1 
LibreCat: https://research-explorer.ista.ac.at/record/3848
DOI: 10.1007/978-3-642-15775-2_1

Chatterjee, K., &; Doyen, L. (2010). The complexity of partial-observation parity games (Vol. 6397, pp. 1–14). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Yogyakarta, Indonesia: Springer.https://doi.org/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, K., Doyen, L., Gimbert, H., &; Henzinger, T. A. (2010). Randomness for free (Vol. 6281, pp. 246–257). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer.https://doi.org/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

Chatterjee, K., &; Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer.https://doi.org/10.1007/978-3-642-15297-9 
LibreCat: https://research-explorer.ista.ac.at/record/3859
DOI: 10.1007/978-3-642-15297-9

Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., &; Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, &; P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer.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, K., De Alfaro, L., Majumdar, R., &; Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic.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, J., Polechova, J., Kawata, M., &; Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. Wiley-Blackwell.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, N. H., Etheridge, A., &; Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability. Institute of Mathematical Statistics.https://doi.org/10.1214/EJP.v15-741 
LibreCat: https://research-explorer.ista.ac.at/record/4243
DOI: 10.1214/EJP.v15-741

Nickovic, D., &; Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger &; K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer.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

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

Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.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, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society.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