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.
5859 Publications
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: 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| 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: 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| Journal Article | IST-REx-ID: 7078 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 9012 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Colloidal motility and pattern formation under rectified diffusiophoresis
J.A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 104 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
J.A. Palacci, B. Abécassis, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 104 (2010).
2010 |Published| Journal Article | IST-REx-ID: 9013 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Sedimentation and effective temperature of active colloidal suspensions
J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 105 (2010).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
J.A. Palacci, C. Cottin-Bizonne, C. Ybert, L. Bocquet, Physical Review Letters 105 (2010).
2010 |Published| Journal Article | IST-REx-ID: 9146 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 9485 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Local DNA hypomethylation activates genes in rice endosperm
A. Zemach, M.Y. Kim, P. Silva, J.A. Rodrigues, B. Dotson, M.D. Brooks, D. Zilberman, Proceedings of the National Academy of Sciences 107 (2010) 18729–18734.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Zemach, M.Y. Kim, P. Silva, J.A. Rodrigues, B. Dotson, M.D. Brooks, D. Zilberman, Proceedings of the National Academy of Sciences 107 (2010) 18729–18734.
2010 |Published| Journal Article | IST-REx-ID: 9489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Evolution of eukaryotic DNA methylation and the pursuit of safer sex
A. Zemach, D. Zilberman, Current Biology 20 (2010) R780–R785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Zemach, D. Zilberman, Current Biology 20 (2010) R780–R785.
2010 |Published| Journal Article | IST-REx-ID: 3779 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Journal Article | IST-REx-ID: 13409 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Immobilized azobenzenes for the construction of photoresponsive materials
R. Klajn, Pure and Applied Chemistry 82 (2010) 2247–2279.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Klajn, Pure and Applied Chemistry 82 (2010) 2247–2279.
2010 |Published| Conference Paper | IST-REx-ID: 3852 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.