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.
545 Publications
2012 |Published| Journal Article | IST-REx-ID: 2774
Erdös, L., Fournais, S., & Solovej, J. (2012). Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-012-1468-1
View
| DOI
2012 |Published| Journal Article | IST-REx-ID: 2778
Bourgade, P., Erdös, L., & Yau, H. (2012). Bulk universality of general β-ensembles with non-convex potential. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4751478
View
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 2891 | 
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 |Published| Journal Article | IST-REx-ID: 3131 |
Weissman, D., & Barton, N. H. (2012). Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1002740
[Published Version]
View
| Files available
| DOI
2012 |Published| Conference Paper | IST-REx-ID: 3133 |
Edelsbrunner, H., & Kerber, M. (2012). Alexander duality for functions: The persistent behavior of land and water and shore. In Proceedings of the twenty-eighth annual symposium on Computational geometry (pp. 249–258). Chapel Hill, NC, USA: ACM. https://doi.org/10.1145/2261250.2261287
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 |Published| Conference Paper | IST-REx-ID: 3284 |
Kolmogorov, V., & Živný, S. (2012). The complexity of conservative valued CSPs (pp. 750–759). Presented at the SODA: Symposium on Discrete Algorithms, SIAM.
View
| Download (ext.)
2012 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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