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.

12223 Publications


earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
Polynomial-time algorithms for energy games with special weight structures
K. Chatterjee, M. Henzinger, S. Krinninger, D. Nanongkai, in:, 20th Annual European Symposium on Algorithms , Springer, 2012, pp. 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2891 | OA
Approximate determinization of quantitative automata
U. Boker, T.A. Henzinger, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–373.
[Published Version] View | Files available | DOI
 

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
 

2011 | Published | Conference Paper | IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View | DOI
 

2011 | Published | Journal Article | IST-REx-ID: 11094 | OA
POM121 and Sun1 play a role in early steps of interphase NPC assembly
J.A. Talamas, M. Hetzer, Journal of Cell Biology 194 (2011) 27–37.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 11095
Editorial overview
M. Hetzer, G. Cavalli, Current Opinion in Cell Biology 23 (2011) 255–257.
View | DOI | PubMed | Europe PMC
 

2011 | Published | Journal Article | IST-REx-ID: 11096
Functional interactions between nucleoporins and chromatin
Y. Liang, M. Hetzer, Current Opinion in Cell Biology 23 (2011) 65–70.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed