2006
•
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
• 4167:238-253 Canetti R, Cheung L, Kaynar D, Liskov M, Lynch N, Pereira O, Segala R
2005
•
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
• 3829:17-31 Lim H, Kaynar D, Lynch N, Mitra S
2004
•
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
• 3253:84-101 Kaynar DK, Lynch N
Conference
Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems
2003
•
Proceedings - Real-Time Systems Symposium
• 166-177 Kaynar DK, Lynch N, Segala R, Vaandrager F