Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5736 Publications
2016 | Published | Conference Paper | IST-REx-ID: 1103 | 
Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. 2016. Parallel reachability analysis for hybrid systems. MEMOCODE: Conference on Formal Methods and Models for System Design, 7797741.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1165 |
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 94–106.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1157 |
Lee J, Schnelli K. 2016. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 26(6), 3786–3839.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1434 |
Bao Z, Erdös L, Schnelli K. 2016. Local stability of the free additive convolution. Journal of Functional Analysis. 271(3), 672–719.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1143 |
Nam P, Rougerie N, Seiringer R. 2016. Ground states of large bosonic systems: The gross Pitaevskii limit revisited. Analysis and PDE. 9(2), 459–485.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1448 |
Fathi M, Maas J. 2016. Entropic Ricci curvature bounds for discrete interacting systems. The Annals of Applied Probability. 26(3), 1774–1806.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1204 |
Amir A, Lemeshko M, Tokieda T. 2016. Surprises in numerical expressions of physical constants. American Mathematical Monthly. 123(6), 609–612.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1524 |
Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1496 |
Amaro P, Fratini F, Safari L, Machado J, Guerra M, Indelicato P, Santos J. 2016. Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. 93(3), 032502.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1293 |
Solus LT, Uhler C, Yoshida R. 2016. Extremal positive semidefinite matrices whose sparsity pattern is given by graphs without K5 minors. Linear Algebra and Its Applications. 509, 247–275.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1287 |
Midya B, Konotop V. 2016. Modes and exceptional points in waveguides with impedance boundary conditions. Optics Letters. 41(20), 4621–4624.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1491 |
Lewin M, Nam P, Rougerie N. 2016. The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. 368(9), 6131–6157.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1523 |
Gundert A, Wagner U. 2016. On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. 144(4), 1815–1828.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1486 |
Hainzl C, Seiringer R. 2016. The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. 57(2), 021101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1480 |
Michałek M, Sturmfels B, Uhler C, Zwiernik P. 2016. Exponential varieties. Proceedings of the London Mathematical Society. 112(1), 27–56.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1292 |
Durst S, Kegel M, Klukas MD. 2016. Computing the Thurston–Bennequin invariant in open books. Acta Mathematica Hungarica. 150(2), 441–455.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Conference Paper | IST-REx-ID: 1526 |
Henzinger TA, Otop J, Samanta R. 2016. Lipschitz robustness of timed I/O systems. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 250–267.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1608 |
Sadel C. 2016. Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. 17(7), 1631–1675.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1545 |
Nam P, Napiórkowski MM, Solovej J. 2016. Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. 270(11), 4340–4368.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2016 | Published | Journal Article | IST-REx-ID: 1617 |
Pausinger F, Steinerberger S. 2016. On the discrepancy of jittered sampling. Journal of Complexity. 33, 199–216.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv