Julien Bernet
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On Distributed Program Specification and Synthesis in Architectures with Cycles Lecture Notes in Computer Science | 2009-03-11 | Paper |
| From Asynchronous to Synchronous Specifications for Distributed Program Synthesis SOFSEM 2008: Theory and Practice of Computer Science | 2008-03-07 | Paper |
| Fundamentals of Computation Theory Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Permissive strategies: from parity games to safety games RAIRO - Theoretical Informatics and Applications | 2002-01-01 | Paper |
| Permissive strategies: from parity games to safety games RAIRO - Theoretical Informatics and Applications | 2002-01-01 | Paper |
Research outcomes over time
This page was built for person: Julien Bernet
