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. ASIACRYPT: Theory and Application of Cryptology and Information Security, LNCS, vol. 7073, 449–467.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. 2011. An output sensitive algorithm for persistent homology. SoCG: Symposium on Computational Geometry, 207–216.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3239
Faust S, Pietrzak KZ, Venturi D. 2011. Tamper proof circuits How to trade leakage for tamper resilience. ICALP: Automata, Languages and Programming, LNCS, vol. 6755, 391–402.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3236
Jain A, Pietrzak KZ. 2011. Parallel repetition for leakage resilience amplification revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 6597, 58–69.
View | DOI
 

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

2011 | Conference Paper | IST-REx-ID: 3346 | OA
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. LICS: Logic in Computer Science, 5970225.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2011 | Book Chapter | IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. 2011.Cell sorting in development. In: Forces and Tension in Development. Current Topics in Developmental Biology, vol. 95, 189–213.
View | DOI
 

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

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

2011 | Technical Report | IST-REx-ID: 5387 | OA
Chatterjee K, Doyen L. 2011. Energy and mean-payoff parity Markov decision processes, IST Austria, 20p.
[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. , 209–231.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2389 | OA
Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3), 489–499.
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. 172(1), 291–370.
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. 15(18), 526–603.
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. 294(1), 229–249.
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. 17(4), 667–674.
View
 

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

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee K, Doyen L, Henzinger TA. 2010. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 6(3), 1–23.
[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. 37(2–3), 171–199.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark M, Danzl JG, Haller E, Gustavsson M, Bouloufa N, Dulieu O, Salami H, Bergeman T, Ritsch H, Hart R, Nägerl H. 2009. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 95(2), 219–225.
View | DOI | Download None (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications