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.
543 Publications
2005 |Published| Journal Article | IST-REx-ID: 4625
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. Model checking discounted temporal properties. Theoretical Computer Science. 2005;345(1):139-170. doi:10.1016/j.tcs.2005.07.033
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 1464 | 
Hausel T, Thaddeus M. Generators for the cohomology ring of the moduli space of rank 2 higgs bundles. Proceedings of the London Mathematical Society. 2004;88(3):632-658. doi:10.1112/S0024611503014618
View
| DOI
| Download (ext.)
2004 |Published| Journal Article | IST-REx-ID: 2356 |
Lieb É, Seiringer R, Yngvason J. One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. 2004;244(2):347-393. doi:10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 |Published| Journal Article | IST-REx-ID: 2355 |
Lieb É, Seiringer R. Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. 2004;115(1-2):185-190. doi:10.1023/B:JOSS.0000019811.15510.27
View
| DOI
| Download (ext.)
2004 |Published| Conference Paper | IST-REx-ID: 3894
Chatterjee K, Majumdar R, Jurdziński M. On Nash equilibria in stochastic games. In: Vol 3210. Springer; 2004:26-40. doi:10.1007/978-3-540-30124-0_6
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 4253
Barton NH, Etheridge A, Sturm A. Coalescence in a Random Background. Annals of Applied Probability. 2004;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. Model checking discounted temporal properties. In: Vol 2988. Springer; 2004:77-92. doi:10.1007/978-3-540-24730-2_6
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 208
Browning TD. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 2003;54(1):11-31. doi:10.1093/qjmath/54.1.11
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2357 |
Lieb É, Seiringer R, Yngvason J. Poincaré inequalities in punctured domains. Annals of Mathematics. 2003;158(3):1067-1080. doi:10.4007/annals.2003.158.1067
View
| DOI
| Download (ext.)
2003 |Published| Book Review | IST-REx-ID: 3139
Chen H, Hippenmeyer S, Arber S, Frank E. Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. 2003;13(1):96-102. doi:10.1016/S0959-4388(03)00006-0
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. Discounting the future in systems theory. In: Proceedings of the 30th International Colloquium on Automata, Languages and Programming. Vol 2719. Springer; 2003:1022-1037. doi:10.1007/3-540-45061-0_79
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 2003;13(15):1279-1289. doi:10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 4207
Heisenberg C-PJ. Wnt signalling: Refocusing on Strabismus. Current Biology. 2002;12(19):R657-R659. doi:10.1016/S0960-9822(02)01160-0
View
| DOI
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 3802 |
Bischofberger J, Geiger J, Jonas PM. Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. 2002;22(24):10593-10602. doi:10.1523/JNEUROSCI.22-24-10593.2002
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 |Published| Journal Article | IST-REx-ID: 859
Perelygin A, Kondrashov F, Rogozin I, Brinton M. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 2002;55(2):202-210. doi:10.1007/s00239-002-2318-0
View
| DOI
| PubMed | Europe PMC
2001 |Published| Conference Paper | IST-REx-ID: 11914
Bharat K, Chang B-W, Henzinger MH, Ruhl M. Who links to whom: Mining linkage between Web sites. In: 1st IEEE International Conference on Data Mining. Institute of Electrical and Electronics Engineers; 2001:51-58. doi:10.1109/ICDM.2001.989500
View
| DOI
2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner H. Geometry and Topology for Mesh Generation. Vol 7. Cambridge University Press; 2001. doi:10.1017/CBO9780511530067
View
| Files available
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8522
Kaloshin V, Hunt BR. A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I. Electronic Research Announcements of the American Mathematical Society. 2001;7(4):17-27. doi:10.1090/s1079-6762-01-00090-7
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8524
Kaloshin V, Rodnianski I. Diophantine properties of elements of SO(3). Geometric And Functional Analysis. 2001;11(5):953-970. doi:10.1007/s00039-001-8222-8
View
| DOI