Search results for: David Janin
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 224-236
Lecture Notes in Computer Science > SOFSEM 2008: Theory and Practice of Computer Science > Foundations of Computer Science > 162-173
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Composition and Synthesis > 175-190
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 338-347
Lecture Notes in Computer Science > STACS 2001 > Contributions > 353-364
Lecture Notes in Computer Science > SOFSEM 2007: Theory and Practice of Computer Science > Foundations of Computer Science > 320-329
Information and Computation > 2015 > 243 > C > 222-248
Semigroup Forum > 2015 > 91 > 3 > 675-698
Information Processing Letters > 2007 > 103 > 3 > 94-101