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| Journal Article | IST-REx-ID: 11892
Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing. Society for Industrial & Applied Mathematics, 2001. https://doi.org/10.1137/s0097539797327209.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 11914
Bharat, K., Bay-Wei Chang, Monika H Henzinger, and M. Ruhl. “Who Links to Whom: Mining Linkage between Web Sites.” In 1st IEEE International Conference on Data Mining, 51–58. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/10.1109/ICDM.2001.989500.
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 8524
Kaloshin, Vadim, and I. Rodnianski. “Diophantine Properties of Elements of SO(3).” Geometric And Functional Analysis. Springer Nature, 2001. https://doi.org/10.1007/s00039-001-8222-8.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_38.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_36.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems.” In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001. https://doi.org/10.1007/3-540-44685-0_24.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure.” In Proceedings of the 23rd International Conference on Software Engineering, 835–36. IEEE, 2001. https://doi.org/10.1109/ICSE.2001.919196.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:148–65. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_11.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.” In Proceedings of the 4th International Workshop on Hybrid Systems, 2034:275–90. Springer, 2001. https://doi.org/10.1007/3-540-45351-2_24.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” In Proceedings of the 1st International Workshop on Embedded Software, 2211:166–84. ACM, 2001. https://doi.org/10.1007/3-540-45449-7_12.
View
| DOI
2001 |Published| Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A, ed. EMSOFT: Embedded Software. Vol. 2211. ACM, 2001. https://doi.org/10.1007/3-540-45449-7.
View
| DOI
2001 |Published| Conference Paper | IST-REx-ID: 4005
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” In Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms, 47–56. SIAM, 2001.
View
| Download None (ext.)
2001 |Published| Journal Article | IST-REx-ID: 4007
Cheng, Ho, Tamal Dey, Herbert Edelsbrunner, and John Sullivan. “Dynamic Skin Triangulation.” Discrete & Computational Geometry. Springer, 2001. https://doi.org/10.1007/s00454-001-0007-1.
View
| DOI
2001 |Published| Journal Article | IST-REx-ID: 3928 | 
Sixt, Michael K, Rupert Hallmann, Olaf Wendler, Karin Scharffetter Kochanek, and Lydia Sorokin. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 2001. https://doi.org/10.1074/jbc.M010898200.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 2984 |
Swarup, Ranjan, Jiří Friml, Alan Marchant, Karin Ljung, Göran Sandberg, Klaus Palme, and Malcolm Bennett. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/10.1101/gad.210501.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 2611
Ruocco, Isabella, Augusto Cuello, Ryuichi Shigemoto, and Alfredo Ribeiro Da Silva. “Sympathectomies Lead to Transient Substance P-Immunoreactive Sensory Fibre Plasticity in the Rat Skin.” Neuroscience. Elsevier, 2001. https://doi.org/10.1016/S0306-4522(01)00158-0.
View
| DOI
| PubMed | Europe PMC
2001 |Published| Journal Article | IST-REx-ID: 2348 |
Hainzl, Christian, and Robert Seiringer. “A Discrete Density Matrix Theory for Atoms in Strong Magnetic Fields.” Communications in Mathematical Physics. Springer, 2001. https://doi.org/10.1007/s002200100373.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2001 |Published| Journal Article | IST-REx-ID: 2341 |
Baumgartner, Bernhard, and Robert Seiringer. “Atoms with Bosonic "Electrons" in Strong Magnetic Fields.” Annales Henri Poincare. Birkhäuser, 2001. https://doi.org/10.1007/PL00001032.
View
| DOI
| Download None (ext.)
| arXiv
2001 |Published| Conference Paper | IST-REx-ID: 2340 |
Seiringer, Robert. “Bosons in a Trap: Asymptotic Exactness of the Gross-Pitaevskii Ground State Energy Formula.” edited by Michael Demuth and Bert Schultze, 126:307–14. Birkhäuser, 2001. https://doi.org/10.1007/978-3-0348-8231-6.
View
| DOI
| Download None (ext.)
| arXiv
2000 |Published| Conference Paper | IST-REx-ID: 11802
Henzinger, Monika H. “Web Information Retrieval - an Algorithmic Perspective.” In 8th Annual European Symposium on Algorithms, 1879:1–8. Springer Nature, 2000. https://doi.org/10.1007/3-540-45253-2_1.
View
| DOI