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.
10932 Publications
2013 | Published | Book | IST-REx-ID: 2306 | 
Danowski P, Pohl A. 2013. (Open) Linked Data in Bibliotheken, De Gruyter,p.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2315 |
Seiringer R, Yngvason J, Zagrebnov V. 2013. Disordered Bose-Einstein condensates with interaction. ICMP: International Congress on Mathematical Physics, 610–619.
View
| DOI
| Download None (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2319 |
Frank R, Hainzl C, Seiringer R, Solovej J. 2013. Derivation of Ginzburg-Landau theory for a one-dimensional system with contact interaction. OTAMP: Operator Theory, Analysis and Mathematical Physics, 57–88.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2327 |
Henzinger TA, Otop J. 2013. From model checking to model measuring. 8052, 273–287.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2404 |
Frank R, Lewin M, Lieb É, Seiringer R. 2013. A positive density analogue of the Lieb-Thirring inequality. Duke Mathematical Journal. 162(3), 435–495.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2405 |
Frank R, Lieb É, Seiringer R. 2013. Symmetry of bipolaron bound states for small Coulomb repulsion. Communications in Mathematical Physics. 319(2), 557–573.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2408 |
Grech P, Seiringer R. 2013. The excitation spectrum for weakly interacting Bosons in a trap. Communications in Mathematical Physics. 322(2), 559–591.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2410 |
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. 2013. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 1(3).
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2447 |
Piskac R, Wies T, Zufferey D. 2013. Automating separation logic using SMT. 8044, 773–789.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 245 |
Baier S, Browning TD. 2013. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. (680), 69–151.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2478
Budreck E, Kwon O, Jung J, Baudouin S, Thommen A, Kim H, Fukazawa Y, Harada H, Tabuchi K, Shigemoto R, Scheiffele P, Kim J. 2013. Neuroligin-1 controls synaptic abundance of NMDA-type glutamate receptors through extracellular coupling. PNAS. 110(2), 725–730.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 250 |
De La Bretèche R, Browning TD. 2013. Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. 108(4), 1030–1078.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2520 |
Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. 2013. The supervised IBP: Neighbourhood preserving infinite latent feature models. Proceedings of the 29th conference uncertainty in Artificial Intelligence. UAI: Uncertainty in Artificial Intelligence, 527–536.
[Submitted Version]
View
| Files available