Person:805245

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
https://portal.mardi4nfdi.de/entity/Q5294164	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eric Badouel