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.
1624 Publications
2010 |Published| 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 |Published| 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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 4395
Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View
| DOI
2010 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| Conference Paper | IST-REx-ID: 3857
Chatterjee, K., & Henzinger, T. A. (2010). Probabilistic Automata on infinite words: decidability and undecidability results (Vol. 6252, pp. 1–16). Presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore: Springer. https://doi.org/10.1007/978-3-642-15643-4_1
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3855 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Qualitative analysis of partially-observable Markov Decision Processes (Vol. 6281, pp. 258–269). Presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic: Springer. 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, G., Kazlov, I., & Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. 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., Safarik, D. J., Modic, K. A., Gubernatis, J. E., Cooley, J. C., Taylor, R. D., … Lashley, J. C. (2010). Tin telluride: A weakly co-elastic metal. Physical Review B. APS. https://doi.org/10.1103/physrevb.82.184112
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Conference Paper | IST-REx-ID: 754
Alistarh, D.-A., Attiya, H., Gilbert, S., Giurgiu, A., & Guerraoui, R. (2010). Fast randomized test-and-set and renaming (Vol. 6343 LNCS, pp. 94–108). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-642-15763-9_9
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 755
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Zadimoghaddam, M. (2010). How efficient can gossip be? (On the cost of resilient information exchange) (Vol. 6199 LNCS, pp. 115–126). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-14162-1_10
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 758
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2010). Brief announcement: New bounds for partially synchronous set agreement (Vol. 6343 LNCS, pp. 404–405). Presented at the DISC: Distributed Computing, Springer. 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., & Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing. 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, B. R., & Kaloshin, V. (2010). Prevalence. In Handbook of Dynamical Systems (Vol. 3, pp. 43–87). Elsevier. https://doi.org/10.1016/s1874-575x(10)00310-3
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 862
Meer, M., Kondrashov, A., Artzy Randrup, Y., & Kondrashov, F. (2010). Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08691
View
| DOI
2010 |Published| 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. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4361 |
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
[Submitted Version]
View
| Files available
| DOI