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.
1752 Publications
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: 3864 |
Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2010. Measuring and synthesizing systems in probabilistic environments. CAV: Computer Aided Verification, LNCS, vol. 6174, 380–395.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3866 |
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. 2010. Robustness in the presence of liveness. CAV: Computer Aided Verification, LNCS, vol. 6174, 410–424.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
[Published 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 | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. 2010. Model checking of linearizability of concurrent list implementations. CAV: Computer Aided Verification, LNCS, vol. 6174, 465–479.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 12654 |
Carenzo M, Pellicciotti F, Rimkus S, Burlando P. 2009. Assessing the transferability and robustness of an enhanced temperature-index glacier-melt model. Journal of Glaciology. 55(190), 258–274.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2119 |
Maas J, Van Neerven J. 2009. Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces. Journal of Functional Analysis. 257(8), 2410–2475.
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2149 |
Lemeshko M, Friedrich B. 2009. Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves. Physical Review A - Atomic, Molecular, and Optical Physics. 79(1).
View
| DOI
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2386 |
Seiringer R, Ueltschi D. 2009. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 80(1).
View
| DOI
| Download (ext.)
2009 | Published | Conference Paper | IST-REx-ID: 2433 |
Matoušek J, Tancer M, Wagner U. 2009. Hardness of embedding simplicial complexes in ℝd. SODA: Symposium on Discrete Algorithms, 855–864.
View
| Download (ext.)
2009 | Published | Journal Article | IST-REx-ID: 2703
Erdös L, Schlein B, Yau H. 2009. Semicircle law on short scales and delocalization of eigenvectors for Wigner random matrices. Annals of Probability. 37(3), 815–852.
View
| DOI
| Download (ext.)