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.
1621 Publications
2010 |Published| Conference Paper | IST-REx-ID: 4395
Burckhardt, Sebastian, Madanlal Musuvathi, and Vasu Singh. “Verifying Local Transformations on Relaxed Memory Models.” edited by Rajiv Gupta, 6011:104–23. Springer, 2010. https://doi.org/10.1007/978-3-642-11970-5_7.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3867 | 
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
[Published Version]
View
| Files available
| 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: 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| Conference Paper | IST-REx-ID: 4388 |
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_57.
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Automata on Infinite Words: Decidability and Undecidability Results,” 6252:1–16. Springer, 2010. https://doi.org/10.1007/978-3-642-15643-4_1.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3855 |
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,” 6281:258–69. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_24.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Book Chapter | IST-REx-ID: 5940
Juhás, Gabriel, Igor Kazlov, and Ana Juhásová. “Instance Deadlock: A Mystery behind Frozen Programs.” In Applications and Theory of Petri Nets, 1–17. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. https://doi.org/10.1007/978-3-642-13675-7_1.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 7078 |
Salje, E. K. H., D. J. Safarik, Kimberly A Modic, J. E. Gubernatis, J. C. Cooley, R. D. Taylor, B. Mihaila, et al. “Tin Telluride: A Weakly Co-Elastic Metal.” Physical Review B. APS, 2010. https://doi.org/10.1103/physrevb.82.184112.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 754
Alistarh, Dan-Adrian, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, and Rachid Guerraoui. “Fast Randomized Test-and-Set and Renaming,” 6343 LNCS:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_9.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 755
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Morteza Zadimoghaddam. “How Efficient Can Gossip Be? (On the Cost of Resilient Information Exchange),” 6199 LNCS:115–26. Springer, 2010. https://doi.org/10.1007/978-3-642-14162-1_10.
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 758
Alistarh, Dan-Adrian, Seth Gilbert, Rachid Guerraoui, and Corentin Travers. “Brief Announcement: New Bounds for Partially Synchronous Set Agreement,” 6343 LNCS:404–5. Springer, 2010. https://doi.org/10.1007/978-3-642-15763-9_40.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9146 |
O’Gorman, P A, and Caroline J Muller. “How Closely Do Changes in Surface and Column Water Vapor Follow Clausius–Clapeyron Scaling in Climate Change Simulations?” Environmental Research Letters. IOP Publishing, 2010. https://doi.org/10.1088/1748-9326/5/2/025207.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Book Chapter | IST-REx-ID: 8506
Hunt, Brian R., and Vadim Kaloshin. “Prevalence.” In Handbook of Dynamical Systems, 3:43–87. Elsevier, 2010. https://doi.org/10.1016/s1874-575x(10)00310-3.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 862
Meer, Margarita, Alexey Kondrashov, Yael Artzy Randrup, and Fyodor Kondrashov. “Compensatory Evolution in Mitochondrial TRNAs Navigates Valleys of Low Fitness.” Nature. Nature Publishing Group, 2010. https://doi.org/10.1038/nature08691.
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3779 |
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology. Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000429.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4361 |
Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.” edited by Luke Ong, 6014:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-12032-9_8.
[Submitted Version]
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
2009 |Published| Journal Article | IST-REx-ID: 111
Royer, John, Daniel Evans, Loreto Oyarte, Qiti Guo, Eliot Kapit, Matthias Möbius, Scott R Waitukaitis, and Heinrich Jaeger. “High-Speed Tracking of Rupture and Clustering in Freely Falling Granular Streams.” Nature. Nature Publishing Group, 2009. https://doi.org/10.1038/nature08115.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 11799
Dütting, Paul, Monika H Henzinger, and Ingmar Weber. “Bidder Optimal Assignments for General Utilities.” In 5th International Workshop on Internet and Network Economics, 5929:575–82. Springer Nature, 2009. https://doi.org/10.1007/978-3-642-10841-9_58.
View
| Files available
| DOI