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.
6985 Publications
2010 |Published| Journal Article | IST-REx-ID: 3867 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 474
A new model for extinction and recolonization in two dimensions: Quantifying phylogeography
N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
View
| DOI
N.H. Barton, J. Kelleher, A. Etheridge, Evolution 64 (2010) 2701–2715.
2010 |Published| Conference Paper | IST-REx-ID: 488 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
[Published Version]
View
| Files available
| DOI
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
2010 |Published| Conference Paper | IST-REx-ID: 489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
2010 |Published| Journal Article | IST-REx-ID: 533
Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
View
| DOI
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
2010 |Published| Conference Paper | IST-REx-ID: 4393 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Technical Report | IST-REx-ID: 5388 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
2010 |Published| Technical Report | IST-REx-ID: 5389 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
2010 |Published| Conference Paper | IST-REx-ID: 4390 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Technical Report | IST-REx-ID: 5391 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 |Published| Technical Report | IST-REx-ID: 5390 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 598 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View
| DOI
| Download None (ext.)
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
2010 |Published| Journal Article | IST-REx-ID: 6142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
2010 |Published| Journal Article | IST-REx-ID: 6198
Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
View
| DOI
| PubMed | Europe PMC
L. Zhou, F. Li, H. Xu, C. Luo, H. Wu, M. Zhu, W. Lu, X. Ji, Q. Zhou, D. Zhu, Nature Medicine 16 (2010) 1439–1443.
2010 |Published| Journal Article | IST-REx-ID: 6320 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Le problème des diviseurs pour des formes binaires de degré 4
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
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.