 | 2011 |
|---|
| 10 |       | Pierre Chambart,
Alain Finkel,
Sylvain Schmitz:
Forward Analysis and Model Checking for Trace Bounded WSTS.
Petri Nets 2011: 49-68 |
| 2010 |
|---|
| 9 | | Pierre Chambart,
Philippe Schnoebelen:
Computing Blocker Sets for the Regular Post Embedding Problem.
Developments in Language Theory 2010: 136-147 |
| 8 | | Pierre Chambart,
Ph. Schnoebelen:
Toward a Compositional Theory of Leftist Grammars and Transformations.
FOSSACS 2010: 237-251 |
| 7 | | Pierre Chambart,
Philippe Schnoebelen:
Pumping and Counting on the Regular Post Embedding Problem.
ICALP (2) 2010: 64-75 |
| 6 | | Pierre Chambart,
Ph. Schnoebelen:
Toward a Compositional Theory of Leftist Grammars and Transformations
CoRR abs/1001.5047: (2010) |
| 5 | | Pierre Chambart,
Alain Finkel,
Sylvain Schmitz:
Forward Analysis and Model Checking for Bounded WSTS
CoRR abs/1004.2802: (2010) |
| 2008 |
|---|
| 4 | | Pierre Chambart,
Ph. Schnoebelen:
Mixing Lossy and Perfect Fifo Channels.
CONCUR 2008: 340-355 |
| 3 | | Pierre Chambart,
Ph. Schnoebelen:
The omega-Regular Post Embedding Problem.
FoSSaCS 2008: 97-111 |
| 2 | | Pierre Chambart,
Ph. Schnoebelen:
The Ordinal Recursive Complexity of Lossy Channel Systems.
LICS 2008: 205-216 |
| 2007 |
|---|
| 1 | | Pierre Chambart,
Ph. Schnoebelen:
Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems.
FSTTCS 2007: 265-276 |
Data released under the ODC-BY 1.0 license — See also our legal information page