Verification Methods for the Divergent Runs of Clock Systems. - Thomas A. Henzinger; Peter W. Kopke (FTRTFT, 1994)

Computing Simulations on Finite and Infinite Graphs. - Monika Rauch Henzinger; Thomas A. Henzinger; Peter W. Kopke (FOCS, 1995)

The Expressive Power of Clocks. - Thomas A. Henzinger; Peter W. Kopke; Howard Wong-Toi (ICALP, 1995)

State Equivalences for Rectangular Hybrid Automata. - Thomas A. Henzinger; Peter W. Kopke (CONCUR, 1996)

The Theory of Rectangular Hybrid Automata. - Peter W. Kopke (1996)

What's Decidable about Hybrid Automata? - Thomas A. Henzinger; Peter W. Kopke; Anuj Puri; Pravin Varaiya (J. Comput. Syst. Sci., 1998)

Discrete-Time Control for Rectangular Hybrid Automata. - Thomas A. Henzinger; Peter W. Kopke (Theor. Comput. Sci., 1999)