Please note that ISTA 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.
5267 Publications
2010 | Published | Conference Paper | IST-REx-ID: 4389 | 
Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,” 77–84. IEEE, 2010. https://doi.org/10.1109/ACSD.2010.26.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4390 |
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. “Model Checking of Linearizability of Concurrent List Implementations,” 6174:465–79. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_41.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4393 |
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,” 6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_18.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 474
Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1558-5646.2010.01019.x.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies? .” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-010-0102-0.
View
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5388 |
Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0004.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5389 |
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0002.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0001.
[Published Version]
View
| Files available
| DOI
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Heterosis and the Drift Load.” Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000429.s003.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.” In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010. https://doi.org/10.1007/978-3-642-17511-4_7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, 1594–1604. Society for Industrial and Applied Mathematics, 2010. https://doi.org/10.1137/1.9781611973075.129.
View
| Files available
| DOI
2010 | Published | Book Chapter | IST-REx-ID: 14983
Schlögl, Alois, Carmen Vidaurre, and Klaus-Robert Müller. “Adaptive Methods in BCI Research - An Introductory Tutorial.” In Brain-Computer Interfaces, edited by Bernhard Graimann, Gert Pfurtscheller, and Brendan Allison, 1st ed., 331–55. FRONTCOLL. Berlin, Heidelberg: Springer, 2010. https://doi.org/10.1007/978-3-642-02091-9_18.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3303 |
Weissman, Daniel, Marcus Feldman, and Daniel Fisher. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics. Genetics Society of America, 2010. https://doi.org/10.1534/genetics.110.123240.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., C. Gonano, E. Nemecek, Lisa Cichocki, and C. Schueller Weidekamm. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.” Knee Surgery, Sports Traumatology, Arthroscopy. Springer, 2010. https://doi.org/10.1007/s00167-010-1227-9.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3604
Senn, Helen, Simon Goodman, Graeme Swanson, Nicholas H Barton, and Josephine Pemberton. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.” Molecular Ecology. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1365-294X.2009.04497.x.
View
| DOI