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. (2011). A Framework for Practical Universally Composable Zero-Knowledge Protocols. In D. Lee & X. Wang (Eds.) (Vol. 7073, pp. 449–467). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Springer. https://doi.org/10.1007/978-3-642-25385-0
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3367
Chen, C., & Kerber, M. (2011). An output sensitive algorithm for persistent homology (pp. 207–216). Presented at the SoCG: Symposium on Computational Geometry, Paris, France: ACM. https://doi.org/10.1145/1998196.1998228
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3239
Faust, S., Pietrzak, K. Z., & Venturi, D. (2011). Tamper proof circuits How to trade leakage for tamper resilience (Vol. 6755, pp. 391–402). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-642-22006-7_33
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3236
Jain, A., & Pietrzak, K. Z. (2011). Parallel repetition for leakage resilience amplification revisited (Vol. 6597, pp. 58–69). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-19571-6_5
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3326 | 
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. https://doi.org/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. (2011). Two views on multiple mean payoff objectives in Markov Decision Processes. Presented at the LICS: Logic in Computer Science, Toronto, Canada: IEEE. https://doi.org/10.1109/LICS.2011.10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3791
Krens, G., & Heisenberg, C.-P. J. (2011). Cell sorting in development. In M. Labouesse (Ed.), Forces and Tension in Development (Vol. 95, pp. 189–213). Elsevier. https://doi.org/10.1016/B978-0-12-385065-2.00006-2
View
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
[Published Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3345 |
Chatterjee, K., & Doyen, L. (2011). Energy and mean-payoff parity Markov Decision Processes (Vol. 6907, pp. 206–218). Presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland: Springer. https://doi.org/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. (2011). Energy and mean-payoff parity Markov decision processes. IST Austria. https://doi.org/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. (2010). The CLC family of chloride channels and transporters. In Physiology and Pathology of chloride transporters and channels in the nervous system (pp. 209–231). Elsevier. https://doi.org/10.1016/B978-0-12-374373-2.00012-1
View
| DOI
2010 | Journal Article | IST-REx-ID: 2389 |
Hainzl, C., & Seiringer, R. (2010). Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. Wiley-Blackwell. https://doi.org/10.1002/mana.200810195
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2704
Erdös, L., Schlein, B., & Yau, H. (2010). Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate. Annals of Mathematics. Princeton University Press. https://doi.org/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. (2010). Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v15-768
View
| DOI
2010 | Journal Article | IST-REx-ID: 2756
Erdös, L., & Solovej, J. (2010). Ground state energy of large atoms in a self-generated magnetic field. Communications in Mathematical Physics. Springer. https://doi.org/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. (2010). Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. International Press.
View
2010 | Book | IST-REx-ID: 3899
Edelsbrunner, H., & Harer, J. (2010). Computational Topology: An Introduction (Vol. 69). American Mathematical Society. https://doi.org/10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/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. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View
| DOI
2009 | Journal Article | IST-REx-ID: 1038 |
Mark, M., Danzl, J. G., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. Springer. https://doi.org/10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv