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, Jan, et al. A Framework for Practical Universally Composable Zero-Knowledge Protocols. Edited by Dong Lee and Xiaoyun Wang, vol. 7073, Springer, 2011, pp. 449–67, doi:10.1007/978-3-642-25385-0.
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3367
Chen, Chao, and Michael Kerber. An Output Sensitive Algorithm for Persistent Homology. ACM, 2011, pp. 207–16, doi:10.1145/1998196.1998228.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3239
Faust, Sebastian, et al. Tamper Proof Circuits How to Trade Leakage for Tamper Resilience. Vol. 6755, no. Part 1, Springer, 2011, pp. 391–402, doi:10.1007/978-3-642-22006-7_33.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3236
Jain, Abhishek, and Krzysztof Z. Pietrzak. Parallel Repetition for Leakage Resilience Amplification Revisited. Vol. 6597, Springer, 2011, pp. 58–69, doi:10.1007/978-3-642-19571-6_5.
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3326 | 
Almagor, Shaull, et al. What’s Decidable about Weighted Automata . Vol. 6996, Springer, 2011, pp. 482–91, doi:10.1007/978-3-642-24372-1_37.
[Submitted Version]
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3346 |
Brázdil, Tomáš, et al. Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes. 5970225, IEEE, 2011, doi:10.1109/LICS.2011.10.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3791
Krens, Gabriel, and Carl-Philipp J. Heisenberg. “Cell Sorting in Development.” Forces and Tension in Development, edited by Michel Labouesse, vol. 95, Elsevier, 2011, pp. 189–213, doi:10.1016/B978-0-12-385065-2.00006-2.
View
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee, Krishnendu, and Mathieu Tracol. 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, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. Vol. 6907, Springer, 2011, pp. 206–18, 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, Krishnendu, and Laurent Doyen. 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, Tobias, et al. “The CLC Family of Chloride Channels and Transporters.” Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, Elsevier, 2010, pp. 209–31, doi:10.1016/B978-0-12-374373-2.00012-1.
View
| DOI
2010 | Journal Article | IST-REx-ID: 2389 |
Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische Nachrichten, vol. 283, no. 3, Wiley-Blackwell, 2010, pp. 489–99, doi:10.1002/mana.200810195.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2704
Erdös, László, et al. “Derivation of the Gross-Pitaevskii Equation for the Dynamics of Bose-Einstein Condensate.” Annals of Mathematics, vol. 172, no. 1, Princeton University Press, 2010, pp. 291–370, doi:10.4007/annals.2010.172.291.
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2761
Erdös, László, et al. “Universality of Sine-Kernel for Wigner Matrices with a Small Gaussian Perturbation.” Electronic Journal of Probability, vol. 15, no. 18, Institute of Mathematical Statistics, 2010, pp. 526–603, doi:10.1214/EJP.v15-768.
View
| DOI
2010 | Journal Article | IST-REx-ID: 2756
Erdös, László, and Jan Solovej. “Ground State Energy of Large Atoms in a Self-Generated Magnetic Field.” Communications in Mathematical Physics, vol. 294, no. 1, Springer, 2010, pp. 229–49, doi:10.1007/s00220-009-0869-2.
View
| DOI
2010 | Journal Article | IST-REx-ID: 2763
Erdös, László, et al. “Bulk Universality for Wigner Hermitian Matrices with Subexponential Decay.” Mathematical Research Letters, vol. 17, no. 4, International Press, 2010, pp. 667–74.
View
2010 | Book | IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. 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, Krishnendu, et al. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science, vol. 6, no. 3, International Federation of Computational Logic, 2010, pp. 1–23, doi:10.2168/LMCS-6(3:10)2010.
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
View
| DOI
2009 | Journal Article | IST-REx-ID: 1038 |
Mark, Manfred, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics, vol. 95, no. 2, Springer, 2009, pp. 219–25, doi:10.1007/s00340-009-3407-1.
View
| DOI
| Download None (ext.)
| arXiv