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.
539 Publications
2012 | Journal Article | IST-REx-ID: 345
Cadavid, D., Ibáñez, M., Gorsse, S., López, A., Cirera, A., Morante, J., & Cabot, A. (2012). Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe. Journal of Nanoparticle Research. Kluwer. https://doi.org/10.1007/s11051-012-1328-0
View
| DOI
2012 | Journal Article | IST-REx-ID: 7074
Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature. https://doi.org/10.1007/s10853-012-6463-6
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2098
Bickel, B., & Lang, M. (2011). From sparse mocap to highly detailed facial animation. In GPU Computing Gems Emerald Edition (pp. 413–426). Science Direct. https://doi.org/10.1016/B978-0-12-384988-5.00027-9
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2116 | 
Maas, J., & Van Neerven, J. (2011). Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In Parabolic Problems (Vol. 80, pp. 463–477). Birkhäuser. https://doi.org/10.1007/978-3-0348-0075-4_24
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2766
Erdös, L., & Knowles, A. (2011). Quantum diffusion and delocalization for band matrices with general distribution. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-011-0104-5
View
| DOI
2011 | Journal Article | IST-REx-ID: 2764
Erdös, L., Schlein, B., & Yau, H. (2011). Universality of random matrices and local relaxation flow. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-010-0302-7
View
| DOI
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
2009 | Journal Article | IST-REx-ID: 1041 |
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Hart, R., Liem, A., … Nägerl, H. (2009). Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1043 |
Danzl, J. G., Mark, M., Haller, E., Gustavsson, M., Bouloufa, N., Dulieu, O., … Nägerl, H. (2009). Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. Royal Society of Chemistry. https://doi.org/10.1039/b820542f
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Book Chapter | IST-REx-ID: 164 |
Browning, T. D., & Heath Brown, R. (2009). Integral points on cubic hypersurfaces. In Analytic Number Theory: Essays in honour of Klaus Roth (pp. 75–90). Cambridge University Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 2149 |
Lemeshko, M., & Friedrich, B. (2009). 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. American Physical Society. https://doi.org/10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)
2009 | Book | IST-REx-ID: 227
Browning, T. D. (2009). Quantitative Arithmetic of Projective Varieties (Vol. 277). Birkhäuser Basel. https://doi.org/10.1007/978-3-0346-0129-0
View
| DOI
2009 | Book | IST-REx-ID: 2326
Lieb, É., & Seiringer, R. (2009). The Stability of Matter in Quantum Mechanics. Cambridge University Press.
View
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 2384 |
Giuliani, A., & Seiringer, R. (2009). The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-009-9718-0
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 2386 |
Seiringer, R., & Ueltschi, D. (2009). Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.80.014502
View
| DOI
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3747
Tkačik, G., & Bialek, W. (2009). Cell Biology: Networks, regulation, pathways. In R. Meyers (Ed.), Encyclopedia of Complexity and Systems Science (pp. 719–741). Springer. https://doi.org/10.1007/978-0-387-30440-3_48
View
| DOI
2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, K., De Alfaro, L., Faella, M., & Legay, A. (2009). Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-5(2:7)2009
View
| DOI
2009 | Journal Article | IST-REx-ID: 3696
Lampert, C., & Blaschko, M. (2009). Structured prediction by joint kernel support estimation. Machine Learning. Springer. https://doi.org/10.1007/s10994-009-5111-0
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis, S., Lickly, B., Henzinger, T. A., & Lee, E. (2009). On relational interfaces. In EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software (pp. 67–76). Grenoble, France: ACM. https://doi.org/10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton, N. H., & De Vladar, H. (2009). Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.099309
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 2120 |
Maas, J., & Van Neerven, J. (2008). On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. World Scientific Publishing. https://doi.org/10.1142/S0219025708003245
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2121 |
Van Neerven, J., & Maas, J. (2008). A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. Institute of Mathematical Statistics.
View
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 224
Browning, T. D., & Dietmann, R. (2008). On the representation of integers by quadratic forms. Proceedings of the London Mathematical Society. John Wiley and Sons Ltd. https://doi.org/10.1112/plms/pdm032
View
| DOI
2008 | Journal Article | IST-REx-ID: 2374 |
Seiringer, R. (2008). Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0428-2
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2382 |
Seiringer, R., & Yin, J. (2008). The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-008-0521-6
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2377 |
Hainzl, C., & Seiringer, R. (2008). The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-008-0242-y
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2753
Erdös, L., Salmhofer, M., & Yau, H. (2008). Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. Springer. https://doi.org/10.1007/s11511-008-0027-2
View
| DOI
2008 | Journal Article | IST-REx-ID: 2755
Erdös, L., Schlein, B., & Yau, H. (2008). Ground-state energy of a low-density Bose gas: A second-order upper bound. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.78.053627
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, S., & Pietrzak, K. Z. (2008). Leakage resilient cryptography (pp. 293–302). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2008.56
View
| DOI
2008 | Journal Article | IST-REx-ID: 3435 |
Bollback, J. P., York, T., & Nielsen, R. (2008). Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.107.085019
View
| DOI
| Download (ext.)