Quelques applications des automates à arbres infinis. - Guy Vidal-Naquet (ICALP, 1972)

Deterministic Languages of Petri Nets. - Guy Vidal-Naquet (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Petri Nets and Regular Languages. - Rüdiger Valk; Guy Vidal-Naquet (J. Comput. Syst. Sci., 1981)

Syntactical Properties of Unbounded Nets of Processors. - Joffroy Beauquier; Annie Choquet; Antoine Petit 001; Guy Vidal-Naquet (TAPSOFT, Vol.1, 1989)

Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications. - Yamina Sami; Guy Vidal-Naquet (PARLE (2), 1991)

Actors as a Parallel Programming Model. - Françoise Baude; Guy Vidal-Naquet (STACS, 1991)

Detection of Deadlocks in an Infinite Family of Nets. - Joffroy Beauquier; Annie Choquet; Antoine Petit 001; Guy Vidal-Naquet (STACS, 1991)

Suitability of the Propositional Temporal Logic to Express Properties of Real-Time Systems. - Eric Nassor; Guy Vidal-Naquet (STACS, 1992)

Modular Development of Control and Computational Modules Using Reactive Objects. - Frédéric Boulanger; Guy Vidal-Naquet (ECOOP Workshops, 1998)

A primitive execution model for heterogeneous modeling. - Frédéric Boulanger; Guy Vidal-Naquet (ICSOFT (1), 2006)

A Statechart-Based Model for the Semantic Composition of Web Services. - Youssef Gamha; Nacéra Bennacer; Lotfi Ben Romdhane 001; Guy Vidal-Naquet; Béchir el Ayeb (IEEE SCW, 2007)

A Generic Execution Framework for Models of Computation. - Cécile Hardebolle; Frédéric Boulanger; Dominique Marcadet; Guy Vidal-Naquet (MOMPES, 2007)

A Framework for the Semantic Composition of Web Services Handling User Constraints. - Youssef Gamha; Nacéra Bennacer; Guy Vidal-Naquet; Béchir el Ayeb; Lotfi Ben Romdhane 001 (ICWS, 2008)

Equivalence between Schedule Representations: Theory and Applications. - Matthieu Lemerre; Vincent David; Christophe Aussaguès; Guy Vidal-Naquet (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

A communication mechanism for resource isolation. - Matthieu Lemerre; Vincent David; Guy Vidal-Naquet (IIES@EuroSys, 2009)

A Realistic Model of Real-Time Systems for Efficient Scheduling. - Christian Fotsing; Annie Geniet; Guy Vidal-Naquet (SEW, 2009)

Tree scheduling versus sequential scheduling. - Christian Fotsing; Annie Geniet; Guy Vidal-Naquet (EDCC-CARS, 2010)

An Introduction to Time-Constrained Automata - Matthieu Lemerre; Vincent David; Christophe Aussaguès; Guy Vidal-Naquet (ICE, 2010)

On the reaction time of some synchronous systems - Ilias Garnier; Christophe Aussaguès; Vincent David; Guy Vidal-Naquet (ICE, 2011)

A Multi-Level Framework for Validation of Ontology-Driven and Community-Based Web Services Composition. - Nacéra Bennacer; Guy Vidal-Naquet (Int. J. Syst. Serv. Oriented Eng., 2012)