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.

384 Publications


2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov, Sergey, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. “HSF(C): A Software Verifier Based on Horn Clauses.” In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, 7214:549–51. LNCS. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-28756-5_46.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology. Rockefeller University Press, 2012. https://doi.org/10.1083/jcb.201204039.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10904 | OA
Chatterjee, Krishnendu, Mickael Randour, and Jean-François Raskin. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” In CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, 7454:115–31. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-32940-1_10.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 3243 | OA
Danowski, Patrick. “Zwischen Technologie und Kommunikation.” Büchereiperspektiven. Büchereiverband Österreichs, 2012.
[Published Version] View | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2950
Behrndt, Martin, Guillaume Salbreux, Pedro Campinho, Robert Hauschild, Felix Oswald, Julia Roensch, Stephan Grill, and Carl-Philipp J Heisenberg. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science. American Association for the Advancement of Science, 2012. https://doi.org/10.1126/science.1224143.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, Luis, Richard Williams, Jian Wu, Isaac Kinde, Joel Hecht, Jordan Berlin, Benjamin Allen, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.” Nature. Nature Publishing Group, 2012. https://doi.org/10.1038/nature11219.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 3260 | OA
Chatterjee, Krishnendu, Johannes Reiter, and Martin Nowak. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology. Academic Press, 2012. https://doi.org/10.1016/j.tpb.2011.11.003.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 22482
Fatichi, Simone, V. Y. Ivanov, and E. Caporali. “A Mechanistic Ecohydrological Model to Investigate Complex Interactions in Cold and Warm Water‐controlled Environments: 2. Spatiotemporal Analyses.” Journal of Advances in Modeling Earth Systems. American Geophysical Union, 2012. https://doi.org/10.1029/2011ms000087.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 22518
Fatichi, Simone, V. Yu. Ivanov, and E. Caporali. “Investigating Interannual Variability of Precipitation at the Global Scale: Is There a Connection with Seasonality?” Journal of Climate. American Meteorological Society, 2012. https://doi.org/10.1175/jcli-d-11-00356.1.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2263 | OA
Liang, Huixuan, Simon Hippenmeyer, and H. Ghashghaei. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open. Company of Biologists, 2012. https://doi.org/10.1242/bio.20122287.
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 22538 | OA
Fatichi, Simone, V. Y. Ivanov, and E. Caporali. “A Mechanistic Ecohydrological Model to Investigate Complex Interactions in Cold and Warm Water‐controlled Environments: 1. Theoretical Framework and Plot‐scale Analysis.” Journal of Advances in Modeling Earth Systems. American Geophysical Union, 2012. https://doi.org/10.1029/2011ms000086.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2965 | OA
Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare. Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2012.
[Published Version] View | Files available | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 3262 | OA
Tkačik, Gašper, Aleksandra Walczak, and William Bialek. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review E. American Physical Society, 2012. https://doi.org/10.1103/PhysRevE.85.041903.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Finite Automata with Time Delay Blocks.” In Proceedings of the 10th ACM International Conference on Embedded Software, 43–52. ACM, 2012. https://doi.org/10.1145/2380356.2380370.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed