en
Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
1545 Publications
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
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
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 4243
Barton, N. H., Etheridge, A., & Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability, 15(7), 162–216. https://doi.org/10.1214/EJP.v15-741
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
View
| Files available
| DOI
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
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3719
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
View
| Files available
| arXiv
2010 | Journal Article | IST-REx-ID: 3772
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics, 6(6), e1000987. https://doi.org/10.1371/journal.pgen.1000987
View
| Files available
| DOI
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, 365(1544), 1281–1294. https://doi.org/10.1098/rstb.2009.0320
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3847
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
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3866
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
View
| Files available
| DOI
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
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, 365(1547), 1825–1840. https://doi.org/10.1098/rstb.2010.0001
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
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, 16(6), 1251–1260. https://doi.org/10.1109/TVCG.2010.139
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 4346
Danowski, P., & Bergmann, J. (2010). Handbuch Bibliothek 2.0. De Gruyter.
View
| Download (ext.)
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
View
| Files available
| 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
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
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 2409
Kupczok, A., Schmidt, H., & Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology, 5(1), 37. https://doi.org/10.1186/1748-7188-5-37
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3779
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology, 8(7), e1000429. https://doi.org/10.1371/journal.pbio.1000429
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
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3856
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
View
| Files available
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3868
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science, 6(3), 1–27. https://doi.org/10.2168/LMCS-6(3:13)2010
View
| Files available
| 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
View
| DOI
| Download (ext.)
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
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
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
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
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3832
Guzmán, J., & Jonas, P. M. (2010). Beyond TARPs: The growing list of auxiliary AMPAR subunits. Neuron, 66(1), 8–10. https://doi.org/10.1016/j.neuron.2010.04.003
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
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, 29(16), 2753–2768. https://doi.org/10.1038/emboj.2010.182
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 3775
Barton, N. H., & Coe, J. (2009). On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology, 259(2), 317–324. https://doi.org/10.1016/j.jtbi.2009.03.019
View
| DOI
| Download (ext.)
2009 | Conference Paper | IST-REx-ID: 3871
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Probabilistic weighted automata (Vol. 5710, pp. 244–258). Presented at the CONCUR: Concurrency Theory, Bologna, Italy: Springer. https://doi.org/10.1007/978-3-642-04081-8_17
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4242
Barton, N. H., & De Cara, M. (2009). The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution, 63(5), 1171–1190. https://doi.org/10.1111/j.1558-5646.2009.00622.x
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4569
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
View
| DOI
| Download (ext.)
| arXiv
2009 | Conference Paper | IST-REx-ID: 3841
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2009). Formalisms for specifying Markovian population models (Vol. 5797, pp. 3–23). Presented at the RP: Reachability Problems, Palaiseau, France: Springer. https://doi.org/10.1007/978-3-642-04420-5_2
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4542
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5393
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3780
Davison, A., Barton, N. H., & Clarke, B. (2009). 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. Journal of Evolutionary Biology, 22(8), 1624–1635. https://doi.org/10.1111/j.1420-9101.2009.01770.x
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3968
Edelsbrunner, H., & Harer, J. (2009). The persistent Morse complex segmentation of a 3-manifold (Vol. 5903, pp. 36–50). Presented at the 3DPH: Modelling the Physiological Human, Zermatt, Switzerland: Springer. https://doi.org/10.1007/978-3-642-10470-1_4
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3837
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3844
Henzinger, T. A., Kirsch, C., Marques, E., & Sokolova, A. (2009). Distributed, modular HTL (pp. 171–180). Presented at the RTSS: Real-Time Systems Symposium, Washington, DC, United States: IEEE. https://doi.org/10.1109/RTSS.2009.9
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL), 11(1). https://doi.org/10.1145/1614431.1614432
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
View
| Files available
| DOI