Tameness and the power of programs over monoids in DA
Grosshans, Nathan, Mckenzie, Pierre, Segoufin, Luc
Published in Logical methods in computer science (02.08.2022)
Published in Logical methods in computer science (02.08.2022)
Get full text
Journal Article
Well Behaved Transition Systems
Blondin, Michael, Finkel, Alain, Mckenzie, Pierre
Published in Logical methods in computer science (01.01.2017)
Published in Logical methods in computer science (01.01.2017)
Get full text
Journal Article
Bounded Parikh Automata
Cadilhac, Michaël, Finkel, Alain, McKenzie, Pierre
Published in Electronic proceedings in theoretical computer science (17.08.2011)
Published in Electronic proceedings in theoretical computer science (17.08.2011)
Get full text
Journal Article
Handling infinitely branching well-structured transition systems
Blondin, Michael, Finkel, Alain, McKenzie, Pierre
Published in Information and computation (01.02.2018)
Published in Information and computation (01.02.2018)
Get full text
Journal Article
Better Complexity Bounds for Cost Register Automata
Allender, Eric, Krebs, Andreas, McKenzie, Pierre
Published in Theory of computing systems (01.04.2019)
Published in Theory of computing systems (01.04.2019)
Get full text
Journal Article
The complexity of intersecting finite automata having few final states
Blondin, Michael, Krebs, Andreas, McKenzie, Pierre
Published in Computational complexity (01.12.2016)
Published in Computational complexity (01.12.2016)
Get full text
Journal Article
The Algebraic Theory of Parikh Automata
Cadilhac, Michaël, Krebs, Andreas, McKenzie, Pierre
Published in Theory of computing systems (01.07.2018)
Published in Theory of computing systems (01.07.2018)
Get full text
Journal Article
EXTENSIONAL UNIFORMITY FOR BOOLEAN CIRCUITS
MCKENZIE, Pierre, THOMAS, Michael, VOLLMER, Heribert
Published in SIAM journal on computing (01.01.2010)
Published in SIAM journal on computing (01.01.2010)
Get full text
Journal Article
Affine Parikh automata
Cadilhac, Michaël, Finkel, Alain, McKenzie, Pierre
Published in RAIRO. Informatique théorique et applications (01.10.2012)
Published in RAIRO. Informatique théorique et applications (01.10.2012)
Get full text
Journal Article
Towards a Complexity Theory of Parallel Computation
Beame, Paul, McKenzie, Pierre
Published in Logic, Automata, and Computational Complexity (23.05.2023)
Published in Logic, Automata, and Computational Complexity (23.05.2023)
Get full text
Book Chapter
A well-structured framework for analysing petri net extensions
Finkel, Alain, McKenzie, Pierre, Picaronny, Claudine
Published in Information and computation (01.11.2004)
Published in Information and computation (01.11.2004)
Get full text
Journal Article