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.

5611 Publications


2012 | Published | Conference Paper | IST-REx-ID: 2317 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. 2012. Microscopic derivation of the Ginzburg-Landau model. ICMP: International Congress on Mathematical Physics, 575–583.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2318 | OA
Seiringer R. 2012. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2(3), 321–328.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2395 | OA
Frank R, Hainzl C, Seiringer R, Solovej J. 2012. Microscopic derivation of Ginzburg-Landau theory. Journal of the American Mathematical Society. 25(3), 667–713.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2396 | OA
Landon B, Seiringer R. 2012. The scattering length at positive temperature. Letters in Mathematical Physics. 100(3), 237–243.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2397 | OA
Hainzl C, Seiringer R. 2012. Low density limit of BCS theory and Bose-Einstein condensation of Fermion pairs. Letters in Mathematical Physics. 100(2), 119–138.
View | DOI | Download (ext.)
 

2012 | Published | Book Review | IST-REx-ID: 2398 | OA
Jakšić V, Ogata Y, Pillet C, Seiringer R. 2012. Quantum hypothesis testing and non-equilibrium statistical mechanics. Reviews in Mathematical Physics. 24(6).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2400 | OA
Frank R, Lieb É, Seiringer R. 2012. Binding of polarons and atoms at threshold. Communications in Mathematical Physics. 313(2), 405–424.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2401 | OA
Lieb É, Seiringer R. 2012. Further implications of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 149(1), 86–91.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2402 | OA
Frank R, Seiringer R. 2012. Lieb-Thirring inequality for a model of particles with point interactions. Journal of Mathematical Physics. 53(9).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2403 | OA
Seiringer R, Yngvason J, Zagrebnov V. 2012. Disordered Bose-Einstein condensates with interaction in one dimension. Journal of Statistical Mechanics Theory and Experiment. 2012(11).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger I, De Matos Simoes R, Kupczok A, Gube M, Kothe E, Voigt K, Von Haeseler A. 2012. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 29(5), 1319–1334.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 242 | OA
Baier S, Browning TD, Marasingha G, Zhao L. 2012. Averages of shifted convolutions of d3 (n). Proceedings of the Edinburgh Mathematical Society. 55(3), 551–576.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 492 | OA
Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12, 116.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.
[Published Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 495 | OA
Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.
[Published Version] View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 496 | OA
Rabinovich A, Rubin S. 2012. Interpretations in trees with countably many branches. LICS: Symposium on Logic in Computer Science, LICS, , 6280474.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Published | Conference Paper | IST-REx-ID: 497 | OA
Chatterjee K, Chaubal S, Kamath P. 2012. Faster algorithms for alternating refinement relations. EACSL: European Association for Computer Science Logic, LIPIcs, vol. 16, 167–182.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 498 | OA
Pickup M, Field D, Rowell D, Young A. 2012. Predicting local adaptation in fragmented plant populations: Implications for restoration genetics. Evolutionary Applications. 5(8), 913–924.
[Published Version] View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt MK. 2012. Cell migration: Fibroblasts find a new way to get ahead. Journal of Cell Biology. 197(3), 347–349.
[Published Version] View | Files available | DOI
 

2012 | Published | Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed