Please note that IST 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.

3149 Publications


2009 | Conference Paper | IST-REx-ID: 4544 | OA
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
SnapShot: Auxin signaling and transport
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Auxin: A trigger for change in plant development
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Auxin transport routes in plant development
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
The PIN-FORMED (PIN) protein family of auxin transporters
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Spectral properties of the BCS gap equation of superfluidity
C. Hainzl, R. Seiringer, in:, World Scientific Publishing, 2008, pp. 117–136.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases
R. Seiringer, in:, World Scientific Publishing, 2008, pp. 241–254.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Free energy of a dilute Bose gas: Lower bound
R. Seiringer, Communications in Mathematical Physics 279 (2008) 595–636.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
Critical temperature and energy gap for the BCS equation
C. Hainzl, R. Seiringer, Physical Review B - Condensed Matter and Materials Physics 77 (2008).
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
The BCS critical temperature for potentials with negative scattering length
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 84 (2008) 99–107.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Ground state energy of the low density hubbard model
R. Seiringer, J. Yin, Journal of Statistical Physics 131 (2008) 1139–1154.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators
R. Frank, É. Lieb, R. Seiringer, Journal of the American Mathematical Society 21 (2008) 925–950.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
The BCS functional for general pair interactions
C. Hainzl, E. Hamza, R. Seiringer, J. Solovej, Communications in Mathematical Physics 281 (2008) 349–367.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
Non-linear ground state representations and sharp Hardy inequalities
R. Frank, R. Seiringer, Journal of Functional Analysis 255 (2008) 3407–3430.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
The Lieb-Liniger model as a limit of dilute bosons in three dimensions
R. Seiringer, J. Yin, Communications in Mathematical Physics 284 (2008) 459–479.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications