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
Kondrashov, Alexey, Inna Povolotskaya, Dmitry Ivankov, and Fyodor Kondrashov. “Rate of Sequence Divergence under Constant Selection.” Biology Direct. BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-5.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 89
Wright, Ian, Andrew P Higginbotham, Shenda Baker, and Tom Donnelly. “Generation of Nanoparticles of Controlled Size Using Ultrasonic Piezoelectric Oscillators in Solution.” ACS Applied Materials and Interfaces. American Chemical Society, 2010. https://doi.org/10.1021/am100375w.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 891
Innan, Hideki, and Fyodor Kondrashov. “The Evolution of Gene Duplications: Classifying and Distinguishing between Models.” Nature Reviews Genetics. Nature Publishing Group, 2010. https://doi.org/10.1038/nrg2689.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 901
Breen, Michael, and Fyodor Kondrashov. “Mitochondrial Pathogenic Mutations Are Population-Specific.” Biology Direct. BioMed Central, 2010. https://doi.org/10.1186/1745-6150-5-68.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9012 | OA
Palacci, Jérémie A, Benjamin Abécassis, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Colloidal Motility and Pattern Formation under Rectified Diffusiophoresis.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/physrevlett.104.138302.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 9013 | OA
Palacci, Jérémie A, Cécile Cottin-Bizonne, Christophe Ybert, and Lydéric Bocquet. “Sedimentation and Effective Temperature of Active Colloidal Suspensions.” Physical Review Letters. American Physical Society , 2010. https://doi.org/10.1103/physrevlett.105.088304.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 9145
Canuto, V.M., A.M. Howard, Y. Cheng, Caroline J Muller, A. Leboissetier, and S.R. Jayne. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” Ocean Modelling. Elsevier, 2010. https://doi.org/10.1016/j.ocemod.2010.04.006.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9146 | OA
O’Gorman, P A, and Caroline J Muller. “How Closely Do Changes in Surface and Column Water Vapor Follow Clausius–Clapeyron Scaling in Climate Change Simulations?” Environmental Research Letters. IOP Publishing, 2010. https://doi.org/10.1088/1748-9326/5/2/025207.
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 920
Angelini, Thomas, Edouard B Hannezo, Xavier Trepat, Jeffrey Fredberg, and David Weitz. “Cell Migration Driven by Cooperative Substrate Deformation Patterns.” Physical Review Letters. American Physical Society, 2010. https://doi.org/10.1103/PhysRevLett.104.168104.
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9452
Zemach, Assaf , Ivy E. McDaniel, Pedro Silva, and Daniel Zilberman. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.” Science. American Association for the Advancement of Science, 2010. https://doi.org/10.1126/science.1186366.
View | DOI | PubMed | Europe PMC
 

2010 | Published | Conference Paper | IST-REx-ID: 3853 | OA
Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,” 6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.1007/978-3-642-15375-4_19.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3855 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,” 6281:258–69. Springer, 2010. https://doi.org/10.1007/978-3-642-15155-2_24.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, Dejan, and Nir Piterman. “From MTL to Deterministic Timed Automata.” edited by Thomas A. Henzinger and Krishnendu Chatterjee, 6246:152–67. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9_13.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3857
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Automata on Infinite Words: Decidability and Undecidability Results,” 6252:1–16. Springer, 2010. https://doi.org/10.1007/978-3-642-15643-4_1.
View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 3866 | OA
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.” edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_36.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,” 6174:665–69. Springer, 2010. https://doi.org/10.1007/978-3-642-14295-6_57.
[Submitted Version] View | Files available | DOI | arXiv
 

2010 | Published | Book Chapter | IST-REx-ID: 4392
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.” In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010. https://doi.org/10.1007/978-3-642-13754-9_3.
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.” edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010. https://doi.org/10.1007/978-3-642-12029-9_19.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4361 | OA
Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.” edited by Luke Ong, 6014:94–108. Springer, 2010. https://doi.org/10.1007/978-3-642-12032-9_8.
[Submitted Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0004.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed