We stand with Ukraine  

Peter W. Kopke

Affiliations:
  • William H. Kopke Jr. Inc., Lake Success
  • Cornell University, Computer Science Department


According to our database1, Peter W. Kopke authored at least 7 papers between 1994 and 1999.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Discrete-Time Control for Rectangular Hybrid Automata.
[BibTeX]
[DOI]
Thomas A. Henzinger
,
Peter W. Kopke
Theor. Comput. Sci., 1999

1998
What's Decidable about Hybrid Automata?
[BibTeX]
[DOI]
Thomas A. Henzinger
,
Peter W. Kopke
,
Anuj Puri
,
Pravin Varaiya
J. Comput. Syst. Sci., 1998

1996
The Theory of Rectangular Hybrid Automata.
[BibTeX]
Peter W. Kopke
PhD thesis, 1996

State Equivalences for Rectangular Hybrid Automata.
[BibTeX]
[DOI]
Thomas A. Henzinger
,
Peter W. Kopke
Proceedings of the CONCUR '96, 1996

1995
The Expressive Power of Clocks.
[BibTeX]
[DOI]
Thomas A. Henzinger
,
Peter W. Kopke
,
Howard Wong-Toi
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Computing Simulations on Finite and Infinite Graphs.
[BibTeX]
[DOI]
Monika Rauch Henzinger
,
Thomas A. Henzinger
,
Peter W. Kopke
Proceedings of the 36th Annual Symposium on Foundations of Computer Science, 1995

1994
Verification Methods for the Divergent Runs of Clock Systems.
[BibTeX]
[DOI]
Thomas A. Henzinger
,
Peter W. Kopke
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994


  Loading...