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
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Cell migration: Fibroblasts find a new way to get ahead
M.K. Sixt, Journal of Cell Biology 197 (2012) 347–349.
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10904 | OA
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 3243 | OA
Zwischen Technologie und Kommunikation
P. Danowski, Büchereiperspektiven 2012 (2012) 11.
[Published Version] View | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2950
Forces driving epithelial spreading in zebrafish gastrulation
M. Behrndt, G. Salbreux, P. Campinho, R. Hauschild, F. Oswald, J. Roensch, S. Grill, C.-P.J. Heisenberg, Science 338 (2012) 257–260.
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 3157 | OA
The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers
L. Diaz Jr, R. Williams, J. Wu, I. Kinde, J. Hecht, J. Berlin, B. Allen, I. Božić, J. Reiter, M. Nowak, K. Kinzler, K. Oliner, B. Vogelstein, Nature 486 (2012) 537–540.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 3260 | OA
Evolutionary dynamics of biological auctions
K. Chatterjee, J. Reiter, M. Nowak, Theoretical Population Biology 81 (2012) 69–80.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 22482
A mechanistic ecohydrological model to investigate complex interactions in cold and warm water‐controlled environments: 2. Spatiotemporal analyses
S. Fatichi, V.Y. Ivanov, E. Caporali, Journal of Advances in Modeling Earth Systems 4 (2012).
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 22518
Investigating interannual variability of precipitation at the global scale: Is there a connection with seasonality?
S. Fatichi, V.Y. Ivanov, E. Caporali, Journal of Climate 25 (2012) 5512–5523.
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2263 | OA
A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors
H. Liang, S. Hippenmeyer, H. Ghashghaei, Biology Open 1 (2012) 1200–1203.
[Published Version] View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 22538 | OA
A mechanistic ecohydrological model to investigate complex interactions in cold and warm water‐controlled environments: 1. Theoretical framework and plot‐scale analysis
S. Fatichi, V.Y. Ivanov, E. Caporali, Journal of Advances in Modeling Earth Systems 4 (2012).
[Published Version] View | DOI | Download Published Version (ext.)
 

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

2012 | Published | Journal Article | IST-REx-ID: 3262 | OA
Optimizing information flow in small genetic networks. III. A self-interacting gene
G. Tkačik, A. Walczak, W. Bialek, Physical Review E 85 (2012).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2936 | OA
Finite automata with time delay blocks
K. Chatterjee, T.A. Henzinger, V. Prabhu, in:, Proceedings of the 10th ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

year=2012

Search

Filter Publications

Display / Sort

Export / Embed