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.
1966 Publications
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: 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: 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 | 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: 4477
Assume-guarantee reasoning for hierarchical hybrid systems
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
View
| DOI
T.A. Henzinger, M. Minea, V. Prabhu, in:, Proceedings of the 4th International Workshop on Hybrid Systems, Springer, 2001, pp. 275–290.
2001 | Published | Conference Paper | IST-REx-ID: 4479
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
View
| DOI
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 166–184.
2001 | Published | Conference Paper | IST-REx-ID: 4600
jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
View
| DOI
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.
2001 | Published | Conference Paper | IST-REx-ID: 4623
Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.
View
| DOI
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.
2001 | Published | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
2001 | Published | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View
| DOI
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
2001 | Published | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View
| DOI
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
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 | 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: 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.
2000 | Published | Journal Article | IST-REx-ID: 13437
Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.
View
| DOI
M. Macogonkosza, J. Przyborowski, R. Klajn, A. Kwast, Synlett 2000 (2000) 1773–1774.
2000 | Published | Journal Article | IST-REx-ID: 1455 |
Inscribing cubes and covering by rhombic dodecahedra via equivariant topology
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Hausel, E. Makai, A. Szücs, Mathematika 47 (2000) 371–397.
2000 | Published | Conference Paper | IST-REx-ID: 11802
Web information retrieval - an algorithmic perspective
M. Henzinger, in:, 8th Annual European Symposium on Algorithms, Springer Nature, 2000, pp. 1–8.
View
| DOI
M. 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. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
View
| DOI
M. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
2000 | Published | Journal Article | IST-REx-ID: 17823 |
The Discovery of a Luminous z = 5.80 Quasar from the Sloan Digital Sky Survey
Fan X, White RL, Davis M, Becker RH, Strauss MA, Haiman Z, Schneider DP, Gregg MD, Gunn JE, Knapp GR, Lupton RH, Anderson, Jr. JE, Anderson SF, Annis J, Bahcall NA, Boroski WN, Brunner RJ, Chen B, Connolly AJ, Csabai I, Doi M, Fukugita M, Hennessy GS, Hindsley RB, Ichikawa T, Ivezić Ž, Loveday J, Meiksin A, McKay TA, Munn JA, Newberg HJ, Nichol R, Okamura S, Pier JR, Sekiguchi M, Shimasaku K, Stoughton C, Szalay AS, Szokoly GP, Thakar AR, Vogeley MS, York DG. 2000. The Discovery of a Luminous z = 5.80 Quasar from the Sloan Digital Sky Survey. The Astronomical Journal. 120(3), 1167–1174.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Fan X, White RL, Davis M, Becker RH, Strauss MA, Haiman Z, Schneider DP, Gregg MD, Gunn JE, Knapp GR, Lupton RH, Anderson, Jr. JE, Anderson SF, Annis J, Bahcall NA, Boroski WN, Brunner RJ, Chen B, Connolly AJ, Csabai I, Doi M, Fukugita M, Hennessy GS, Hindsley RB, Ichikawa T, Ivezić Ž, Loveday J, Meiksin A, McKay TA, Munn JA, Newberg HJ, Nichol R, Okamura S, Pier JR, Sekiguchi M, Shimasaku K, Stoughton C, Szalay AS, Szokoly GP, Thakar AR, Vogeley MS, York DG. 2000. The Discovery of a Luminous z = 5.80 Quasar from the Sloan Digital Sky Survey. The Astronomical Journal. 120(3), 1167–1174.