Éric Badouel

ÉB

Statistics

Publications

Citations

726

H-Index

Active since

1991

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Institut national de recherche en sciences et technologies du numérique

Centre Inria de l'Université de Rennes

University of Gdańsk

Paris-Est Sup

Éric Badouel is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in computer science, computing, and petri nets.

Publications per year

1991–2016

Publications

Concurrent Secrets

Éric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski et al. · Discrete Event Dynamic Systems · 2007 · 139 citations

Natural Sciences, Computer Science, Cryptography +10

A Modal Interface Theory for Component-based Design

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · Fundamenta Informaticae · 2011 · 99 citations · Full text

Computing, Computer Science, Design +15

The synthesis problem for elementary net systems is NP-complete

Éric Badouel, Luca Bernardinello, Philippe Darondeau · Theoretical Computer Science · 1997 · 80 citations · Full text

Computing, Computer Engineering, Computer Science +12

Modal interfaces

Jean-Baptiste Raclet, Éric Badouel, Albert Benveniste et al. · 2009 · 59 citations

Computing, Computer Science, Computer Systems +13

Distributing Finite Automata Through Petri Net Synthesis

Éric Badouel, Benoı̂t Caillaud, Philippe Darondeau · Formal Aspects of Computing · 2002 · 53 citations

Computing, Computer Science, Computer Systems +10

1–5 of 17