Costas Courcoubetis
Author
Alternate names Costas A. Courcoubetis, Costas Courcoubetis, C. A. Courcoubetis, C. Courcoubetis
Institution Chinese University of Hong Kong, Shenzhen
Past institutions Chinese University of Hong Kong, Shenzhen, Chinese University of Hong Kong, Singapore University of Technology and Design, Shenzhen Academy of Robotics, Engineering Systems (United States) +5 more
ORCID: Yes
H-index: 42
I10-index: 107
Works count: 256
Citations count: 11,330
The algorithmic analysis of hybrid systems
1995 · Rajeev Alur, Costas Courcoubetis, et al. · Theoretical Computer Science
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
1993 · Rajeev Alur, Costas Courcoubetis, et al. · Lecture notes in computer science
Model-checking for real-time systems
2002 · Rajeev Alur, Costas Courcoubetis, et al.