Search results for: Mihalis Yannakakis
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Keynote Speeches > 1-5
Lecture Notes in Computer Science > Stabilization, Safety, and Security of Distributed Systems > Invited Talks Abstracts > 2-2
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Specification and verification of concurrent programs in CESAR > 315-330
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 42-56
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 169-178
Lecture Notes in Computer Science > Implementation and Applications of Automata > Invited Lectures > 23-32
Lecture Notes in Computer Science > STACS 2006 > 634-645
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Invited Talks and Tutorials > 14-14
Lecture Notes in Computer Science > Automata, Languages and Programming > Reasoning and Verification > 797-808