 | 1999 |
|---|
| 8 |       | Thomas A. Henzinger,
Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata.
Theor. Comput. Sci. 221(1-2): 369-392 (1999) |
| 1998 |
|---|
| 7 |  | Thomas A. Henzinger,
Peter W. Kopke,
Anuj Puri,
Pravin Varaiya:
What's Decidable about Hybrid Automata?
J. Comput. Syst. Sci. 57(1): 94-124 (1998) |
| 1997 |
|---|
| 6 | | Thomas A. Henzinger,
Peter W. Kopke:
Discrete-Time Control for Rectangular Hybrid Automata.
ICALP 1997: 582-593 |
| 1996 |
|---|
| 5 | | Thomas A. Henzinger,
Peter W. Kopke:
State Equivalences for Rectangular Hybrid Automata.
CONCUR 1996: 530-545 |
| 1995 |
|---|
| 4 | | Monika Rauch Henzinger,
Thomas A. Henzinger,
Peter W. Kopke:
Computing Simulations on Finite and Infinite Graphs.
FOCS 1995: 453-462 |
| 3 | | Thomas A. Henzinger,
Peter W. Kopke,
Howard Wong-Toi:
The Expressive Power of Clocks.
ICALP 1995: 417-428 |
| 2 | | Thomas A. Henzinger,
Peter W. Kopke,
Anuj Puri,
Pravin Varaiya:
What's decidable about hybrid automata?
STOC 1995: 373-382 |
| 1994 |
|---|
| 1 | | Thomas A. Henzinger,
Peter W. Kopke:
Verification Methods for the Divergent Runs of Clock Systems.
FTRTFT 1994: 351-372 |
