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.




5735 Publications

2016 | Published | Journal Article | IST-REx-ID: 1491 | OA
The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases
M. Lewin, P. Nam, N. Rougerie, Transactions of the American Mathematical Society 368 (2016) 6131–6157.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1523 | OA
On topological minors in random simplicial complexes
A. Gundert, U. Wagner, Proceedings of the American Mathematical Society 144 (2016) 1815–1828.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1486 | OA
The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties
C. Hainzl, R. Seiringer, Journal of Mathematical Physics 57 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1480 | OA
Exponential varieties
M. Michałek, B. Sturmfels, C. Uhler, P. Zwiernik, Proceedings of the London Mathematical Society 112 (2016) 27–56.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1292 | OA
Computing the Thurston–Bennequin invariant in open books
S. Durst, M. Kegel, M.D. Klukas, Acta Mathematica Hungarica 150 (2016) 441–455.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1608 | OA
Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1545 | OA
Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1617 | OA
On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1620 | OA
The external field dependence of the BCS critical temperature
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1612 | OA
CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1881 | OA
Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1206 | OA
Libration of strongly oriented polar molecules inside a superfluid
E. Redchenko, M. Lemeshko, ChemPhysChem 17 (2016) 3649–3654.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1485 | OA
Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis
D. De Martino, Physical Biology 13 (2016).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1261 | OA
Long-time behavior of a finite volume discretization for a fourth order diffusion equation
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1622 | OA
Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1833 | OA
On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1234 | OA
Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1327 | OA
Stochastic shortest path with energy constraints in POMDPs
T. Brázdil, K. Chatterjee, M. Chmelik, A. Gupta, P. Novotný, in:, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, ACM, 2016, pp. 1465–1466.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1391 | OA
Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed