M. Hetzer and I. W. Mattaj, “An Atp-dependent, Ran-independent mechanism for nuclear import of the a and b spliceosome proteins,” Journal of Cell Biology, vol. 148, no. 2. Rockefeller University Press, pp. 293–304, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11126
DOI: 10.1083/jcb.148.2.293
PMID: 10648562

M. Hetzer, D. Bilbao-Cortés, T. C. Walther, O. J. Gruss, and I. W. Mattaj, “GTP hydrolysis by Ran is required for nuclear envelope assembly,” Molecular Cell, vol. 5, no. 6. Elsevier, pp. 1013–1024, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11127
DOI: 10.1016/s1097-2765(00)80266-x
PMID: 10911995

M. H. Henzinger, S. Rao, and H. N. Gabow, “Computing vertex connectivity: New bounds from old techniques,” Journal of Algorithms, vol. 34, no. 2. Elsevier, pp. 222–250, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11683
DOI: 10.1006/jagm.1999.1055

M. H. Henzinger, A. Heydon, M. Mitzenmacher, and M. Najork, “On near-uniform URL sampling,” Computer Networks, vol. 33, no. 1–6. Elsevier, pp. 295–308, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11685
DOI: 10.1016/s1389-1286(00)00055-4

S. Albers and M. H. Henzinger, “Exploring unknown environments,” SIAM Journal on Computing, vol. 29, no. 4. Society for Industrial and Applied Mathematics, pp. 1164–1188, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11694
DOI: 10.1137/s009753979732428x

K. Bharat, A. Broder, J. Dean, and M. H. Henzinger, “A comparison of techniques to find mirrored hosts on the WWW,” Journal of the American Society for Information Science, vol. 51, no. 12. Wiley, pp. 1114–1122, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11770
DOI: 10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0

M. H. Henzinger, “Web information retrieval - an algorithmic perspective,” in 8th Annual European Symposium on Algorithms, Saarbrücken, Germany, 2000, vol. 1879, pp. 1–8.
LibreCat: https://research-explorer.ista.ac.at/record/11802
DOI: 10.1007/3-540-45253-2_1

M. H. Henzinger, “Improved data structures for fully dynamic biconnectivity,” SIAM Journal on Computing, vol. 29, no. 6. Society for Industrial &; Applied Mathematics, pp. 1761–1815, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/11893
DOI: 10.1137/s0097539794263907

R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.
LibreCat: https://research-explorer.ista.ac.at/record/2325
DOI: 10.1090/conm/529

B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3. Springer, pp. 213–226, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/2343
DOI:     10.1023/A:1010978807635

V. Kaloshin, “Generic diffeomorphisms with superexponential growth of number of periodic orbits,” Communications in Mathematical Physics, vol. 211. Springer Nature, pp. 253–271, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/8525
DOI: 10.1007/s002200050811

L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” in Proceedings of the 11th International Conference on Concurrency Theory, University Park, PA, USA, 2000, vol. 1877, pp. 458–473.
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33

L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” in Proceedings of the 12th International Conference on Computer Aided Verification, Chicago, IL, USA, 2000, vol. 1855, pp. 186–201.
LibreCat: https://research-explorer.ista.ac.at/record/4638
DOI: 10.1007/10722167_17

L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, USA, 2000, pp. 141–154.
LibreCat: https://research-explorer.ista.ac.at/record/4627
DOI: 10.1109/LICS.2000.855763

T. A. Henzinger, “Masaccio: A formal model for embedded components,” in Proceedings of the 1st International Conference on Theoretical Computer Science , Sendai, Japan, 2000, vol. 1872, pp. 549–563.
LibreCat: https://research-explorer.ista.ac.at/record/4512
DOI: 10.1007/3-540-44929-9_38

R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7. IEEE, pp. 971–984, 2000.
LibreCat: https://research-explorer.ista.ac.at/record/4598
DOI: 10.1109/5.871304 

T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” in Proceedings of the 7th International Symposium on Static Analysis, Santa Barbara, CA, USA, 2000, vol. 1824, pp. 220–239.
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12

T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” in Proceedings of the 3rd International Workshop on Hybrid Systems, Pittsburgh, PA, USA, 2000, vol. 1790, pp. 130–144.
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” in Proceedings of the 2000 International Conference on Computer-Aided Design, San Jose, CA, USA, 2000, pp. 245–252.
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 10.1109/ICCAD.2000.896481

T. A. Henzinger, “The theory of hybrid automata,” in Verification of Digital and Hybrid Systems, vol. 170, M. Inan and R. Kurshan, Eds. Springer, 2000, pp. 265–292.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5