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 |
|---|---|---|
| Forward analysis and model checking for trace bounded WSTS Theoretical Computer Science | 2016-06-03 | Paper |
| Forward analysis and model checking for trace bounded WSTS Applications and Theory of Petri Nets | 2011-06-29 | Paper |
| Pumping and counting on the regular Post embedding problem Automata, Languages and Programming | 2010-09-07 | Paper |
| Computing Blocker Sets for the Regular Post Embedding Problem Developments in Language Theory | 2010-08-31 | Paper |
| Toward a compositional theory of leftist grammars and transformations Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
| Mixing Lossy and Perfect Fifo Channels CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
| Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science | 2008-04-24 | Paper |
| The ω-Regular Post Embedding Problem Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Research outcomes over time
This page was built for person: Pierre Chambart
