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.

3229 Publications


2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee K, De Alfaro L, Henzinger TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi:10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

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

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

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

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček P, Skůpa P, Libus J, et al. The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. 2009;10(12). doi:10.1186/gb-2009-10-12-249
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee K, Henzinger TA. Probabilistic systems with limsup and liminf objectives. In: Vol 5489. Springer; 2009:32-45. doi:10.1007/978-3-642-03092-5_4
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl C, Seiringer R. Spectral properties of the BCS gap equation of superfluidity. In: World Scientific Publishing; 2008:117-136. doi:10.1142/9789812832382_0009
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer R. Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases. In: World Scientific Publishing; 2008:241-254. doi:10.1142/9789812832382_0017
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer R. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 2008;279(3):595-636. doi:10.1007/s00220-008-0428-2
View | DOI | Download (ext.)
 

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

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl C, Seiringer R. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 2008;84(2-3):99-107. doi:10.1007/s11005-008-0242-y
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Seiringer R, Yin J. Ground state energy of the low density hubbard model. Journal of Statistical Physics. 2008;131(6):1139-1154. doi:10.1007/s10955-008-9527-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Frank R, Lieb É, Seiringer R. Hardy-Lieb-Thirring inequalities for fractional Schrödinger operators. Journal of the American Mathematical Society. 2008;21(4):925-950. doi:10.1090/S0894-0347-07-00582-6
View | DOI | Download (ext.)
 

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

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

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

2008 | Journal Article | IST-REx-ID: 2383 | OA
Hainzl C, Lewin M, Seiringer R. A nonlinear model for relativistic electrons at positive temperature. Reviews in Mathematical Physics. 2008;20(10):1283-1307. doi:10.1142/S0129055X08003547
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Erdös L, Salmhofer M, Yau H. Feynman graphs and renormalization in quantum diffusion. In: World Scientific Publishing; 2008:167-182. doi:10.1142/9789812833556_0011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink JM, Göppl M, Baur M, et al. Climbing the Jaynes-Cummings ladder and observing its √n nonlinearity in a cavity QED system. Nature. 2008;454(7202):315-318. doi:10.1038/nature07112
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl M, Fragner A, Baur M, et al. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 2008;104(11). doi:10.1063/1.3010859
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas J, Van Neerven J. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 2008;11(4):603-626. doi:10.1142/S0219025708003245
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven J, Maas J. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 2008;13:151-164.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko M, Friedrich B. An analytic model of rotationally inelastic collisions of polar molecules in electric fields. Journal of Chemical Physics. 2008;129(2). doi:10.1063/1.2948392
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher AJ, Busch KE, de Bono M. A carbon dioxide avoidance behavior is integrated with responses to ambient oxygen and food in Caenorhabditis elegans. Proceedings of the National Academy of Sciences. 2008;105(23):8044-8049. doi:10.1073/pnas.0707607105
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel T, Rodríguez Villegas F. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 2008;174(3):555-624. doi:10.1007/s00222-008-0142-x
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson M, Haller E, Mark M, Danzl JG, Rojas Kopeinig G, Nägerl H. Control of interaction-induced dephasing of bloch oscillations. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.080404
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop S, Mark M, Ferlaino F, et al. Metastable feshbach molecules in high rotational states. Physical Review Letters. 2008;100(8). doi:10.1103/PhysRevLett.100.083002
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl JG, Haller E, Gustavsson M, et al. Quantum gas of deeply bound ground state molecules. Science. 2008;321(5892):1062-1066. doi:10.1126/science.1159909
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov A, Serbyn M. Nonlinear algebra and Bogoliubov’s recursion. Theoretical and Mathematical Physics. 2008;154(2):270-293. doi:10.1007/s11232-008-0026-7
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik G, Gregor T, Bialek W. The role of input noise in transcriptional regulation. PLoS One. 2008;3(7). doi:10.1371/journal.pone.0002774
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik G, Callan C, Bialek W. Information flow and optimization in transcriptional regulation. PNAS. 2008;105(34):12265-12270. doi:10.1073/pnas.0806077105
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3744 | OA
Tkačik G, Magnasco M. Decoding spike timing: The differential reverse-correlation method. Biosystems. 2008;93(1-2):90-100. doi:10.1016/j.biosystems.2008.04.011
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3751 | OA
Kinkhabwala A, Guet CC. Uncovering cis regulatory codes using synthetic promoter shuffling. PLoS One. 2008;3(4). doi:10.1371/journal.pone.0002030
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3822 | OA
Schmidt Hieber C, Jonas PM, Bischofberger J. Action potential initiation and propagation in hippocampal mossy fibre axons. Journal of Physiology. 2008;586(7):1849-1857. doi:10.1113/jphysiol.2007.150151
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3825 | OA
Aponte Y, Bischofberger J, Jonas PM. Efficient Ca(2+) buffering in fast-spiking basket cells of rat hippocampus. Journal of Physiology. 2008;586(8):2061-2075. doi:10.1113/jphysiol.2007.147298
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. The complexity of coverage. In: Vol 5356. Springer; 2008:91-106. doi:10.1007/978-3-540-89330-1_7
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4384 | OA
Guerraoui R, Henzinger TA, Jobstmann B, Singh V. Model checking transactional memories. In: ACM; 2008:372-382. doi:10.1145/1375581.1375626
View | Files available | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru E, Friml J. PIN polar targeting. Plant Physiology. 2008;147(4):1553-1559. doi:10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3435 | OA
Bollback JP, York T, Nielsen R. Estimation of 2Nes From Temporal Allele Frequency Data. Genetics. 2008;179(1):497-502. doi:10.1534/genetics.107.085019
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3504 | OA
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. In: Vol 2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2008:107-118. doi:10.4230/LIPIcs.FSTTCS.2008.1745
View | Files available | DOI
 

2007 | Journal Article | IST-REx-ID: 2367 | OA
Seiringer R. On the failure of subadditivity of the Wigner-Yanase entropy. Letters in Mathematical Physics. 2007;80(3):285-288. doi:10.1007/s11005-007-0159-x
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2370 | OA
Lieb É, Seiringer R, Yngvason J. Bose-Einstein condensation and spontaneous symmetry breaking. Reports on Mathematical Physics. 2007;59(3):389-399. doi:10.1016/S0034-4877(07)80074-7
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2371 | OA
Frank R, Lieb É, Seiringer R. Stability of relativistic matter with magnetic fields for nuclear charges up to the critical value. Communications in Mathematical Physics. 2007;275(2):479-489. doi:10.1007/s00220-007-0307-2
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2372 | OA
Frank R, Lieb É, Seiringer R, Siedentop H. Müller’s exchange-correlation energy in density-matrix-functional theory. Physical Review A - Atomic, Molecular, and Optical Physics. 2007;76(5). doi:10.1103/PhysRevA.76.052517
View | DOI | Download (ext.)
 

2007 | Journal Article | IST-REx-ID: 2373 | OA
Frank R, Hainzl C, Naboko S, Seiringer R. The critical temperature for the BCS equation at weak coupling. Journal of Geometric Analysis. 2007;17(4):559-567. doi:10.1007/BF02937429
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications