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.
1788 Publications
2001 | Journal Article | IST-REx-ID: 2608
Developmental changes in the localisation of the mGluR1α subtype of metabotropic glutamate receptors in Purkinje cells
G. López Bendito, R. Shigemoto, R. Luján, J. Juíz, Neuroscience 105 (2001) 413–429.
View
| DOI
| PubMed | Europe PMC
G. López Bendito, R. Shigemoto, R. Luján, J. Juíz, Neuroscience 105 (2001) 413–429.
2001 | Journal Article | IST-REx-ID: 2419
A continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
View
| DOI
U. Wagner, E. Welzl, Discrete & Computational Geometry 26 (2001) 205–219.
2001 | Journal Article | IST-REx-ID: 2348 | 
A discrete density matrix theory for atoms in strong magnetic fields
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.
2001 | Journal Article | IST-REx-ID: 2345 |
On the maximal ionization of atoms in strong magnetic fields
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.
2001 | Journal Article | IST-REx-ID: 2341 |
Atoms with bosonic "electrons" in strong magnetic fields
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
View
| DOI
| Download None (ext.)
| arXiv
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.
2001 | Conference Paper | IST-REx-ID: 2340 |
Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
View
| DOI
| Download None (ext.)
| arXiv
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.
2001 | Journal Article | IST-REx-ID: 841
Footprints of primordial introns on the eukaryotic genome: still no clear traces
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
View
| DOI
| PubMed | Europe PMC
Y. Wolf, F. Kondrashov, E. Koonin, Trends in Genetics 17 (2001) 499–501.
2000 | Conference Paper | IST-REx-ID: 11802
Web information retrieval - an algorithmic perspective
M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
View
| DOI
M.H. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
2000 | Journal Article | IST-REx-ID: 11893
Improved data structures for fully dynamic biconnectivity
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
View
| DOI
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
2000 | Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 11th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
2000 | Conference Paper | IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
2000 | Conference Paper | IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
View
| DOI
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
2000 | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
2000 | Book Chapter | IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
| DOI
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
View
| DOI
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
2000 | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.
View
| DOI
T.A. Henzinger, J. Raskin, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 145–159.
2000 | Journal Article | IST-REx-ID: 4197
Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
View
| DOI
| PubMed | Europe PMC
C.-P.J. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
2000 | Journal Article | IST-REx-ID: 4010
Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
View
| DOI
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.