Bharat, K., Broder, A., Dean, J., &; Henzinger, M. H. (2000). A comparison of techniques to find mirrored hosts on the WWW. Journal of the American Society for Information Science. Wiley.https://doi.org/10.1002/1097-4571(2000)9999:9999&#60;::aid-asi1025&#62;3.0.co;2-0 
LibreCat: https://research-explorer.ista.ac.at/record/11770
DOI: 10.1002/1097-4571(2000)9999:9999<::aid-asi1025>3.0.co;2-0

Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective. In 8th Annual European Symposium on Algorithms (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature.https://doi.org/10.1007/3-540-45253-2_1 
LibreCat: https://research-explorer.ista.ac.at/record/11802
DOI: 10.1007/3-540-45253-2_1

Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. Society for Industrial &; Applied Mathematics.https://doi.org/10.1137/s0097539794263907 
LibreCat: https://research-explorer.ista.ac.at/record/11893
DOI: 10.1137/s0097539794263907

Seiringer, R. (2000). Inequalities for Schrödinger operators and applications to the stability of matter problemhttps://doi.org/10.1090/conm/529__(Vol. 529, pp. 53–72). Presented at the Arizona School of Analysis With Applications, American Mathematical Society.https://doi.org/10.1090/conm/529 
LibreCat: https://research-explorer.ista.ac.at/record/2325
DOI: 10.1090/conm/529

Baumgartner, B., &; Seiringer, R. (2000). On the ordering of energy levels in homogeneous magnetic fields. Letters in Mathematical Physics. Springer.https://doi.org/Â  Â  10.1023/A:1010978807635 
LibreCat: https://research-explorer.ista.ac.at/record/2343
DOI:     10.1023/A:1010978807635

Kaloshin, V. (2000). Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. Springer Nature.https://doi.org/10.1007/s002200050811 
LibreCat: https://research-explorer.ista.ac.at/record/8525
DOI: 10.1007/s002200050811

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.1007/3-540-44618-4_33 
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33

De Alfaro, L., Henzinger, T. A., &; Mang, F. (2000). Detecting errors before reaching them. In Proceedings of the 12th International Conference on Computer Aided Verification (Vol. 1855, pp. 186–201). Chicago, IL, USA: Springer.https://doi.org/10.1007/10722167_17 
LibreCat: https://research-explorer.ista.ac.at/record/4638
DOI: 10.1007/10722167_17

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

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

Alur, R., Henzinger, T. A., Lafferriere, G., &; Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE.https://doi.org/10.1109/5.871304  
LibreCat: https://research-explorer.ista.ac.at/record/4598
DOI: 10.1109/5.871304 

Henzinger, T. A., Majumdar, R., Mang, F., &; Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer.https://doi.org/10.1007/978-3-540-45099-3_12 
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12

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

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

Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan &; R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.https://doi.org/10.1007/978-3-642-59615-5 
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5

Henzinger, T. A., &; Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_21 
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

Henzinger, T. A., &; Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer.https://doi.org/10.1007/3-540-46541-3_2 
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2

Henzinger, T. A., &; Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer.https://doi.org/10.1007/3-540-46419-0_11 
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

Henzinger, T. A., &; Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer.https://doi.org/10.1007/3-540-46430-1_15 
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15

Barton, N. H. (2000). Population genetics of multiple loci. Genetics Research. Cambridge University Press.https://doi.org/10.1017/S0016672300239220 
LibreCat: https://research-explorer.ista.ac.at/record/4276
DOI: 10.1017/S0016672300239220