Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5055 Publications
2010 | Book (Editor) | IST-REx-ID: 4346 | 
Danowski, P., & Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter. https://doi.org/10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
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
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3776 |
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
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3773 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3777 |
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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3772 |
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000987
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3790 |
Diz Muñoz, A., Krieg, M., Bergert, M., Ibarlucea Benitez, I., Müller, D., Paluch, E., & Heisenberg, C.-P. J. (2010). Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000544
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3793 |
Nowozin, S., Gehler, P., & Lampert, C. (2010). On parameter learning in CRF-based approaches to object class image segmentation (Vol. 6316, pp. 98–111). Presented at the ECCV: European Conference on Computer Vision, Heraklion, Crete, Greece: Springer. https://doi.org/10.1007/978-3-642-15567-3_8
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3789
Quesada-Hernández, E., Caneparo, L., Schneider, S., Winkler, S., Liebling, M., Fraser, S., & Heisenberg, C.-P. J. (2010). Stereotypical cell division orientation controls neural rod midline formation in zebrafish. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2010.10.009
View
| DOI
2010 | Journal Article | IST-REx-ID: 3787 |
Palero, F., Hall, S., Clark, P., Johnston, D., Mackenzie Dodds, J., & Thatje, S. (2010). DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. Consejo Superior de Investigaciones Científicas. https://doi.org/10.3989/scimar.2010.74n3465
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Journal Article | IST-REx-ID: 3788
Klopper, A., Krens, G., Grill, S., & Heisenberg, C.-P. J. (2010). Finite-size corrections to scaling behavior in sorted cell aggregates. The European Physical Journal E: Soft Matter and Biological Physics. Springer. https://doi.org/10.1140/epje/i2010-10642-y
View
| DOI
2010 | Journal Article | IST-REx-ID: 3786
Palero, F., Guerao, G., Clark, P., & Abello, P. (2010). Final-stage phyllosoma of Palinustus A. Milne-Edwards, 1880 (Crustacea: Decapoda: Achelata: Palinuridae)-The first complete description. Zootaxa. Magnolia Press. https://doi.org/10.11646/zootaxa.2403.1.4
View
| DOI
2010 | Journal Article | IST-REx-ID: 3834 |
Wolf, V., Goel, R., Mateescu, M., & Henzinger, T. A. (2010). Solving the chemical master equation using sliding windows. BMC Systems Biology. BioMed Central. https://doi.org/10.1186/1752-0509-4-42
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3840
Henzinger, T. A. (2010). From boolean to quantitative notions of correctness (Vol. 45, pp. 157–158). Presented at the POPL: Principles of Programming Languages, Madrid, Spain: ACM. https://doi.org/10.1145/1706299.1706319
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3839 |
Henzinger, T. A., Hottelier, T., Kovács, L., & Voronkov, A. (2010). Invariant and type inference for matrices (Vol. 5944, pp. 163–179). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_14
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3838 |
Henzinger, T. A., Mateescu, M., Mikeev, L., & Wolf, V. (2010). Hybrid numerical solution of the chemical master equation (pp. 55–65). Presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy: Springer. https://doi.org/10.1145/1839764.1839772
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3853 |
Chatterjee, K., Doyen, L., Edelsbrunner, H., Henzinger, T. A., & Rannou, P. (2010). Mean-payoff automaton expressions (Vol. 6269, pp. 269–283). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_19
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3849 |
Bendich, P., Edelsbrunner, H., Kerber, M., & Patel, A. (2010). Persistent homology under non-uniform error (Vol. 6281, pp. 12–23). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-15155-2_2
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3854
Chatterjee, K., Horn, F., & Löding, C. (2010). Obliging games (Vol. 6269, pp. 284–296). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_20
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3851 |
Chatterjee, K., & Doyen, L. (2010). Energy parity games (Vol. 6199, pp. 599–610). Presented at the ICALP: Automata, Languages and Programming, 37th International Colloquium, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-642-14162-1_50
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2010 | Conference Paper | IST-REx-ID: 3850
Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2010). Polygonal reconstruction from approximate offsets (pp. 12–23). Presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany: TU Dortmund.
View
2010 | Conference Paper | IST-REx-ID: 3860 |
Chatterjee, K., Doyen, L., Henzinger, T. A., & Raskin, J. (2010). Generalized mean-payoff and energy games (Vol. 8, pp. 505–516). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3864 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2010). Measuring and synthesizing systems in probabilistic environments (Vol. 6174, pp. 380–395). Presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-642-14295-6_34
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, K., De Alfaro, L., Raman, V., & Sánchez, C. (2010). Analyzing the impact of change in multi-threaded programs. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 293–307). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_21
View
| DOI
2010 | Journal Article | IST-REx-ID: 3863 |
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2010). Strategy construction for parity games with imperfect information. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2009.09.006
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3861 |
Chatterjee, K., Henzinger, T. A., & Piterman, N. (2010). Strategy logic. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2009.07.004
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3901 |
Bendich, P., Edelsbrunner, H., & Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2010.139
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 4157 |
Papusheva, E., & Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2010.182
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Book Chapter | IST-REx-ID: 4339 |
Bergmann, J., & Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann & P. Danowski (Eds.), Handbuch Bibliothek 2.0 (pp. 5–20). De Gruyter. https://doi.org/10.1515/9783110232103
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4362
Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, … G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer. https://doi.org/10.1007/978-3-642-16612-9_32
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4378 |
Kuncak, V., Piskac, R., Suter, P., & Wies, T. (2010). Building a calculus of data structures. In G. Barthe & M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4381 |
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4382 |
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4380 |
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM. https://doi.org/10.1145/1879021.1879022
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4389 |
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
[Submitted Version]
View
| Files available
| DOI
2010 | Book Chapter | IST-REx-ID: 4392
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna & D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer. https://doi.org/10.1007/978-3-642-13754-9_3
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4396 |
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 474
Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2010.01019.x
View
| DOI
2010 | Conference Paper | IST-REx-ID: 488 |
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? . In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4393 |
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
[Submitted Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5388 |
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5389 |
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4390 |
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4388 |
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Technical Report | IST-REx-ID: 5391 |
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5390 |
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI