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


2015 | Conference Paper | IST-REx-ID: 12881 | OA
Martius, Georg S, and Eckehard Olbrich. “Quantifying Self-Organizing Behavior of Autonomous Robots.” In Proceedings of the 13th European Conference on Artificial Life, 78. MIT Press, 2015. https://doi.org/10.7551/978-0-262-33027-5-ch018.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 11583 | OA
Matthee, Jorryt J, David Sobral, A. M. Swinbank, Ian Smail, P. N. Best, Jae-Woo Kim, Marijn Franx, Bo Milvang-Jensen, and Johan Fynbo. “A 10 Deg2 Lyman α Survey at Z=8.8 with Spectroscopic Follow-up: Strong Constraints on the Luminosity Function and Implications for Other Surveys.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2014. https://doi.org/10.1093/mnras/stu392.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 11789 | OA
Charikar, Moses, Monika H Henzinger, and Huy L. Nguyễn. “Online Bipartite Matching with Decomposable Weights.” In 22nd Annual European Symposium on Algorithms, 8737:260–71. Springer Nature, 2014. https://doi.org/10.1007/978-3-662-44777-2_22.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 11875 | OA
Bhattacharya, Sayan, Monika H Henzinger, and Giuseppe F. Italiano. “Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching.” In 26th Annual ACM-SIAM Symposium on Discrete Algorithms, 785–804. Society for Industrial and Applied Mathematics, 2014. https://doi.org/10.1137/1.9781611973730.54.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1309
Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” Nonlinear Differential Equations and Applications. Birkhäuser, 2014. https://doi.org/10.1007/s00030-013-0235-0.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1312
Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” Archive for Rational Mechanics and Analysis. Springer, 2014. https://doi.org/10.1007/s00205-013-0690-0.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1914
Sauer, Michael, and Jiří Friml. “Plant Biology: Gatekeepers of the Road to Protein Perdition.” Current Biology. Cell Press, 2014. https://doi.org/10.1016/j.cub.2013.11.019.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1935 | OA
Giuliani, Alessandro, Élliott Lieb, and Robert Seiringer. “Formation of Stripes and Slabs near the Ferromagnetic Transition.” Communications in Mathematical Physics. Springer, 2014. https://doi.org/10.1007/s00220-014-1923-2.
[Published Version] View | Files available | DOI | arXiv
 

2014 | Journal Article | IST-REx-ID: 2013 | OA
Lin, Shaowei, Caroline Uhler, Bernd Sturmfels, and Peter Bühlmann. “Hypersurfaces and Their Singularities in Partial Correlation Testing.” Foundations of Computational Mathematics. Springer, 2014. https://doi.org/10.1007/s10208-014-9205-0.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2154 | OA
Matoušek, Jiří, and Uli Wagner. “On Gromov’s Method of Selecting Heavily Covered Points.” Discrete & Computational Geometry. Springer, 2014. https://doi.org/10.1007/s00454-014-9584-7.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2225 | OA
Bloemendal, Alex, László Erdös, Antti Knowles, Horng Yau, and Jun Yin. “Isotropic Local Laws for Sample Covariance and Generalized Wigner Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2014. https://doi.org/10.1214/EJP.v19-3054.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2234 | OA
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Markov Decision Processes with Multiple Long-Run Average Objectives.” Logical Methods in Computer Science. International Federation of Computational Logic, 2014. https://doi.org/10.2168/LMCS-10(1:13)2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2236 | OA
Jetchev, Dimitar, and Krzysztof Z Pietrzak. “How to Fake Auxiliary Input.” edited by Yehuda Lindell, 8349:566–90. Springer, 2014. https://doi.org/10.1007/978-3-642-54242-8_24.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2407 | OA
Lieb, Élliott, and Robert Seiringer. “Equivalence of Two Definitions of the Effective Mass of a Polaron.” Journal of Statistical Physics. Springer, 2014. https://doi.org/10.1007/s10955-013-0791-z.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös, László, Paul Bourgade, and Horng Yau. “Universality of General β-Ensembles.” Duke Mathematical Journal. Duke University Press, 2014. https://doi.org/10.1215/00127094-2649752.
[Preprint] View | DOI | Download Preprint (ext.)
 

