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

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

Improved data structures for fully dynamic biconnectivity
M.H. Henzinger, SIAM Journal on Computing 29 (2000) 1761–1815.
LibreCat: https://research-explorer.ista.ac.at/record/11893
DOI: 10.1137/s0097539794263907

Inequalities for Schrödinger operators and applications to the stability of matter problem 
R. Seiringer, in:, American Mathematical Society, 2000, pp. 53–72.
LibreCat: https://research-explorer.ista.ac.at/record/2325
DOI: 10.1090/conm/529

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33

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

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4512
DOI: 10.1007/3-540-44929-9_38

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12

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.
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

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

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.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5

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.
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

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.
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2

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.
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

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.
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15

Population genetics of multiple loci
N.H. Barton, Genetics Research 75 (2000) 371–373.
LibreCat: https://research-explorer.ista.ac.at/record/4276
DOI: 10.1017/S0016672300239220