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 |Published| Conference Paper | IST-REx-ID: 2975
A Framework for Practical Universally Composable Zero-Knowledge Protocols
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
View
| DOI
| Download (ext.)
J. Camenisch, S. Krenn, V. Shoup, in:, D. Lee, X. Wang (Eds.), Springer, 2011, pp. 449–467.
2011 |Published| Conference Paper | IST-REx-ID: 3367
An output sensitive algorithm for persistent homology
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.
View
| Files available
| DOI
C. Chen, M. Kerber, in:, ACM, 2011, pp. 207–216.
2011 |Published| Conference Paper | IST-REx-ID: 3239
Tamper proof circuits How to trade leakage for tamper resilience
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
View
| DOI
S. Faust, K.Z. Pietrzak, D. Venturi, in:, Springer, 2011, pp. 391–402.
2011 |Published| Conference Paper | IST-REx-ID: 3236
Parallel repetition for leakage resilience amplification revisited
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
View
| DOI
A. Jain, K.Z. Pietrzak, in:, Springer, 2011, pp. 58–69.
2011 |Published| Conference Paper | IST-REx-ID: 3326 | 
What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
[Submitted Version]
View
| Files available
| DOI
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.
2011 |Published| Conference Paper | IST-REx-ID: 3346 |
Two views on multiple mean payoff objectives in Markov Decision Processes
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, A. Kučera, in:, IEEE, 2011.
2011 |Published| Book Chapter | IST-REx-ID: 3791
Cell sorting in development
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.
View
| DOI
G. Krens, C.-P.J. Heisenberg, in:, M. Labouesse (Ed.), Forces and Tension in Development, Elsevier, 2011, pp. 189–213.
2011 |Published| Technical Report | IST-REx-ID: 5384 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
2011 |Published| Conference Paper | IST-REx-ID: 3345 |
Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.
2011 |Published| Technical Report | IST-REx-ID: 5387 |
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
2010 |Published| Book Chapter | IST-REx-ID: 2309
The CLC family of chloride channels and transporters
T. Stauber, G. Novarino, T. Jentsch, in:, Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–231.
View
| DOI
T. Stauber, G. Novarino, T. Jentsch, in:, Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–231.
2010 |Published| Journal Article | IST-REx-ID: 2389 |
Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Mathematische Nachrichten 283 (2010) 489–499.
2010 |Published| Journal Article | IST-REx-ID: 2704
Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.
View
| DOI
| Download (ext.)
L. Erdös, B. Schlein, H. Yau, Annals of Mathematics 172 (2010) 291–370.
2010 |Published| Journal Article | IST-REx-ID: 2761
Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
View
| DOI
L. Erdös, J. Ramírez, B. Schlein, H. Yau, Electronic Journal of Probability 15 (2010) 526–603.
2010 |Published| Journal Article | IST-REx-ID: 2756
Ground state energy of large atoms in a self-generated magnetic field
L. Erdös, J. Solovej, Communications in Mathematical Physics 294 (2010) 229–249.
View
| DOI
L. Erdös, J. Solovej, Communications in Mathematical Physics 294 (2010) 229–249.
2010 |Published| Journal Article | IST-REx-ID: 2763
Bulk universality for Wigner Hermitian matrices with subexponential decay
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, H. Yau, Mathematical Research Letters 17 (2010) 667–674.
View
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, H. Yau, Mathematical Research Letters 17 (2010) 667–674.
2010 |Published| Book | IST-REx-ID: 3899
Computational Topology: An Introduction
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
H. Edelsbrunner, J. Harer, Computational Topology: An Introduction, American Mathematical Society, 2010.
2010 |Published| Journal Article | IST-REx-ID: 3867 |
Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.
2010 |Published| Journal Article | IST-REx-ID: 533
Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
View
| DOI
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
2009 |Published| Journal Article | IST-REx-ID: 1038 |
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View
| DOI
| Download None (ext.)
| arXiv
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.