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
J. Camenisch, S. Krenn, and V. Shoup, “A Framework for Practical Universally Composable Zero-Knowledge Protocols,” presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, 2011, vol. 7073, pp. 449–467.
View | DOI | Download (ext.)
 

2011 |Published| Conference Paper | IST-REx-ID: 3367
C. Chen and M. Kerber, “An output sensitive algorithm for persistent homology,” presented at the SoCG: Symposium on Computational Geometry, Paris, France, 2011, pp. 207–216.
View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3239
S. Faust, K. Z. Pietrzak, and D. Venturi, “Tamper proof circuits How to trade leakage for tamper resilience,” presented at the ICALP: Automata, Languages and Programming, 2011, vol. 6755, no. Part 1, pp. 391–402.
View | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3236
A. Jain and K. Z. Pietrzak, “Parallel repetition for leakage resilience amplification revisited,” presented at the TCC: Theory of Cryptography Conference, 2011, vol. 6597, pp. 58–69.
View | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3326 | OA
S. Almagor, U. Boker, and O. Kupferman, “What’s decidable about weighted automata ,” presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan, 2011, vol. 6996, pp. 482–491.
[Submitted Version] View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3346 | OA
T. Brázdil, V. Brožek, K. Chatterjee, V. Forejt, and A. Kučera, “Two views on multiple mean payoff objectives in Markov Decision Processes,” presented at the LICS: Logic in Computer Science, Toronto, Canada, 2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 |Published| Book Chapter | IST-REx-ID: 3791
G. Krens and C.-P. J. Heisenberg, “Cell sorting in development,” in Forces and Tension in Development, vol. 95, M. Labouesse, Ed. Elsevier, 2011, pp. 189–213.
View | DOI
 

2011 |Published| Technical Report | IST-REx-ID: 5384 | OA
K. Chatterjee and M. Tracol, Decidable problems for probabilistic automata on infinite words. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3345 | OA
K. Chatterjee and L. Doyen, “Energy and mean-payoff parity Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Warsaw, Poland, 2011, vol. 6907, pp. 206–218.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Technical Report | IST-REx-ID: 5387 | OA
K. Chatterjee and L. Doyen, Energy and mean-payoff parity Markov decision processes. IST Austria, 2011.
[Published Version] View | Files available | DOI
 

2010 |Published| Book Chapter | IST-REx-ID: 2309
T. Stauber, G. Novarino, and T. Jentsch, “The CLC family of chloride channels and transporters,” in Physiology and Pathology of chloride transporters and channels in the nervous system, Elsevier, 2010, pp. 209–231.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2389 | OA
C. Hainzl and R. Seiringer, “Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy,” Mathematische Nachrichten, vol. 283, no. 3. Wiley-Blackwell, pp. 489–499, 2010.
View | DOI | Download (ext.)
 

2010 |Published| Journal Article | IST-REx-ID: 2704
L. Erdös, B. Schlein, and H. Yau, “Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate,” Annals of Mathematics, vol. 172, no. 1. Princeton University Press, pp. 291–370, 2010.
View | DOI | Download (ext.)
 

2010 |Published| Journal Article | IST-REx-ID: 2761
L. Erdös, J. Ramírez, B. Schlein, and H. Yau, “Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation,” Electronic Journal of Probability, vol. 15, no. 18. Institute of Mathematical Statistics, pp. 526–603, 2010.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2756
L. Erdös and J. Solovej, “Ground state energy of large atoms in a self-generated magnetic field,” Communications in Mathematical Physics, vol. 294, no. 1. Springer, pp. 229–249, 2010.
View | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 2763
L. Erdös, J. Ramírez, B. Schlein, T. Tao, V. Van, and H. Yau, “Bulk universality for Wigner Hermitian matrices with subexponential decay,” Mathematical Research Letters, vol. 17, no. 4. International Press, pp. 667–674, 2010.
View
 

2010 |Published| Book | IST-REx-ID: 3899
H. Edelsbrunner and J. Harer, Computational Topology: An Introduction, vol. 69. American Mathematical Society, 2010.
View | Files available | DOI | Download None (ext.)
 

2010 |Published| Journal Article | IST-REx-ID: 3867 | OA
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.
[Published Version] View | Files available | DOI
 

2010 |Published| Journal Article | IST-REx-ID: 533
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, and T. Wies, “Doomed program points,” Formal Methods in System Design, vol. 37, no. 2–3. Springer, pp. 171–199, 2010.
View | DOI
 

2009 |Published| Journal Article | IST-REx-ID: 1038 | OA
M. Mark et al., “Dark resonances for ground-state transfer of molecular quantum gases,” Applied Physics B: Lasers and Optics, vol. 95, no. 2. Springer, pp. 219–225, 2009.
View | DOI | Download None (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications