×

zbMATH — the first resource for mathematics

Chambart, Pierre

Compute Distance To:
Author ID: chambart.pierre Recent zbMATH articles by "Chambart, Pierre"
Published as: Chambart, P.; Chambart, Pierre
Documents Indexed: 8 Publications since 2007

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 22 times in 15 Documents Cited by Year
Mixing lossy and perfect fifo channels (extended abstract). Zbl 1160.68460
Chambart, P.; Schnoebelen, Ph.
8
2008
Post embedding problem is not primitive recursive, with applications to channel systems. Zbl 1136.03030
Chambart, Pierre; Schnoebelen, Philippe
5
2007
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
Pumping and counting on the regular Post embedding problem. Zbl 1288.68151
Chambart, Pierre; Schnoebelen, Philippe
2
2010
The \(\omega \)-regular Post embedding problem. Zbl 1139.03031
Chambart, P.; Schnoebelen, Ph.
2
2008
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
1
2011
Computing blocker sets for the regular Post embedding problem. Zbl 1250.68152
Chambart, Pierre; Schnoebelen, Philippe
1
2010
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
1
2011
Pumping and counting on the regular Post embedding problem. Zbl 1288.68151
Chambart, Pierre; Schnoebelen, Philippe
2
2010
Computing blocker sets for the regular Post embedding problem. Zbl 1250.68152
Chambart, Pierre; Schnoebelen, Philippe
1
2010
Mixing lossy and perfect fifo channels (extended abstract). Zbl 1160.68460
Chambart, P.; Schnoebelen, Ph.
8
2008
The \(\omega \)-regular Post embedding problem. Zbl 1139.03031
Chambart, P.; Schnoebelen, Ph.
2
2008
Post embedding problem is not primitive recursive, with applications to channel systems. Zbl 1136.03030
Chambart, Pierre; Schnoebelen, Philippe
5
2007

Citations by Year