Eric Badouel

Available identifiers

zbMath Open badouel.ericMaRDI QIDQ805245

List of research outcomes

Publication	Date of Publication	Type
Dualities between nets and automata induced by schizophrenic objects	2022-12-16	Paper
Stratified petri nets	2022-12-09	Paper
Polynomial algorithms for the synthesis of bounded nets	2022-08-18	Paper
Context-free event domains are recognizable	2022-08-16	Paper
Modular design of domain-specific languages using splittings of catamorphisms	2018-11-23	Paper
Incremental Process Discovery using Petri Net Synthesis	2018-01-19	Paper
Petri Nets with Structured Data	2017-07-28	Paper
Petri net synthesis	2015-12-16	Paper
Petri Nets with Structured Data	2015-08-27	Paper
Attribute Grammars as Recursion Schemes over Cyclic Representations of Zippers	2014-06-27	Paper
Merging hierarchically-structured documents in workflow systems	2014-01-24	Paper
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition	2013-11-29	Paper
On the α-Reconstructibility of Workflow Nets	2012-09-04	Paper
A modal interface theory for component-based design	2012-07-04	Paper
Nets Enriched over Closed Monoidal Structures	2010-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5190771	2009-07-27	Paper
Concurrent secrets	2008-01-04	Paper
An axiomatization of the token game based on Petri algebras	2007-07-24	Paper
Automata, Languages and Programming	2006-01-10	Paper
The synthesis of Petri nets from path-automatic specifications	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4421727	2003-09-01	Paper
Distributing finite automata through Petri net synthesis	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q2743234	2001-09-27	Paper
Context-free event domains are recognizable	1999-05-03	Paper
The synthesis problem for elementary net systems is NP-complete	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4247291	1998-01-01	Paper
Trace nets and process automata	1996-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q4028343	1993-03-28	Paper
On guarded recursion	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3353234	1989-01-01	Paper

Research outcomes over time

This page was built for person: Eric Badouel