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.
5802 Publications
2010 | Published | Journal Article | IST-REx-ID: 3842 | 
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 4(6), 441–452.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3845 |
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. 2010. Aligators for arrays. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 348–356.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3847 |
Didier F, Henzinger TA, Mateescu M, Wolf V. 2010. SABRE: A tool for the stochastic analysis of biochemical reaction networks. QEST: Quantitative Evaluation of Systems, 193–194.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3849 |
Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 12–23.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3850
Berberich E, Halperin D, Kerber M, Pogalnikova R. 2010. Polygonal reconstruction from approximate offsets. EuroCG: European Workshop on Computational Geometry, 12–23.
View
2010 | Published | Conference Paper | IST-REx-ID: 3852 |
Chatterjee K, Majumdar R. 2010. Discounting in games across time scales. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 22–29.
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Conference Paper | IST-REx-ID: 3858 |
Chatterjee K, Doyen L. 2010. The complexity of partial-observation parity games. LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, LNCS, vol. 6397, 1–14.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3860 |
Chatterjee K, Doyen L, Henzinger TA, Raskin J. 2010. Generalized mean-payoff and energy games. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 8, 505–516.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3861 |
Chatterjee K, Henzinger TA, Piterman N. 2010. Strategy logic. Information and Computation. 208(6), 677–693.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3868 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. 2010. Algorithms for game metrics. Logical Methods in Computer Science. 6(3), 1–27.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3901 |
Bendich P, Edelsbrunner H, Kerber M. 2010. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 16(6), 1251–1260.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Thesis | IST-REx-ID: 3962
Pflicke H. 2010. Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
2010 | Published | Journal Article | IST-REx-ID: 4157 |
Papusheva E, Heisenberg C-PJ. 2010. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 29(16), 2753–2768.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9485 |
Zemach A, Kim MY, Silva P, Rodrigues JA, Dotson B, Brooks MD, Zilberman D. 2010. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 107(43), 18729–18734.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9489 |
Zemach A, Zilberman D. 2010. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 20(17), R780–R785.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. 2010. Heterosis and the drift load, Public Library of Science, 10.1371/journal.pbio.1000429.s003.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. 2010. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 328(5980), 916–919.
View
| DOI
| PubMed | Europe PMC