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.
11081 Publications
2010 | Published | Journal Article | IST-REx-ID: 884
Rate of sequence divergence under constant selection
A. Kondrashov, I. Povolotskaya, D. Ivankov, F. Kondrashov, Biology Direct 5 (2010).
View
| DOI
A. Kondrashov, I. Povolotskaya, D. Ivankov, F. Kondrashov, Biology Direct 5 (2010).
2010 | Published | Journal Article | IST-REx-ID: 89
Generation of nanoparticles of controlled size using ultrasonic piezoelectric oscillators in solution
I. Wright, A.P. Higginbotham, S. Baker, T. Donnelly, ACS Applied Materials and Interfaces 2 (2010) 2360–2364.
View
| DOI
| PubMed | Europe PMC
I. Wright, A.P. Higginbotham, S. Baker, T. Donnelly, ACS Applied Materials and Interfaces 2 (2010) 2360–2364.
2010 | Published | Journal Article | IST-REx-ID: 891
The evolution of gene duplications: Classifying and distinguishing between models
H. Innan, F. Kondrashov, Nature Reviews Genetics 11 (2010) 97–108.
View
| DOI
H. Innan, F. Kondrashov, Nature Reviews Genetics 11 (2010) 97–108.
2010 | Published | Journal Article | IST-REx-ID: 901
Mitochondrial pathogenic mutations are population-specific
M. Breen, F. Kondrashov, Biology Direct 5 (2010).
View
| DOI
M. Breen, F. Kondrashov, Biology Direct 5 (2010).
2010 | Published | Journal Article | IST-REx-ID: 9012 | 
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 |
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: 9145
Ocean turbulence, III: New GISS vertical mixing scheme
V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.
View
| DOI
V.M. Canuto, A.M. Howard, Y. Cheng, C.J. Muller, A. Leboissetier, S.R. Jayne, Ocean Modelling 34 (2010) 70–91.
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 | Journal Article | IST-REx-ID: 920
Cell migration driven by cooperative substrate deformation patterns
T. Angelini, E.B. Hannezo, X. Trepat, J. Fredberg, D. Weitz, Physical Review Letters 104 (2010).
View
| DOI
T. Angelini, E.B. Hannezo, X. Trepat, J. Fredberg, D. Weitz, Physical Review Letters 104 (2010).
2010 | Published | Journal Article | IST-REx-ID: 9452
Genome-wide evolutionary analysis of eukaryotic DNA methylation
A. Zemach, I.E. McDaniel, P. Silva, D. Zilberman, Science 328 (2010) 916–919.
View
| DOI
| PubMed | Europe PMC
A. Zemach, I.E. McDaniel, P. Silva, D. Zilberman, Science 328 (2010) 916–919.
2010 | Published | Conference Paper | IST-REx-ID: 3853 |
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
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 | Conference Paper | IST-REx-ID: 4369 |
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
[Submitted Version]
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
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: 3866 |
Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
[Submitted Version]
View
| Files available
| DOI
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
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 | Book Chapter | IST-REx-ID: 4392
Quantitative Simulation Games
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
View
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Z. Manna, D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli, Springer, 2010, pp. 42–60.
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
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 | Technical Report | IST-REx-ID: 5388 |
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.