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
2014 | Journal Article | IST-REx-ID: 11583 | 
Matthee JJ, Sobral D, Swinbank AM, et al. 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. 2014;440(3):2375-2387. doi:10.1093/mnras/stu392
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 11789 |
Charikar M, Henzinger MH, Nguyễn HL. Online bipartite matching with decomposable weights. In: 22nd Annual European Symposium on Algorithms. Vol 8737. Springer Nature; 2014:260-271. doi:10.1007/978-3-662-44777-2_22
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 11875 |
Bhattacharya S, Henzinger MH, Italiano GF. Deterministic fully dynamic data structures for vertex cover and matching. In: 26th Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2014:785-804. doi:10.1137/1.9781611973730.54
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1309
Fischer JL. Infinite speed of support propagation for the Derrida-Lebowitz-Speer-Spohn equation and quantum drift-diffusion models. Nonlinear Differential Equations and Applications. 2014;21(1):27-50. doi:10.1007/s00030-013-0235-0
View
| DOI
2014 | Journal Article | IST-REx-ID: 1312
Fischer JL. Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. Archive for Rational Mechanics and Analysis. 2014;211(3):771-818. doi:10.1007/s00205-013-0690-0
View
| DOI
2014 | Journal Article | IST-REx-ID: 1914
Sauer M, Friml J. Plant biology: Gatekeepers of the road to protein perdition. Current Biology. 2014;24(1):R27-R29. doi:10.1016/j.cub.2013.11.019
View
| DOI
2014 | Journal Article | IST-REx-ID: 1935 |
Giuliani A, Lieb É, Seiringer R. Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. 2014;331:333-350. doi:10.1007/s00220-014-1923-2
[Published Version]
View
| Files available
| DOI
| arXiv
2014 | Journal Article | IST-REx-ID: 2013 |
Lin S, Uhler C, Sturmfels B, Bühlmann P. Hypersurfaces and their singularities in partial correlation testing. Foundations of Computational Mathematics. 2014;14(5):1079-1116. doi:10.1007/s10208-014-9205-0
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2154 |
Matoušek J, Wagner U. On Gromov’s method of selecting heavily covered points. Discrete & Computational Geometry. 2014;52(1):1-33. doi:10.1007/s00454-014-9584-7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2225 |
Bloemendal A, Erdös L, Knowles A, Yau H, Yin J. Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability. 2014;19. doi:10.1214/EJP.v19-3054
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2234 |
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. Markov decision processes with multiple long-run average objectives. Logical Methods in Computer Science. 2014;10(1). doi:10.2168/LMCS-10(1:13)2014
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Conference Paper | IST-REx-ID: 2236 |
Jetchev D, Pietrzak KZ. How to fake auxiliary input. In: Lindell Y, ed. Vol 8349. Springer; 2014:566-590. doi: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 |
Lieb É, Seiringer R. Equivalence of two definitions of the effective mass of a polaron. Journal of Statistical Physics. 2014;154(1-2):51-57. doi:10.1007/s10955-013-0791-z
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Journal Article | IST-REx-ID: 2699 |
Erdös L, Bourgade P, Yau H. Universality of general β-ensembles. Duke Mathematical Journal. 2014;163(6):1127-1190. doi:10.1215/00127094-2649752
[Preprint]
View
| DOI
| Download Preprint (ext.)
2014 | Journal Article | IST-REx-ID: 348
Cadavid D, Ibáñez M, Anselmi Tamburini U, Durá O, De La Torre M, Cabot A. Thermoelectric properties of bottom up assembled Bi2S 3-xTex nanocomposites. International Journal of Nanotechnology. 2014;11(9-11):773-784. doi:10.1504/IJNT.2014.063787
View
| DOI
2014 | Conference Paper | IST-REx-ID: 2216 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit distance for timed automata. In: Springer; 2014:303-312. doi:10.1145/2562059.2562141
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2014 | Technical Report | IST-REx-ID: 5419 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria; 2014. doi:10.15479/AT:IST-2014-187-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Technical Report | IST-REx-ID: 5420 |
Chatterjee K, Ibsen-Jensen R. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria; 2014. doi:10.15479/AT:IST-2014-191-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 6739 |
Mondelli M, Hassani H, Urbanke R. From polar to Reed-Muller codes: A technique to improve the finite-length performance. IEEE Transactions on Communications. 2014;62(9):3084-3091. doi:10.1109/tcomm.2014.2345069
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Book | IST-REx-ID: 6853
Edelsbrunner H. A Short Course in Computational Geometry and Topology. 1st ed. Cham: Springer Nature; 2014. doi:10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2167 |
Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Book Chapter | IST-REx-ID: 10899
Barton NH. Differentiation. In: Encyclopedia of Biodiversity. 2nd ed. Elsevier; 2013:508-515. doi:10.1016/b978-0-12-384719-5.00031-9
View
| DOI
2013 | Conference Paper | IST-REx-ID: 11856 |
Henzinger MH, Krinninger S, Nanongkai D. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. In: 54th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 2013:538-547. doi:10.1109/focs.2013.64
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2209
Biedl T, Held M, Huber S. Recognizing straight skeletons and Voronoi diagrams and reconstructing their input. In: IEEE; 2013:37-46. doi:10.1109/ISVD.2013.11
View
| DOI
2013 | Conference Paper | IST-REx-ID: 2244 |
Matoušek J, Sedgwick E, Tancer M, Wagner U. Untangling two systems of noncrossing curves. 2013;8242:472-483. doi:10.1007/978-3-319-03841-4_41
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 245 |
Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013;(680):69-151. doi:10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2517 |
Almagor S, Boker U, Kupferman O. Formalizing and reasoning about quality. 2013;7966(Part 2):15-27. doi:10.1007/978-3-642-39212-2_3
[Submitted Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2698 |
Erdös L, Fournais S, Solovej J. Stability and semiclassics in self-generated fields. Journal of the European Mathematical Society. 2013;15(6):2093-2113. doi:10.4171/JEMS/416
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2828 |
Kolmogorov V, Živný S. The complexity of conservative valued CSPs. Journal of the ACM. 2013;60(2). doi:10.1145/2450142.2450146
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2837 |
Erdös L, Knowles A, Yau H, Yin J. The local semicircle law for a general class of random matrices. Electronic Journal of Probability. 2013;18(59):1-58. doi:10.1214/EJP.v18-2473
[Published Version]
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. In: 17th IAPR International Conference on Discrete Geometry for Computer Imagery. Vol 7749. Springer; 2013:XV-XIX. doi:10.1007/978-3-642-37067-0
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2854 |
Chatterjee K, De Alfaro L, Henzinger TA. Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences. 2013;79(5):640-657. doi:10.1016/j.jcss.2012.12.001
[Published Version]
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2939
Chen C, Kerber M. An output sensitive algorithm for persistent homology. Computational Geometry: Theory and Applications. 2013;46(4):435-447. doi:10.1016/j.comgeo.2012.02.010
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 5409 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 11751
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
[Preprint]
View
| DOI
| arXiv
2012 | Journal Article | IST-REx-ID: 171 |
Browning TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi:https://doi.org/10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 238
Baier S, Browning TD. Inhomogeneous quadratic congruences. Functiones et Approximatio, Commentarii Mathematici. 2012;47(2):267-286. doi:10.7169/facm/2012.47.2.9
View
| DOI
2012 | Journal Article | IST-REx-ID: 2401 |
Lieb É, Seiringer R. Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 2012;149(1):86-91. doi:10.1007/s10955-012-0585-8
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 243
Browning TD, Heath Brown R. Quadratic polynomials represented by norm forms. Geometric and Functional Analysis. 2012;22(5):1124-1190. doi:10.1007/s00039-012-0168-5
View
| DOI
2012 | Journal Article | IST-REx-ID: 2767
Erdös L, Yau H, Yin J. Bulk universality for generalized Wigner matrices. Probability Theory and Related Fields. 2012;154(1-2):341-407. doi:10.1007/s00440-011-0390-3
View
| DOI
2012 | Journal Article | IST-REx-ID: 2775
Erdös L, Yau H. Universality of local spectral statistics of random matrices. Bulletin of the American Mathematical Society. 2012;49(3):377-414. doi:10.1090/S0273-0979-2012-01372-1
View
| DOI
2012 | Journal Article | IST-REx-ID: 2777
Erdös L, Fournais S, Solovej J. Relativistic Scott correction in self-generated magnetic fields. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.3697417
View
| DOI
2012 | Journal Article | IST-REx-ID: 2772
Erdös L, Fournais S, Solovej J. Second order semiclassics with self generated magnetic fields. Annales Henri Poincare. 2012;13(4):671-730. doi:10.1007/s00023-011-0150-z
View
| DOI
2012 | Journal Article | IST-REx-ID: 2774
Erdös L, Fournais S, Solovej J. Scott correction for large atoms and molecules in a self-generated magnetic field. Communications in Mathematical Physics. 2012;312(3):847-882. doi:10.1007/s00220-012-1468-1
View
| DOI
2012 | Journal Article | IST-REx-ID: 2778
Bourgade P, Erdös L, Yau H. Bulk universality of general β-ensembles with non-convex potential. Journal of Mathematical Physics. 2012;53(9). doi:10.1063/1.4751478
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2891 |
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 3131 |
Weissman D, Barton NH. Limits to the rate of adaptive substitution in sexual populations. PLoS Genetics. 2012;8(6). doi:10.1371/journal.pgen.1002740
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 3133 |
Edelsbrunner H, Kerber M. Alexander duality for functions: The persistent behavior of land and water and shore. In: Proceedings of the Twenty-Eighth Annual Symposium on Computational Geometry . ACM; 2012:249-258. doi:10.1145/2261250.2261287
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Conference Paper | IST-REx-ID: 3284 |
Kolmogorov V, Živný S. The complexity of conservative valued CSPs. In: SIAM; 2012:750-759.
View
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 345
Cadavid D, Ibáñez M, Gorsse S, et al. Bottom-up processing of thermoelectric nanocomposites from colloidal nanocrystal building blocks: The case of Ag2Te–PbTe. Journal of Nanoparticle Research. 2012;14(12). doi:10.1007/s11051-012-1328-0
View
| DOI
2012 | Journal Article | IST-REx-ID: 7074
Lukas KC, Joshi G, Modic KA, Ren ZF, Opeil CP. Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. 2012;47(15):5729-5734. doi:10.1007/s10853-012-6463-6
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2098
Bickel B, Lang M. From sparse mocap to highly detailed facial animation. In: GPU Computing Gems Emerald Edition. Science Direct; 2011:413-426. doi:10.1016/B978-0-12-384988-5.00027-9
View
| DOI
2011 | Book Chapter | IST-REx-ID: 2116 |
Maas J, Van Neerven J. Gradient estimates and domain identification for analytic Ornstein-Uhlenbeck operators. In: Parabolic Problems. Vol 80. Birkhäuser; 2011:463-477. doi:10.1007/978-3-0348-0075-4_24
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 2766
Erdös L, Knowles A. Quantum diffusion and delocalization for band matrices with general distribution. Annales Henri Poincare. 2011;12(7):1227-1319. doi:10.1007/s00023-011-0104-5
View
| DOI
2011 | Journal Article | IST-REx-ID: 2764
Erdös L, Schlein B, Yau H. Universality of random matrices and local relaxation flow. Inventiones Mathematicae. 2011;185(1):75-119. doi:10.1007/s00222-010-0302-7
View
| DOI
2011 | Conference Paper | IST-REx-ID: 2975
Camenisch J, Krenn S, Shoup V. A Framework for Practical Universally Composable Zero-Knowledge Protocols. In: Lee D, Wang X, eds. Vol 7073. Springer; 2011:449-467. doi:10.1007/978-3-642-25385-0
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3367
Chen C, Kerber M. An output sensitive algorithm for persistent homology. In: ACM; 2011:207-216. doi:10.1145/1998196.1998228
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3239
Faust S, Pietrzak KZ, Venturi D. Tamper proof circuits How to trade leakage for tamper resilience. In: Vol 6755. Springer; 2011:391-402. doi:10.1007/978-3-642-22006-7_33
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3236
Jain A, Pietrzak KZ. Parallel repetition for leakage resilience amplification revisited. In: Vol 6597. Springer; 2011:58-69. doi:10.1007/978-3-642-19571-6_5
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3326 |
Almagor S, Boker U, Kupferman O. What’s decidable about weighted automata . In: Vol 6996. Springer; 2011:482-491. doi: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. Two views on multiple mean payoff objectives in Markov Decision Processes. In: IEEE; 2011. doi:10.1109/LICS.2011.10
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 | Book Chapter | IST-REx-ID: 3791
Krens G, Heisenberg C-PJ. Cell sorting in development. In: Labouesse M, ed. Forces and Tension in Development. Vol 95. Elsevier; 2011:189-213. doi:10.1016/B978-0-12-385065-2.00006-2
View
| DOI
2011 | Technical Report | IST-REx-ID: 5384 |
Chatterjee K, Tracol M. 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 K, Doyen L. Energy and mean-payoff parity Markov Decision Processes. In: Vol 6907. Springer; 2011:206-218. 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 K, Doyen L. 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 T, Novarino G, Jentsch T. The CLC family of chloride channels and transporters. In: Physiology and Pathology of Chloride Transporters and Channels in the Nervous System. Elsevier; 2010:209-231. doi:10.1016/B978-0-12-374373-2.00012-1
View
| DOI
2010 | Journal Article | IST-REx-ID: 2389 |
Hainzl C, Seiringer R. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 2010;283(3):489-499. doi:10.1002/mana.200810195
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 2704
Erdös L, Schlein B, Yau H. Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate. Annals of Mathematics. 2010;172(1):291-370. doi: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. Universality of sine-kernel for Wigner matrices with a small Gaussian perturbation. Electronic Journal of Probability. 2010;15(18):526-603. doi:10.1214/EJP.v15-768
View
| DOI
2010 | Journal Article | IST-REx-ID: 2756
Erdös L, Solovej J. Ground state energy of large atoms in a self-generated magnetic field. Communications in Mathematical Physics. 2010;294(1):229-249. doi: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. Bulk universality for Wigner Hermitian matrices with subexponential decay. Mathematical Research Letters. 2010;17(4):667-674.
View
2010 | Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. 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 K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi: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. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View
| DOI
2009 | Journal Article | IST-REx-ID: 1038 |
Mark M, Danzl JG, Haller E, et al. Dark resonances for ground-state transfer of molecular quantum gases. Applied Physics B: Lasers and Optics. 2009;95(2):219-225. doi:10.1007/s00340-009-3407-1
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1041 |
Danzl JG, Mark M, Haller E, et al. Deeply bound ultracold molecules in an optical lattice. New Journal of Physics. 2009;11. doi:10.1088/1367-2630/11/5/055036
View
| DOI
| Download None (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 1043 |
Danzl JG, Mark M, Haller E, et al. Precision molecular spectroscopy for ground state transfer of molecular quantum gases. Faraday Discussions. 2009;142:283-295. doi:10.1039/b820542f
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Book Chapter | IST-REx-ID: 164 |
Browning TD, Heath Brown R. Integral points on cubic hypersurfaces. In: Analytic Number Theory: Essays in Honour of Klaus Roth. Cambridge University Press; 2009:75-90.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2009 | Journal Article | IST-REx-ID: 2149 |
Lemeshko M, Friedrich B. 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. 2009;79(1). doi:10.1103/PhysRevA.79.012718
View
| DOI
| Download (ext.)
2009 | Book | IST-REx-ID: 227
Browning TD. 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 É, Seiringer R. The Stability of Matter in Quantum Mechanics. Cambridge University Press; 2009.
View
| Download None (ext.)
2009 | Journal Article | IST-REx-ID: 2384 |
Giuliani A, Seiringer R. The ground state energy of the weakly interacting Bose gas at high density. Journal of Statistical Physics. 2009;135(5-6):915-934. doi:10.1007/s10955-009-9718-0
View
| DOI
| Download (ext.)
2009 | Journal Article | IST-REx-ID: 2386 |
Seiringer R, Ueltschi D. Rigorous upper bound on the critical temperature of dilute Bose gases. Physical Review B - Condensed Matter and Materials Physics. 2009;80(1). doi:10.1103/PhysRevB.80.014502
View
| DOI
| Download (ext.)
2009 | Book Chapter | IST-REx-ID: 3747
Tkačik G, Bialek W. Cell Biology: Networks, regulation, pathways. In: Meyers R, ed. Encyclopedia of Complexity and Systems Science. Springer; 2009:719-741. doi: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. Qualitative logics and equivalences for probabilistic systems. Logical Methods in Computer Science. 2009;5(2). doi:10.2168/LMCS-5(2:7)2009
View
| DOI
2009 | Journal Article | IST-REx-ID: 3696
Lampert C, Blaschko M. Structured prediction by joint kernel support estimation. Machine Learning. 2009;77(2-3):249-269. doi:10.1007/s10994-009-5111-0
View
| DOI
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton NH, De Vladar H. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 2009;181(3):997-1011. doi:10.1534/genetics.108.099309
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. In: IEEE; 2009:199-208. doi:10.1109/LICS.2009.16
View
| Files available
| DOI
2008 | Journal Article | IST-REx-ID: 2120 |
Maas J, Van Neerven J. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 2008;11(4):603-626. doi:10.1142/S0219025708003245
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2121 |
Van Neerven J, Maas J. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 2008;13:151-164.
View
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 224
Browning TD, Dietmann R. On the representation of integers by quadratic forms. Proceedings of the London Mathematical Society. 2008;96(2):389-416. doi:10.1112/plms/pdm032
View
| DOI
2008 | Journal Article | IST-REx-ID: 2374 |
Seiringer R. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 2008;279(3):595-636. doi:10.1007/s00220-008-0428-2
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2382 |
Seiringer R, Yin J. The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. 2008;284(2):459-479. doi:10.1007/s00220-008-0521-6
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2377 |
Hainzl C, Seiringer R. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 2008;84(2-3):99-107. doi:10.1007/s11005-008-0242-y
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 2753
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. 2008;200(2):211-277. doi:10.1007/s11511-008-0027-2
View
| DOI
2008 | Journal Article | IST-REx-ID: 2755
Erdös L, Schlein B, Yau H. Ground-state energy of a low-density Bose gas: A second-order upper bound. Physical Review A - Atomic, Molecular, and Optical Physics. 2008;78(5). doi:10.1103/PhysRevA.78.053627
View
| DOI
2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski S, Pietrzak KZ. Leakage resilient cryptography. In: IEEE; 2008:293-302. doi:10.1109/FOCS.2008.56
View
| DOI
2008 | Journal Article | IST-REx-ID: 3435 |
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View
| DOI
| Download (ext.)
2008 | Journal Article | IST-REx-ID: 4548
Chatterjee K, Majumdar R, Henzinger TA. Stochastic limit-average games are in EXPTIME. International Journal of Game Theory. 2008;37(2):219-234. doi:10.1007/s00182-007-0110-5
View
| DOI
| Download (ext.)