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.
538 Publications
2012 | Journal Article | IST-REx-ID: 7074
Lukas, K. C., et al. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science, vol. 47, no. 15, Springer Nature, 2012, pp. 5729–34, doi:10.1007/s10853-012-6463-6.
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2098
Bickel, Bernd, and Manuel Lang. “From Sparse Mocap to Highly Detailed Facial Animation.” GPU Computing Gems Emerald Edition, Science Direct, 2011, pp. 413–26, doi:10.1016/B978-0-12-384988-5.00027-9.
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2116 | 
Maas, Jan, and Jan Van Neerven. “Gradient Estimates and Domain Identification for Analytic Ornstein-Uhlenbeck Operators.” Parabolic Problems, vol. 80, Birkhäuser, 2011, pp. 463–77, doi:10.1007/978-3-0348-0075-4_24.
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2766
Erdös, László, and Antti Knowles. “Quantum Diffusion and Delocalization for Band Matrices with General Distribution.” Annales Henri Poincare, vol. 12, no. 7, Birkhäuser, 2011, pp. 1227–319, doi:10.1007/s00023-011-0104-5.
View
| DOI
2011 | Journal Article | IST-REx-ID: 2764
Erdös, László, et al. “Universality of Random Matrices and Local Relaxation Flow.” Inventiones Mathematicae, vol. 185, no. 1, Springer, 2011, pp. 75–119, doi:10.1007/s00222-010-0302-7.
View
| DOI
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
2009 | Journal Article | IST-REx-ID: 1041 |
Danzl, Johann G., et al. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics, vol. 11, IOP Publishing Ltd., 2009, doi:10.1088/1367-2630/11/5/055036.
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1043 |
Danzl, Johann G., et al. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions, vol. 142, Royal Society of Chemistry, 2009, pp. 283–95, doi:10.1039/b820542f.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Book Chapter | IST-REx-ID: 164 |
Browning, Timothy D., and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 2149 |
Lemeshko, Mikhail, and Břetislav Friedrich. “Collisions of Paramagnetic Molecules in Magnetic Fields: An Analytic Model Based on Fraunhofer Diffraction of Matter Waves.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 79, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevA.79.012718.
View
| DOI
| Download (ext.)
2009 | Book | IST-REx-ID: 227
Browning, Timothy D. Quantitative Arithmetic of Projective Varieties. Vol. 277, Birkhäuser Basel, 2009, doi:10.1007/978-3-0346-0129-0.
View
| DOI
2009 | Book | IST-REx-ID: 2326
Lieb, Élliott, and Robert Seiringer. The Stability of Matter in Quantum Mechanics. Cambridge University Press, 2009.
View
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 2384 |
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics, vol. 135, no. 5–6, Springer, 2009, pp. 915–34, doi:10.1007/s10955-009-9718-0.
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 2386 |
Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” Physical Review B - Condensed Matter and Materials Physics, vol. 80, no. 1, American Physical Society, 2009, doi:10.1103/PhysRevB.80.014502.
View
| DOI
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3747
Tkačik, Gašper, and William Bialek. “Cell Biology: Networks, Regulation, Pathways.” Encyclopedia of Complexity and Systems Science, edited by R. Meyers, Springer, 2009, pp. 719–41, doi:10.1007/978-0-387-30440-3_48.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, et al. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science, vol. 5, no. 2, International Federation of Computational Logic, 2009, doi:10.2168/LMCS-5(2:7)2009.
View
| DOI
2009 | Journal Article | IST-REx-ID: 3696
Lampert, Christoph, and Matthew Blaschko. “Structured Prediction by Joint Kernel Support Estimation.” Machine Learning, vol. 77, no. 2–3, Springer, 2009, pp. 249–69, doi:10.1007/s10994-009-5111-0.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis, Stavros, et al. “On Relational Interfaces.” EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76, doi:10.1145/1629335.1629346.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton, Nicholas H., and Harold De Vladar. “Statistical Mechanics and the Evolution of Polygenic Quantitative Traits.” Genetics, vol. 181, no. 3, Genetics Society of America, 2009, pp. 997–1011, doi:10.1534/genetics.108.099309.
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, et al. Expressiveness and Closure Properties for Quantitative Languages. IEEE, 2009, pp. 199–208, doi:10.1109/LICS.2009.16.
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 2120 |
Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 11, no. 4, World Scientific Publishing, 2008, pp. 603–26, doi:10.1142/S0219025708003245.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2121 |
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability, vol. 13, Institute of Mathematical Statistics, 2008, pp. 151–64.
View
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 224
Browning, Timothy D., and Rainer Dietmann. “On the Representation of Integers by Quadratic Forms.” Proceedings of the London Mathematical Society, vol. 96, no. 2, John Wiley and Sons Ltd, 2008, pp. 389–416, doi:10.1112/plms/pdm032.
View
| DOI
2008 | Journal Article | IST-REx-ID: 2374 |
Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications in Mathematical Physics, vol. 279, no. 3, Springer, 2008, pp. 595–636, doi:10.1007/s00220-008-0428-2.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2382 |
Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute Bosons in Three Dimensions.” Communications in Mathematical Physics, vol. 284, no. 2, Springer, 2008, pp. 459–79, doi:10.1007/s00220-008-0521-6.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2377 |
Hainzl, Christian, and Robert Seiringer. “The BCS Critical Temperature for Potentials with Negative Scattering Length.” Letters in Mathematical Physics, vol. 84, no. 2–3, Springer, 2008, pp. 99–107, doi:10.1007/s11005-008-0242-y.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2753
Erdös, László, et al. “Quantum Diffusion of the Random Schrödinger Evolution in the Scaling Limit.” Acta Mathematica, vol. 200, no. 2, Springer, 2008, pp. 211–77, doi:10.1007/s11511-008-0027-2.
View
| DOI
2008 | Journal Article | IST-REx-ID: 2755
Erdös, László, et al. “Ground-State Energy of a Low-Density Bose Gas: A Second-Order Upper Bound.” Physical Review A - Atomic, Molecular, and Optical Physics, vol. 78, no. 5, American Physical Society, 2008, doi:10.1103/PhysRevA.78.053627.
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, Stefan, and Krzysztof Z. Pietrzak. Leakage Resilient Cryptography. IEEE, 2008, pp. 293–302, doi:10.1109/FOCS.2008.56.
View
| DOI
2008 | Journal Article | IST-REx-ID: 3435 |
Bollback, Jonathan P., et al. “Estimation of 2Nes From Temporal Allele Frequency Data.” Genetics, vol. 179, no. 1, Genetics Society of America, 2008, pp. 497–502, doi:10.1534/genetics.107.085019.
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee, Krishnendu, et al. “Stochastic Limit-Average Games Are in EXPTIME.” International Journal of Game Theory, vol. 37, no. 2, Springer, 2008, pp. 219–34, doi:10.1007/s00182-007-0110-5.
View
| DOI
| Download (ext.)