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.
1621 Publications
2001 |Published| Conference (Editor) | IST-REx-ID: 4449
EMSOFT: Embedded Software
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
View
| DOI
T.A. Henzinger, ed., EMSOFT: Embedded Software, ACM, 2001.
2001 |Published| Conference Paper | IST-REx-ID: 4005
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2001, pp. 47–56.
View
| Download None (ext.)
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, in:, Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2001, pp. 47–56.
2001 |Published| Journal Article | IST-REx-ID: 4007
Dynamic skin triangulation
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
View
| DOI
H. Cheng, T. Dey, H. Edelsbrunner, J. Sullivan, Discrete & Computational Geometry 25 (2001) 525–568.
2001 |Published| Journal Article | IST-REx-ID: 3928 |
Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
M.K. Sixt, R. Hallmann, O. Wendler, K. Scharffetter Kochanek, L. Sorokin, Journal of Biological Chemistry 276 (2001) 18878–18887.
2001 |Published| Journal Article | IST-REx-ID: 2984 |
Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
2001 |Published| Journal Article | IST-REx-ID: 2611
Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
View
| DOI
| PubMed | Europe PMC
I. Ruocco, A. Cuello, R. Shigemoto, A. Ribeiro Da Silva, Neuroscience 108 (2001) 157–166.
2001 |Published| 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 |Published| 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 |Published| 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.
2000 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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 |Published| 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.