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, T. A., Majumdar, R., & Stoelinga, M. (2005). Model checking discounted temporal properties. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2005.07.033
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 1464 | 
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. Oxford University Press. https://doi.org/10.1112/S0024611503014618
View
| DOI
| Download (ext.)
2004 |Published| Journal Article | IST-REx-ID: 2356 |
Lieb, É., Seiringer, R., & Yngvason, J. (2004). One-dimensional behavior of dilute, trapped Bose gases. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-003-0993-3
View
| DOI
| Download (ext.)
2004 |Published| Journal Article | IST-REx-ID: 2355 |
Lieb, É., & Seiringer, R. (2004). Equivalent forms of the Bessis-Moussa-Villani conjecture. Journal of Statistical Physics. Springer. https://doi.org/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. (2004). On Nash equilibria in stochastic games (Vol. 3210, pp. 26–40). Presented at the CSL: Computer Science Logic, Springer. https://doi.org/10.1007/978-3-540-30124-0_6
View
| DOI
2004 |Published| Journal Article | IST-REx-ID: 4253
Barton, N. H., Etheridge, A., & Sturm, A. (2004). Coalescence in a Random Background. Annals of Applied Probability. Institute of Mathematical Statistics.
View
| Download (ext.)
2004 |Published| Conference Paper | IST-REx-ID: 4629
De Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R., & Stoelinga, M. (2004). Model checking discounted temporal properties (Vol. 2988, pp. 77–92). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-540-24730-2_6
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 208
Browning, T. D. (2003). Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qjmath/54.1.11
View
| DOI
2003 |Published| Journal Article | IST-REx-ID: 2357 |
Lieb, É., Seiringer, R., & Yngvason, J. (2003). Poincaré inequalities in punctured domains. Annals of Mathematics. Princeton University Press. https://doi.org/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. (2003). Development of the monosynaptic stretch reflex circuit. Current Opinion in Neurobiology. Elsevier. https://doi.org/10.1016/S0959-4388(03)00006-0
View
| DOI
2003 |Published| Conference Paper | IST-REx-ID: 4628
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2003). Discounting the future in systems theory. In Proceedings of the 30th International Colloquium on Automata, Languages and Programming (Vol. 2719, pp. 1022–1037). Eindhoven, The Netherlands: Springer. https://doi.org/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.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View
| DOI
| PubMed | Europe PMC
2002 |Published| Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). 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, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 4207
Heisenberg, C.-P. J. (2002). Wnt signalling: Refocusing on Strabismus. Current Biology. Cell Press. https://doi.org/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, P. M. (2002). Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. Society for Neuroscience. https://doi.org/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. (2002). Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. Springer. https://doi.org/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, M. H., & Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICDM.2001.989500
View
| DOI
2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner, H. (2001). Geometry and Topology for Mesh Generation (Vol. 7). Cambridge University Press. https://doi.org/10.1017/CBO9780511530067
View
| Files available
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8522
Kaloshin, V., & Hunt, B. R. (2001). 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. American Mathematical Society. https://doi.org/10.1090/s1079-6762-01-00090-7
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8524
Kaloshin, V., & Rodnianski, I. (2001). Diophantine properties of elements of SO(3). Geometric And Functional Analysis. Springer Nature. https://doi.org/10.1007/s00039-001-8222-8
View
| DOI