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.

11357 Publications


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 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, Assaf, M. Yvonne Kim, Pedro Silva, Jessica A. Rodrigues, Bradley Dotson, Matthew D. Brooks, and Daniel Zilberman. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2010. https://doi.org/10.1073/pnas.1009695107.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 9489 | OA
Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology. Elsevier, 2010. https://doi.org/10.1016/j.cub.2010.07.007.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Research Data Reference | IST-REx-ID: 9764
Rosas, Ulises, Nicholas H Barton, Lucy Copsey, Pierre Barbier De Reuille, and Enrico Coen. “Heterosis and the Drift Load.” Public Library of Science, 2010. https://doi.org/10.1371/journal.pbio.1000429.s003.
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 474
Barton, Nicholas H, Jerome Kelleher, and Alison Etheridge. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution. Wiley-Blackwell, 2010. https://doi.org/10.1111/j.1558-5646.2010.01019.x.
View | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. “Expressiveness of Streaming String Transducers,” 8:1–12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version] View | Files available | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, Claire David, and Florian Horn. “How Do We Remember the Past in Randomised Strategies?” In Proceedings of GandALF 2010, 25:30–39. Open Publishing Association, 2010. https://doi.org/10.4204/EPTCS.25.7.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-010-0102-0.
View | DOI | WoS
 

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
 

2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0003.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0002.
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Cerny, Pavol, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010. https://doi.org/10.15479/AT:IST-2010-0001.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed