Travelled to:1 × Portugal
1 × Spain
Collaborated with:∅ J.Chenou G.Guillou L.Bernardinello P.Darondeau L.Hélouët G.E.Kouamou C.Morvan
Talks about:distribut (1) algorithm (1) synthesi (1) signatur (1) polynomi (1) collabor (1) approach (1) infinit (1) grammat (1) environ (1)
Person: Eric Badouel
DBLP: Badouel:Eric
Contributed to:
2015
2005
19891995Wrote 4 papers:
- SAC-2015-BadouelHKM #approach #collaboration #distributed
- A grammatical approach to data-centric case management in a distributed collaborative environment (EB, LH, GEK, CM), pp. 1834–1839.
- ICALP-2005-BadouelCG #algebra #petri net
- Petri Algebras (EB, JC, GG), pp. 742–754.
- CAAP-1989-Badouel #infinity #monad
- Terms and Infinite Trees as Monads Over a Signature (EB), pp. 89–103.
- TAPSOFT-1995-BadouelBD #algorithm #bound #polynomial #synthesis
- Polynomial Algorithms for the Synthesis of Bounded Nets (EB, LB, PD), pp. 364–378.