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: 9145
Canuto, V. M., et al. “Ocean Turbulence, III: New GISS Vertical Mixing Scheme.” Ocean Modelling, vol. 34, no. 3–4, Elsevier, 2010, pp. 70–91, doi:10.1016/j.ocemod.2010.04.006.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 9146 |
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, vol. 5, no. 2, 025207, IOP Publishing, 2010, doi: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, et al. “Cell Migration Driven by Cooperative Substrate Deformation Patterns.” Physical Review Letters, vol. 104, no. 16, American Physical Society, 2010, doi:10.1103/PhysRevLett.104.168104.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 9452
Zemach, Assaf, et al. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.” Science, vol. 328, no. 5980, American Association for the Advancement of Science, 2010, pp. 916–19, doi:10.1126/science.1186366.
View
| DOI
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 9485 |
Zemach, Assaf, et al. “Local DNA Hypomethylation Activates Genes in Rice Endosperm.” Proceedings of the National Academy of Sciences, vol. 107, no. 43, National Academy of Sciences, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 |
Published |
Journal Article |
IST-REx-ID: 9489 |
Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology, vol. 20, no. 17, Elsevier, 2010, pp. R780–85, doi: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, et al. Heterosis and the Drift Load. Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.s003.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 474
Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
View
| DOI
| WoS
2010 |
Published |
Conference Paper |
IST-REx-ID: 488 |
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
[Published Version]
View
| Files available
| DOI
| WoS
2010 |
Published |
Conference Paper |
IST-REx-ID: 489 |
Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies?” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2010 |
Published |
Journal Article |
IST-REx-ID: 533
Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
View
| DOI
| WoS
2010 |
Published |
Technical Report |
IST-REx-ID: 5388 |
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5389 |
Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5390 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Technical Report |
IST-REx-ID: 5391 |
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
[Published Version]
View
| Files available
| DOI
2010 |
Published |
Book Chapter |
IST-REx-ID: 5940
Juhás, Gabriel, et al. “Instance Deadlock: A Mystery behind Frozen Programs.” Applications and Theory of Petri Nets, Springer Berlin Heidelberg, 2010, pp. 1–17, doi:10.1007/978-3-642-13675-7_1.
View
| DOI
2010 |
Published |
Journal Article |
IST-REx-ID: 598 |
Meyer, Krista, et al. “P53 Activates Transcription by Directing Structural Shifts in Mediator.” Nature Structural and Molecular Biology, vol. 17, no. 6, Nature Publishing Group, 2010, pp. 753–60, doi:10.1038/nsmb.1816.
View
| DOI
| Download None (ext.)
2010 |
Published |
Journal Article |
IST-REx-ID: 6142 |
Weber, Katherine P., et al. “Whole Genome Sequencing Highlights Genetic Changes Associated with Laboratory Domestication of C. Elegans.” PLoS ONE, vol. 5, no. 11, e13922, Public Library of Science, 2010, doi:10.1371/journal.pone.0013922.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 |
Published |
Book Chapter |
IST-REx-ID: 619
Zacharasiewicz, Waldemar, and Fritz Kirsch. “‘This Is a Fundamentalist Town’: The Prairie Town as a Site of Social and Cultural Conflict in Sinclair Ross’s As for Me and My House.” Social and Cultural Interaction and Literary Landscapes in the Canadian West : Impressions of an Exploratory Field Trip and Academic Interaction in the Canadian West : Rapports Interculturels et Paysages Littéraires Dans l’Ouest Canadien, Facultas.WUV, 2010, pp. 173–79.
View
2010 |
Published |
Journal Article |
IST-REx-ID: 6198
Zhou, L., et al. “Treatment of Cerebral Ischemia by Disrupting Ischemia-Induced Interaction of NNOS with PSD-95.” Nature Medicine, vol. 16, no. 12, Nature Publishing Group, 2010, pp. 1439–43, doi:10.1038/nm.2245.
View
| DOI
| PubMed | Europe PMC