2014 | Journal Article | IST-REx-ID: 348
Cadavid, Doris, Maria Ibáñez, Umberto Anselmi Tamburini, Oscar Durá, Marco De La Torre, and Andreu Cabot. “Thermoelectric Properties of Bottom up Assembled Bi2S 3-XTex Nanocomposites.” International Journal of Nanotechnology. Inderscience Enterprises Limited , 2014. https://doi.org/10.1504/IJNT.2014.063787.
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2216 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Ritankar Majumdar. “Edit Distance for Timed Automata,” 303–12. Springer, 2014. https://doi.org/10.1145/2562059.2562141.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-187-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-191-v1-1.
[Published Version] View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 6739 | OA
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “From Polar to Reed-Muller Codes: A Technique to Improve the Finite-Length Performance.” IEEE Transactions on Communications. IEEE, 2014. https://doi.org/10.1109/tcomm.2014.2345069.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed. SpringerBriefs in Applied Sciences and Technology. Cham: Springer Nature, 2014. https://doi.org/10.1007/978-3-319-05957-0.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2167 | OA
Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.” In IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE, 2014. https://doi.org/10.1109/ICST.2014.50.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book Chapter | IST-REx-ID: 10899
Barton, Nicholas H. “Differentiation.” In Encyclopedia of Biodiversity, 2nd ed., 508–15. Elsevier, 2013. https://doi.org/10.1016/b978-0-12-384719-5.00031-9.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 11856 | OA
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Dynamic Approximate All-Pairs Shortest Paths: Breaking the O(Mn) Barrier and Derandomization.” In 54th Annual Symposium on Foundations of Computer Science, 538–47. Institute of Electrical and Electronics Engineers, 2013. https://doi.org/10.1109/focs.2013.64.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2209
Biedl, Therese, Martin Held, and Stefan Huber. “Recognizing Straight Skeletons and Voronoi Diagrams and Reconstructing Their Input,” 37–46. IEEE, 2013. https://doi.org/10.1109/ISVD.2013.11.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2244 | OA
Matoušek, Jiří, Eric Sedgwick, Martin Tancer, and Uli Wagner. “Untangling Two Systems of Noncrossing Curves.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-319-03841-4_41.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 245 | OA
Baier, Stephan, and Timothy D Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2013. https://doi.org/10.1515/crelle.2012.039.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.
[Submitted Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2698 | OA
Erdös, László, Søren Fournais, and Jan Solovej. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society. European Mathematical Society, 2013. https://doi.org/10.4171/JEMS/416.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2828 | OA
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs.” Journal of the ACM. ACM, 2013. https://doi.org/10.1145/2450142.2450146.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2837 | OA
Erdös, László, Antti Knowles, Horng Yau, and Jun Yin. “The Local Semicircle Law for a General Class of Random Matrices.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2013. https://doi.org/10.1214/EJP.v18-2473.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” In 17th IAPR International Conference on Discrete Geometry for Computer Imagery, 7749:XV–XIX. Springer, 2013. https://doi.org/10.1007/978-3-642-37067-0.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2854 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.” Journal of Computer and System Sciences. Elsevier, 2013. https://doi.org/10.1016/j.jcss.2012.12.001.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications. Elsevier, 2013. https://doi.org/10.1016/j.comgeo.2012.02.010.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5409 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Rupak Majumdar. Edit Distance for Timed Automata. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-144-v1-1.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 11751
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/10.1007/s10853-012-6463-6.
[Preprint] View | DOI | arXiv
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning, Timothy D, and Stephan Baier. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter, 2012. https://doi.org/10.1515/crelle.2012.039.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 238
Baier, Stephan, and Timothy D Browning. “Inhomogeneous Quadratic Congruences.” Functiones et Approximatio, Commentarii Mathematici. Adam Mickiewicz University Press, 2012. https://doi.org/10.7169/facm/2012.47.2.9.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2401 | OA
Lieb, Élliott, and Robert Seiringer. “Further Implications of the Bessis-Moussa-Villani Conjecture.” Journal of Statistical Physics. Springer, 2012. https://doi.org/10.1007/s10955-012-0585-8.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 243
Browning, Timothy D, and Roger Heath Brown. “Quadratic Polynomials Represented by Norm Forms.” Geometric and Functional Analysis. Springer Basel, 2012. https://doi.org/10.1007/s00039-012-0168-5.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2767
Erdös, László, Horng Yau, and Jun Yin. “Bulk Universality for Generalized Wigner Matrices.” Probability Theory and Related Fields. Springer, 2012. https://doi.org/10.1007/s00440-011-0390-3.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2775
Erdös, László, and Horng Yau. “Universality of Local Spectral Statistics of Random Matrices.” Bulletin of the American Mathematical Society. American Mathematical Society, 2012. https://doi.org/10.1090/S0273-0979-2012-01372-1.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2777
Erdös, László, Søren Fournais, and Jan Solovej. “Relativistic Scott Correction in Self-Generated Magnetic Fields.” Journal of Mathematical Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.3697417.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2772
Erdös, László, Søren Fournais, and Jan Solovej. “Second Order Semiclassics with Self Generated Magnetic Fields.” Annales Henri Poincare. Birkhäuser, 2012. https://doi.org/10.1007/s00023-011-0150-z.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2774
Erdös, László, Søren Fournais, and Jan Solovej. “Scott Correction for Large Atoms and Molecules in a Self-Generated Magnetic Field.” Communications in Mathematical Physics. Springer, 2012. https://doi.org/10.1007/s00220-012-1468-1.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2778
Bourgade, Paul, László Erdös, and Horng Yau. “Bulk Universality of General β-Ensembles with Non-Convex Potential.” Journal of Mathematical Physics. American Institute of Physics, 2012. https://doi.org/10.1063/1.4751478.
View | DOI
 

2012 | Conference Paper | IST-REx-ID: 2891 | OA
Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative Automata.” In Leibniz International Proceedings in Informatics, 18:362–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362.
[Published Version] View | Files available | DOI
 

2012 | Journal Article | IST-REx-ID: 3131 | OA
Weissman, Daniel, and Nicholas H Barton. “Limits to the Rate of Adaptive Substitution in Sexual Populations.” PLoS Genetics. Public Library of Science, 2012. https://doi.org/10.1371/journal.pgen.1002740.
[Published Version] View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 3133 | OA
Edelsbrunner, Herbert, and Michael Kerber. “Alexander Duality for Functions: The Persistent Behavior of Land and Water and Shore.” In Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry , 249–58. ACM, 2012. https://doi.org/10.1145/2261250.2261287.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Conference Paper | IST-REx-ID: 3284 | OA
Kolmogorov, Vladimir, and Stanislav Živný. “The Complexity of Conservative Valued CSPs,” 750–59. SIAM, 2012.
View | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 345
Cadavid, Doris, Maria Ibáñez, Stéphane Gorsse, Antonio López, Albert Cirera, Joan Morante, and Andreu Cabot. “Bottom-up Processing of Thermoelectric Nanocomposites from Colloidal Nanocrystal Building Blocks: The Case of Ag2Te–PbTe.” Journal of Nanoparticle Research. Kluwer, 2012. https://doi.org/10.1007/s11051-012-1328-0.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 7074
Lukas, K. C., G. Joshi, Kimberly A Modic, Z. F. Ren, and C. P. Opeil. “Thermoelectric Properties of Ho-Doped Bi0.88Sb0.12.” Journal of Materials Science. Springer Nature, 2012. https://doi.org/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.” In GPU Computing Gems Emerald Edition, 413–26. Science Direct, 2011. https://doi.org/10.1016/B978-0-12-384988-5.00027-9.
View | DOI
 

2011 | Book Chapter | IST-REx-ID: 2116 | OA
Maas, Jan, and Jan Van Neerven. “Gradient Estimates and Domain Identification for Analytic Ornstein-Uhlenbeck Operators.” In Parabolic Problems, 80:463–77. Birkhäuser, 2011. 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ászló, and Antti Knowles. “Quantum Diffusion and Delocalization for Band Matrices with General Distribution.” Annales Henri Poincare. Birkhäuser, 2011. https://doi.org/10.1007/s00023-011-0104-5.
View | DOI
 

2011 | Journal Article | IST-REx-ID: 2764
Erdös, László, Benjamin Schlein, and Horng Yau. “Universality of Random Matrices and Local Relaxation Flow.” Inventiones Mathematicae. Springer, 2011. https://doi.org/10.1007/s00222-010-0302-7.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 2975
Camenisch, Jan, Stephan Krenn, and Victor Shoup. “A Framework for Practical Universally Composable Zero-Knowledge Protocols.” edited by Dong Lee and Xiaoyun Wang, 7073:449–67. Springer, 2011. https://doi.org/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,” 207–16. ACM, 2011. https://doi.org/10.1145/1998196.1998228.
View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3239
Faust, Sebastian, Krzysztof Z Pietrzak, and Daniele Venturi. “Tamper Proof Circuits How to Trade Leakage for Tamper Resilience,” 6755:391–402. Springer, 2011. https://doi.org/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,” 6597:58–69. Springer, 2011. https://doi.org/10.1007/978-3-642-19571-6_5.
View | DOI
 

2011 | Conference Paper | IST-REx-ID: 3326 | OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.
[Submitted Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3346 | OA
Brázdil, Tomáš, Václav Brožek, Krishnendu Chatterjee, Vojtěch Forejt, and Antonín Kučera. “Two Views on Multiple Mean Payoff Objectives in Markov Decision Processes.” IEEE, 2011. https://doi.org/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.” In Forces and Tension in Development, edited by Michel Labouesse, 95:189–213. Elsevier, 2011. https://doi.org/10.1016/B978-0-12-385065-2.00006-2.
View | DOI
 

2011 | Technical Report | IST-REx-ID: 5384 | OA
Chatterjee, Krishnendu, and Mathieu Tracol. Decidable Problems for Probabilistic Automata on Infinite Words. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0004.
[Published Version] View | Files available | DOI
 

2011 | Conference Paper | IST-REx-ID: 3345 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Energy and Mean-Payoff Parity Markov Decision Processes,” 6907:206–18. Springer, 2011. 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 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Energy and Mean-Payoff Parity Markov Decision Processes. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0001.
[Published Version] View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 2309
Stauber, Tobias, Gaia Novarino, and Thomas Jentsch. “The CLC Family of Chloride Channels and Transporters.” In Physiology and Pathology of Chloride Transporters and Channels in the Nervous System, 209–31. Elsevier, 2010. https://doi.org/10.1016/B978-0-12-374373-2.00012-1.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2389 | OA
Hainzl, Christian, and Robert Seiringer. “Asymptotic Behavior of Eigenvalues of Schrödinger Type Operators with Degenerate Kinetic Energy.” Mathematische Nachrichten. Wiley-Blackwell, 2010. https://doi.org/10.1002/mana.200810195.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2704
Erdös, László, Benjamin Schlein, and Horng Yau. “Derivation of the Gross-Pitaevskii Equation for the Dynamics of Bose-Einstein Condensate.” Annals of Mathematics. Princeton University Press, 2010. https://doi.org/10.4007/annals.2010.172.291.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 2761
Erdös, László, José Ramírez, Benjamin Schlein, and Horng Yau. “Universality of Sine-Kernel for Wigner Matrices with a Small Gaussian Perturbation.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2010. https://doi.org/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. Springer, 2010. https://doi.org/10.1007/s00220-009-0869-2.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 2763
Erdös, László, José Ramírez, Benjamin Schlein, Terence Tao, Vu Van, and Horng Yau. “Bulk Universality for Wigner Hermitian Matrices with Subexponential Decay.” Mathematical Research Letters. International Press, 2010.
View
 

2010 | Book | IST-REx-ID: 3899
Edelsbrunner, Herbert, and John Harer. Computational Topology: An Introduction. Vol. 69. American Mathematical Society, 2010. https://doi.org/10.1090/mbk/069.
View | Files available | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.” Logical Methods in Computer Science. International Federation of Computational Logic, 2010. https://doi.org/10.2168/LMCS-6(3:10)2010.
[Published Version] View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, Kari Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “Doomed Program Points.” Formal Methods in System Design. Springer, 2010. https://doi.org/10.1007/s10703-010-0102-0.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 1038 | OA
Mark, Manfred, Johann G Danzl, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Houssam Salami, et al. “Dark Resonances for Ground-State Transfer of Molecular Quantum Gases.” Applied Physics B: Lasers and Optics. Springer, 2009. https://doi.org/10.1007/s00340-009-3407-1.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1041 | OA
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Russell Hart, Andreas Liem, Holger Zellmer, and Hanns Nägerl. “Deeply Bound Ultracold Molecules in an Optical Lattice.” New Journal of Physics. IOP Publishing Ltd., 2009. https://doi.org/10.1088/1367-2630/11/5/055036.
View | DOI | Download None (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 1043 | OA
Danzl, Johann G, Manfred Mark, Elmar Haller, Mattias Gustavsson, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, Russell Hart, and Hanns Nägerl. “Precision Molecular Spectroscopy for Ground State Transfer of Molecular Quantum Gases.” Faraday Discussions. Royal Society of Chemistry, 2009. https://doi.org/10.1039/b820542f.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Book Chapter | IST-REx-ID: 164 | OA
Browning, Timothy D, and Roger Heath Brown. “Integral Points on Cubic Hypersurfaces.” In Analytic Number Theory: Essays in Honour of Klaus Roth, 75–90. Cambridge University Press, 2009.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2009 | Journal Article | IST-REx-ID: 2149 | OA
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. American Physical Society, 2009. https://doi.org/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. https://doi.org/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 | OA
Giuliani, Alessandro, and Robert Seiringer. “The Ground State Energy of the Weakly Interacting Bose Gas at High Density.” Journal of Statistical Physics. Springer, 2009. https://doi.org/10.1007/s10955-009-9718-0.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 2386 | OA
Seiringer, Robert, and Daniel Ueltschi. “Rigorous Upper Bound on the Critical Temperature of Dilute Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2009. https://doi.org/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.” In Encyclopedia of Complexity and Systems Science, edited by R. Meyers, 719–41. Springer, 2009. https://doi.org/10.1007/978-0-387-30440-3_48.
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3869
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, and Axel Legay. “Qualitative Logics and Equivalences for Probabilistic Systems.” Logical Methods in Computer Science. International Federation of Computational Logic, 2009. https://doi.org/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. Springer, 2009. https://doi.org/10.1007/s10994-009-5111-0.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/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. Genetics Society of America, 2009. https://doi.org/10.1534/genetics.108.099309.
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,” 199–208. IEEE, 2009. https://doi.org/10.1109/LICS.2009.16.
View | Files available | DOI
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
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. World Scientific Publishing, 2008. https://doi.org/10.1142/S0219025708003245.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2008.
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. John Wiley and Sons Ltd, 2008. https://doi.org/10.1112/plms/pdm032.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0428-2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute Bosons in Three Dimensions.” Communications in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0521-6.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl, Christian, and Robert Seiringer. “The BCS Critical Temperature for Potentials with Negative Scattering Length.” Letters in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s11005-008-0242-y.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2753
Erdös, László, Manfred Salmhofer, and Horng Yau. “Quantum Diffusion of the Random Schrödinger Evolution in the Scaling Limit.” Acta Mathematica. Springer, 2008. https://doi.org/10.1007/s11511-008-0027-2.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2755
Erdös, László, Benjamin Schlein, and Horng Yau. “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, 2008. https://doi.org/10.1103/PhysRevA.78.053627.
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, Stefan, and Krzysztof Z Pietrzak. “Leakage Resilient Cryptography,” 293–302. IEEE, 2008. https://doi.org/10.1109/FOCS.2008.56.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback, Jonathan P, Thomas York, and Rasmus Nielsen. “Estimation of 2Nes From Temporal Allele Frequency Data.” Genetics. Genetics Society of America, 2008. https://doi.org/10.1534/genetics.107.085019.
View | DOI | Download (ext.)
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications