Peter W. Kopke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–1997
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICALP | Discrete-Time Control for Rectangular Hybrid Automata. | Thomas A. Henzinger, Peter W. Kopke |
| 1996 | CONCUR | State Equivalences for Rectangular Hybrid Automata. | Thomas A. Henzinger, Peter W. Kopke |
| 1995 | FOCS | Computing Simulations on Finite and Infinite Graphs. | Monika Rauch Henzinger, Thomas A. Henzinger, Peter W. Kopke |
| 1995 | ICALP | The Expressive Power of Clocks. | Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi |
| 1995 | STOC | What's decidable about hybrid automata? | Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya |