Peter W. Kopke

	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

Coauthor Index

1	Monika Rauch Henzinger (Monika Henzinger, Monika Rauch)	[4]
2	Thomas A. Henzinger	[1] [2] [3] [4] [5] [6] [7] [8]
3	Anuj Puri	[2] [7]
4	Pravin Varaiya	[2] [7]
5	Howard Wong-Toi	[3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page