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.
1850 Publications
2010 |Published| Journal Article | IST-REx-ID: 3867 | 
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
2010 |Published| Conference Paper | IST-REx-ID: 4393 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
2010 |Published| Conference Paper | IST-REx-ID: 4390 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
[Submitted Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
2010 |Published| Conference Paper | IST-REx-ID: 4388 |
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
2010 |Published| Conference Paper | IST-REx-ID: 3857
Probabilistic Automata on infinite words: decidability and undecidability results
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, in:, Springer, 2010, pp. 1–16.
2010 |Published| Conference Paper | IST-REx-ID: 3855 |
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
2010 |Published| Book Chapter | IST-REx-ID: 5940
Instance Deadlock: A Mystery behind Frozen Programs
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
View
| DOI
G. Juhás, I. Kazlov, A. Juhásová, in:, Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 1–17.
2010 |Published| Journal Article | IST-REx-ID: 7078 |
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
2010 |Published| Conference Paper | IST-REx-ID: 754
Fast randomized test-and-set and renaming
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
View
| DOI
D.-A. Alistarh, H. Attiya, S. Gilbert, A. Giurgiu, R. Guerraoui, in:, Springer, 2010, pp. 94–108.
2010 |Published| Conference Paper | IST-REx-ID: 755
How efficient can gossip be? (On the cost of resilient information exchange)
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, M. Zadimoghaddam, in:, Springer, 2010, pp. 115–126.
2010 |Published| Conference Paper | IST-REx-ID: 758
Brief announcement: New bounds for partially synchronous set agreement
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
View
| DOI
D.-A. Alistarh, S. Gilbert, R. Guerraoui, C. Travers, in:, Springer, 2010, pp. 404–405.
2010 |Published| Journal Article | IST-REx-ID: 9146 |
How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations?
P.A. O’Gorman, C.J. Muller, Environmental Research Letters 5 (2010).
[Published Version]
View
| DOI
| Download Published Version (ext.)
P.A. O’Gorman, C.J. Muller, Environmental Research Letters 5 (2010).
2010 |Published| Book Chapter | IST-REx-ID: 8506
Prevalence
B.R. Hunt, V. Kaloshin, in:, Handbook of Dynamical Systems, Elsevier, 2010, pp. 43–87.
View
| DOI
B.R. Hunt, V. Kaloshin, in:, Handbook of Dynamical Systems, Elsevier, 2010, pp. 43–87.
2010 |Published| Journal Article | IST-REx-ID: 862
Compensatory evolution in mitochondrial tRNAs navigates valleys of low fitness
M. Meer, A. Kondrashov, Y. Artzy Randrup, F. Kondrashov, Nature 464 (2010) 279–282.
View
| DOI
M. Meer, A. Kondrashov, Y. Artzy Randrup, F. Kondrashov, Nature 464 (2010) 279–282.
2010 |Published| Journal Article | IST-REx-ID: 3779 |
Cryptic variation between species and the basis of hybrid performance
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
[Published Version]
View
| Files available
| DOI
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
2010 |Published| Conference Paper | IST-REx-ID: 4361 |
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
[Submitted Version]
View
| Files available
| DOI
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
2010 |Published| Book Chapter | IST-REx-ID: 14983
Adaptive Methods in BCI Research - An Introductory Tutorial
A. Schlögl, C. Vidaurre, K.-R. Müller, in:, B. Graimann, G. Pfurtscheller, B. Allison (Eds.), Brain-Computer Interfaces, 1st ed., Springer, Berlin, Heidelberg, 2010, pp. 331–355.
View
| DOI
A. Schlögl, C. Vidaurre, K.-R. Müller, in:, B. Graimann, G. Pfurtscheller, B. Allison (Eds.), Brain-Computer Interfaces, 1st ed., Springer, Berlin, Heidelberg, 2010, pp. 331–355.
2009 |Published| Journal Article | IST-REx-ID: 111
High-speed tracking of rupture and clustering in freely falling granular streams
J. Royer, D. Evans, L. Oyarte, Q. Guo, E. Kapit, M. Möbius, S.R. Waitukaitis, H. Jaeger, Nature 459 (2009) 1110–1113.
View
| DOI
J. Royer, D. Evans, L. Oyarte, Q. Guo, E. Kapit, M. Möbius, S.R. Waitukaitis, H. Jaeger, Nature 459 (2009) 1110–1113.
2009 |Published| Conference Paper | IST-REx-ID: 11799
Bidder optimal assignments for general utilities
P. Dütting, M.H. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.
View
| Files available
| DOI
P. Dütting, M.H. Henzinger, I. Weber, in:, 5th International Workshop on Internet and Network Economics, Springer Nature, 2009, pp. 575–582.
2009 |Published| Conference Paper | IST-REx-ID: 11912 |
A comparison of techniques for sampling web pages
Eda Baykan, M.H. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
Eda Baykan, M.H. Henzinger, S.F. Keller, S. de Castelberg, M. Kinzler, in:, 26th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2009, pp. 13–30.