Concepedia

Pierre-Alain Reynier

PR

Statistics

Publications

10

Citations

321

H-Index

10

Active since

2003

Affiliations

Centre National de la Recherche Scientifique(Current)

Aix-Marseille Université

École Normale Supérieure Paris-Saclay

Laboratoire Bordelais de Recherche en Informatique

Laboratoire d’Informatique et Systèmes

Pierre-Alain Reynier is an author at Centre National de la Recherche Scientifique specializing in computer science, computing, and automata theory.

Publications per year

2003–2019

10

Publications

10

Active replication in Delta-4

Marc Chérèque, David Powell, Pierre-Alain Reynier et al. · 2003 · 85 citations

Computing, Computer Engineering, Computer Science +14

Transducers, logic and algebra for functions of finite words

Emmanuel Filiot, Pierre-Alain Reynier · ACM SIGLOG News · 2016 · 77 citations · Full text

Computing, Computer Science, Mathematics +16

Timed Petri nets and timed automata: On the discriminating power of zeno sequences

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier · Information and Computation · 2007 · 32 citations

Computing, Computer Engineering, Computer Science +11

Extended Timed Automata and Time Petri Nets

Patricia Bouyer, Pierre-Alain Reynier, Serge Haddad · 2006 · 25 citations · Full text

Computing, Computer Science, Formal Methods +12

Undecidability Results for Timed Automata with Silent Transitions

Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier · Fundamenta Informaticae · 2009 · 22 citations

Computing, Computer Science, Mathematics +13

1–5 of 10