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 | Journal Article | IST-REx-ID: 4625
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, Theoretical Computer Science 345 (2005) 139–170.
2004 | Journal Article | IST-REx-ID: 1464 | 
Generators for the cohomology ring of the moduli space of rank 2 higgs bundles
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
View
| DOI
| Download (ext.)
T. Hausel, M. Thaddeus, Proceedings of the London Mathematical Society 88 (2004) 632–658.
2004 | Journal Article | IST-REx-ID: 2356 |
One-dimensional behavior of dilute, trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 244 (2004) 347–393.
2004 | Journal Article | IST-REx-ID: 2355 |
Equivalent forms of the Bessis-Moussa-Villani conjecture
É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Journal of Statistical Physics 115 (2004) 185–190.
2004 | Conference Paper | IST-REx-ID: 3894
On Nash equilibria in stochastic games
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, Springer, 2004, pp. 26–40.
View
| DOI
K. Chatterjee, R. Majumdar, M. Jurdziński, in:, Springer, 2004, pp. 26–40.
2004 | Journal Article | IST-REx-ID: 4253
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
View
| Download (ext.)
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
2004 | Conference Paper | IST-REx-ID: 4629
Model checking discounted temporal properties
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
View
| DOI
L. De Alfaro, M. Faella, T.A. Henzinger, R. Majumdar, M. Stoelinga, in:, Springer, 2004, pp. 77–92.
2003 | Journal Article | IST-REx-ID: 208
Counting rational points on diagonal quadratic surfaces
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
View
| DOI
T.D. Browning, Quarterly Journal of Mathematics 54 (2003) 11–31.
2003 | Journal Article | IST-REx-ID: 2357 |
Poincaré inequalities in punctured domains
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Annals of Mathematics 158 (2003) 1067–1080.
2003 | Book Review | IST-REx-ID: 3139
Development of the monosynaptic stretch reflex circuit
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
View
| DOI
H. Chen, S. Hippenmeyer, S. Arber, E. Frank, Current Opinion in Neurobiology 13 (2003) 96–102.
2003 | Conference Paper | IST-REx-ID: 4628
Discounting the future in systems theory
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 1022–1037.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 30th International Colloquium on Automata, Languages and Programming, Springer, 2003, pp. 1022–1037.
2003 | Journal Article | IST-REx-ID: 4169
Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
View
| DOI
| PubMed | Europe PMC
J. Montero, B. Kilian, J. Chan, P. Bayliss, C.-P.J. Heisenberg, Current Biology 13 (2003) 1279–1289.
2002 | Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
View
| DOI
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
2002 | Journal Article | IST-REx-ID: 4207
Wnt signalling: Refocusing on Strabismus
C.-P.J. Heisenberg, Current Biology 12 (2002) R657–R659.
View
| DOI
| PubMed | Europe PMC
C.-P.J. Heisenberg, Current Biology 12 (2002) R657–R659.
2002 | Journal Article | IST-REx-ID: 3802 |
Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Bischofberger, J. Geiger, P.M. Jonas, Journal of Neuroscience 22 (2002) 10593–10602.
2002 | Journal Article | IST-REx-ID: 859
Evolution of the mouse polyubiquitin C gene
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
View
| DOI
| PubMed | Europe PMC
A. Perelygin, F. Kondrashov, I. Rogozin, M. Brinton, Journal of Molecular Evolution 55 (2002) 202–210.
2001 | Conference Paper | IST-REx-ID: 11914
Who links to whom: Mining linkage between Web sites
K. Bharat, B.-W. Chang, M.H. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
View
| DOI
K. Bharat, B.-W. Chang, M.H. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
2001 | Book | IST-REx-ID: 3586
Geometry and Topology for Mesh Generation
H. Edelsbrunner, Geometry and Topology for Mesh Generation, Cambridge University Press, 2001.
View
| Files available
| DOI
H. Edelsbrunner, Geometry and Topology for Mesh Generation, Cambridge University Press, 2001.
2001 | Journal Article | IST-REx-ID: 8522
A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.
View
| DOI
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.
2001 | Journal Article | IST-REx-ID: 8524
Diophantine properties of elements of SO(3)
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.
View
| DOI
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.