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.

548 Publications


2005 |Published| Journal Article | IST-REx-ID: 2359 | OA
Lieb É, Seiringer R, Yngvason J. 2005. Justification of c-number substitutions in bosonic hamiltonians. Physical Review Letters. 94(8).
View | DOI | Download (ext.)
 

2005 |Published| Journal Article | IST-REx-ID: 2743
Erdös L, Hasler D, Solovej J. 2005. Existence of the D0-D4 bound state: A detailed proof. Annales Henri Poincare. 6(2), 247–267.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 3763
Shi L, Yu Y, Wojtan C, Chenney S. 2005. Controllable motion synthesis in a gaseous medium. The Visual Computer. 21(7), 474–487.
View | DOI
 

2005 |Published| Conference Paper | IST-REx-ID: 3893
Chatterjee K. 2005. Two-player nonzero-sum ω-regular games. CONCUR: Concurrency Theory, LNCS , vol. 3653, 413–427.
View | DOI
 

2005 |Published| Book Chapter | IST-REx-ID: 3433
Bollback JP. 2005.Posterior mapping and posterior predictive distributions. In: Statistical methods in Molecular Evolution. , 439–462.
View | DOI
 

2005 |Published| Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2005. Model checking discounted temporal properties. Theoretical Computer Science. 345(1), 139–170.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 1464 | OA
Hausel T, Thaddeus M. 2004. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. 88(3), 632–658.
View | DOI | Download (ext.)
 

2004 |Published| Journal Article | IST-REx-ID: 2356 | OA
Lieb É, Seiringer R, Yngvason J. 2004. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 244(2), 347–393.
View | DOI | Download (ext.)
 

2004 |Published| Journal Article | IST-REx-ID: 2355 | OA
Lieb É, Seiringer R. 2004. Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 115(1–2), 185–190.
View | DOI | Download (ext.)
 

2004 |Published| Conference Paper | IST-REx-ID: 3894
Chatterjee K, Majumdar R, Jurdziński M. 2004. On Nash equilibria in stochastic games. CSL: Computer Science Logic, LNCS , vol. 3210, 26–40.
View | DOI
 

2004 |Published| Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. 2004. Coalescence in a Random Background. Annals of Applied Probability. 14(2), 754–785.
View | Download (ext.)
 

2004 |Published| Conference Paper | IST-REx-ID: 4629
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2004. Model checking discounted temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2988, 77–92.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 208
Browning TD. 2003. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 54(1), 11–31.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 2357 | OA
Lieb É, Seiringer R, Yngvason J. 2003. Poincaré inequalities in punctured domains. Annals of Mathematics. 158(3), 1067–1080.
View | DOI | Download (ext.)
 

2003 |Published| Book Review | IST-REx-ID: 3139
Chen H, Hippenmeyer S, Arber S, Frank E. 2003. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 13(1), 96–102.
View | DOI
 

2003 |Published| Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. Proceedings of the 30th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View | DOI
 

2003 |Published| Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. 2003. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 13(15), 1279–1289.
View | DOI | PubMed | Europe PMC
 

2002 |Published| Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
View | DOI
 

2002 |Published| Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. 2002. Wnt signalling: Refocusing on Strabismus. Current Biology. 12(19), R657–R659.
View | DOI | PubMed | Europe PMC
 

2002 |Published| Journal Article | IST-REx-ID: 3802 | OA
Bischofberger J, Geiger J, Jonas PM. 2002. Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. 22(24), 10593–10602.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications