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.

12142 Publications


2012 | Published | Journal Article | IST-REx-ID: 3331 | OA
Kerber M, Sagraloff M. A worst case bound for topology computation of algebraic curves. Journal of Symbolic Computation. 2012;47(3):239-258. doi:10.1016/j.jsc.2011.11.001
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 2955 | OA
Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. In: Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2012. doi:10.1109/LICS.2012.28
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 2967
Alur R, Cerny P, Weinstein S. Algorithmic analysis of array-accessing programs. ACM Transactions on Computational Logic. 2012;13(3). doi:10.1145/2287718.2287727
View | Files available | DOI | WoS
 

2012 | Published | Journal Article | IST-REx-ID: 494
Boker U, Kupferman O. Translating to Co-Büchi made tight, unified, and useful. ACM Transactions on Computational Logic. 2012;13(4). doi:10.1145/2362355.2362357
View | DOI | WoS
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. In: 20th Annual European Symposium on Algorithms . Vol 7501. Springer; 2012:301-312. doi:10.1007/978-3-642-33090-2_27
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 2891 | OA
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
[Published Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi: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 MK. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 2012;197(3):347-349. doi:10.1083/jcb.201204039
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10904 | OA
Chatterjee K, Randour M, Raskin J-F. Strategy synthesis for multi-dimensional quantitative objectives. In: Koutny M, Ulidowski I, eds. CONCUR 2012 - Concurrency Theory. Vol 7454. Berlin, Heidelberg: Springer; 2012:115-131. doi: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 P. Zwischen Technologie und Kommunikation. Büchereiperspektiven. 2012;2012(1):11.
[Published Version] View | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2950
Behrndt M, Salbreux G, Campinho P, et al. Forces driving epithelial spreading in zebrafish gastrulation. Science. 2012;338(6104):257-260. doi:10.1126/science.1224143
View | Files available | DOI | WoS | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr L, Williams R, Wu J, et al. The molecular evolution of acquired resistance to targeted EGFR blockade in colorectal cancers. Nature. 2012;486(7404):537-540. doi: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 K, Reiter J, Nowak M. Evolutionary dynamics of biological auctions. Theoretical Population Biology. 2012;81(1):69-80. doi: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 S, Ivanov VY, Caporali E. 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. 2012;4(2). doi:10.1029/2011ms000087
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 22518
Fatichi S, Ivanov VY, Caporali E. Investigating interannual variability of precipitation at the global scale: Is there a connection with seasonality? Journal of Climate. 2012;25(16):5512-5523. doi:10.1175/jcli-d-11-00356.1
View | DOI
 

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

2012 | Published | Journal Article | IST-REx-ID: 22538 | OA
Fatichi S, Ivanov VY, Caporali E. 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. 2012;4(2). doi:10.1029/2011ms000086
[Published Version] View | DOI | Download Published Version (ext.)
 

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

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

2012 | Published | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee K, Henzinger TA, Prabhu V. Finite automata with time delay blocks. In: Proceedings of the 10th ACM International Conference on Embedded Software. ACM; 2012:43-52. doi:10.1145/2380356.2380370
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed