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., Howard, A. M., Cheng, Y., Muller, C. J., Leboissetier, A., & Jayne, S. R. (2010). Ocean turbulence, III: New GISS vertical mixing scheme. Ocean Modelling. Elsevier. 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., & Muller, C. J. (2010). How closely do changes in surface and column water vapor follow Clausius–Clapeyron scaling in climate change simulations? Environmental Research Letters. IOP Publishing. 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, T., Hannezo, E. B., Trepat, X., Fredberg, J., & Weitz, D. (2010). Cell migration driven by cooperative substrate deformation patterns. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.104.168104
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 9452
Zemach, A., McDaniel, I. E., Silva, P., & Zilberman, D. (2010). Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1186366
View | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 9485 | OA
Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., & Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. 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, A., & Zilberman, D. (2010). Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. Elsevier. 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, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Heterosis and the drift load. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429.s003
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 474
Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2010.01019.x
View | DOI | WoS
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. 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, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View | DOI | WoS
 

2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. 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, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. 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, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. 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, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version] View | Files available | DOI
 

2010 | Published | Book Chapter | IST-REx-ID: 5940
Juhás, G., Kazlov, I., & Juhásová, A. (2010). Instance Deadlock: A Mystery behind Frozen Programs. In Applications and Theory of Petri Nets (pp. 1–17). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13675-7_1
View | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer, K., Lin, S., Bernecky, C., Gao, Y., & Taatjes, D. (2010). P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0013922
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Published | Book Chapter | IST-REx-ID: 619
Zacharasiewicz, W., & Kirsch, F. (2010). “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. In 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 (pp. 173–179). Facultas.WUV.
View
 

2010 | Published | Journal Article | IST-REx-ID: 6198
Zhou, L., Li, F., Xu, H., Luo, C., Wu, H., Zhu, M., … Zhu, D. (2010). Treatment of cerebral ischemia by disrupting ischemia-induced interaction of nNOS with PSD-95. Nature Medicine. Nature Publishing Group. https://doi.org/10.1038/nm.2245
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed