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.
543 Publications
2011 | Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. A Framework for Practical Universally Composable Zero-Knowledge Protocols. In: Lee D, Wang X, eds. Vol 7073. Springer; 2011:449-467. doi:10.1007/978-3-642-25385-0
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. An output sensitive algorithm for persistent homology. In: ACM; 2011:207-216. doi:10.1145/1998196.1998228
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3239
Faust S, Pietrzak KZ, Venturi D. Tamper proof circuits How to trade leakage for tamper resilience. In: Vol 6755. Springer; 2011:391-402. doi:10.1007/978-3-642-22006-7_33
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3236
Jain A, Pietrzak KZ. Parallel repetition for leakage resilience amplification revisited. In: Vol 6597. Springer; 2011:58-69. doi:10.1007/978-3-642-19571-6_5
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3326 | 
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Vol 6996. Springer; 2011:482-491. doi:10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3346 |
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. Cell sorting in development. In: Labouesse M, ed. Forces and Tension in Development. Vol 95. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2
View
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria; 2011. doi:10.15479/AT:IST-2011-0004
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
Chatterjee K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. doi:10.1007/978-3-642-22993-0_21
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2011 | Technical Report | IST-REx-ID: 5387 |
Chatterjee K, Doyen L. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria; 2011. doi:10.15479/AT:IST-2011-0001
[Published Version]
View
| Files available
| DOI
2010 | Book Chapter | IST-REx-ID: 2309
Stauber T, Novarino G, Jentsch T. The CLC family of chloride channels and transporters. In: Physiology and Pathology of Chloride Transporters and Channels in the Nervous System. Elsevier; 2010:209-231. doi:10.1016/B978-0-12-374373-2.00012-1
View
| DOI
2010 | Journal Article | IST-REx-ID: 2389 |
Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 2010;283(3):489-499. doi:10.1002/mana.200810195
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2704
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate. Annals of Mathematics. 2010;172(1):291-370. doi:10.4007/annals.2010.172.291
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2761
Erdös L, Ramírez J, Schlein B, Yau H. Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. 2010;15(18):526-603. doi:10.1214/EJP.v15-768
View
| DOI
2010 | Journal Article | IST-REx-ID: 2756
Erdös L, Solovej J. Ground state energy of large atoms in a self-generated magnetic field. Communications in Mathematical Physics. 2010;294(1):229-249. doi:10.1007/s00220-009-0869-2
View
| DOI
2010 | Journal Article | IST-REx-ID: 2763
Erdös L, Ramírez J, Schlein B, Tao T, Van V, Yau H. Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. 2010;17(4):667-674.
View
2010 | Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. Computational Topology: An Introduction. Vol 69. American Mathematical Society; 2010. doi:10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi:10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View
| DOI
2009 | Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 2009;95(2):219-225. doi:10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv