Une caractérisation des langages quasi-rationnels standards. - Joffroy Beauquier (Automatentheorie und Formale Sprachen, 1973)

Une caractérisation des générateurs standard. - Jean-Michel Autebert; Joffroy Beauquier (RAIRO Theor. Informatics Appl., 1974)

Générateurs algébriques non-ambigus. - Joffroy Beauquier (ICALP, 1976)

Contribution a l'etude de la complexite structurelle des langages algebriques. - Joffroy Beauquier (1977)

Ambiguite Forte. - Joffroy Beauquier (ICALP, 1978)

Un générateur inhéremment ambigu du cône des languages algébiques. - Joffroy Beauquier (RAIRO Theor. Informatics Appl., 1978)

Independence of linear and one-counter generators (extended abstract). - Joffroy Beauquier (FCT, 1979)

Strong Non-Deterministic Context-Free Languages. - Joffroy Beauquier (Theoretical Computer Science, 1979)

Quelques problèmes ouverts en théorie des langages algébriques. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Maurice Nivat (RAIRO Theor. Informatics Appl., 1979)

Generateurs Algebriques et Systemes de Paires Iterantes. - Joffroy Beauquier (Theor. Comput. Sci., 1979)

Deux Familles de Langages Incomparables - Joffroy Beauquier (Inf. Control., 1979)

Langages sur des alphabets infinis. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson (Discret. Appl. Math., 1980)

A New Operation Between Languages. - Joffroy Beauquier (FCT, 1981)

A Remark About a Substitution Property. - Joffroy Beauquier (Math. Syst. Theory, 1981)

Substitution of Semi-AFL'S. - Joffroy Beauquier (Theor. Comput. Sci., 1981)

Languages albébriques dominés par des langages unaires - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Michel Latteux (Inf. Control., 1981)

More about the "Geography" of Context-Free Languages - Joffroy Beauquier; Jean Berstel (Inf. Control., 1981)

Substitution of Bounded Rational Cone - Joffroy Beauquier; Michel Latteux (FOCS, 1982)

Formes de langages et de grammaires. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson (Acta Informatica, 1982)

Indécidabilité de la Condition IRS. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Michel Latteux (RAIRO Theor. Informatics Appl., 1982)

Prefix and Perfect Languages. - Joffroy Beauquier (CAAP, 1983)

On Context-Free Generators - Joffroy Beauquier; Françoise Gire (FOCS, 1983)

Computability of Probabilistic Parameters for Some Classes of Formal Languages. - Joffroy Beauquier; Loÿs Thimonier (MFCS, 1984)

Bicentres de langages algébriques. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Françoise Gire (Acta Informatica, 1984)

Remarques sur les Langages de Parenthèses. - Jean-Michel Autebert; Joffroy Beauquier; Luc Boasson; Géraud Sénizergues (Theor. Comput. Sci., 1984)

On formal languages, probabilities, paging and decoding algorithms. - Joffroy Beauquier; Loÿs Thimonier (FCT, 1985)

On the Equivalence of Synchronization Sets. - Joffroy Beauquier; Béatrice Bérard (CAAP, 1986)

On Commutative Context-Free Languages. - Joffroy Beauquier; Meera Blattner; Michel Latteux (J. Comput. Syst. Sci., 1987)

Une Note sur le Théorème de Caractérisation des Générateurs Algébriques. - Joffroy Beauquier; Françoise Gire (Theor. Comput. Sci., 1987)

Distribution of Sequential Processes. - Joffroy Beauquier; Antoine Petit 001 (MFCS, 1988)

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

Fault-Tolerant Naming and Mutual Exclusion. - Joffroy Beauquier (Semantics of Systems of Concurrent Processes, 1990)

A Linear Fault-Tolerant Naming Algorithm. - Joffroy Beauquier; Paul Gastin; Vincent Villain (WDAG, 1990)

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

Two Distributed Problems Involving Byzantine Processes. - Joffroy Beauquier (Theor. Comput. Sci., 1992)

Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. - Joffroy Beauquier; Sylvie Delaët (PODC, 1994)

Fault-Tolerant and Self-Stabilizing Ring Orientation. - Joffroy Beauquier; Oliver Debas; Synnöve Kekkonen-Moneta (SIROCCO, 1996)

Proving SelfStabilizing Randomized Protocols. - Joffroy Beauquier (OPODIS, 1997)

Self-Stabilizing Depth-First Token Passing on Rooted Networks. - Colette Johnen; Gianluigi Alari; Joffroy Beauquier; Ajoy Kumar Datta (WDAG, 1997)

On FTSS-solvable distributed problems. - Joffroy Beauquier; Synnöve Kekkonen-Moneta (WSS, 1997)

Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors. - Joffroy Beauquier; Synnöve Kekkonen-Moneta (Int. J. Syst. Sci., 1997)

Self-Stabilization with Global Rooted Synchronizers. - Luc Onana Alima; Joffroy Beauquier; Ajoy Kumar Datta; Sébastien Tixeuil (ICDCS, 1998)

k-Stabilization of Reactive Tasks. - Joffroy Beauquier; Christophe Genolini; Shay Kutten (PODC, 1998)

Memory Space Requirements for Self-Stabilizing Leader Election Protocols. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen (PODC, 1999)

Optimal Reactive k-Stabilization: The Case of Mutual Exclusion. - Joffroy Beauquier; Christophe Genolini; Shay Kutten (PODC, 1999)

A New Rewrite Method for Convergence of Self-Stabilizing Systems. - Joffroy Beauquier; Béatrice Bérard; Laurent Fribourg (DISC, 1999)

Self-stabilizing census with cut-through constraint. - Joffroy Beauquier; Ajoy Kumar Datta; Sébastien Tixeuil (WSS, 1999)

Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen (WSS, 2001)

Easy Stabilization with an Agent. - Joffroy Beauquier; Thomas Hérault; Elad Schiller (WSS, 2001)

Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. - Joffroy Beauquier; Béatrice Bérard; Laurent Fribourg; Frédéric Magniette (Distributed Comput., 2001)

Group Mutual Exclusion In Tree Networks. - Joffroy Beauquier; Sébastien Cantarell; Ajoy Kumar Datta; Franck Petit (ICPADS, 2002)

Fault-Local Stabilization: The Shortest Path Tree. - Joffroy Beauquier; Thomas Hérault (SRDS, 2002)

Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. - Joffroy Beauquier; Ajoy Kumar Datta; Maria Gradinariu; Frédéric Magniette (Chic. J. Theor. Comput. Sci., 2002)

Token-Based Self-Stabilizing Uniform Algorithms. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen; Jérôme Olivier Durand-Lose (J. Parallel Distributed Comput., 2002)

Group Mutual Exclusin in Tree Networks. - Joffroy Beauquier; Sébastien Cantarell; Ajoy Kumar Datta (J. Inf. Sci. Eng., 2003)

Observing locally self-stabilization. - Joffroy Beauquier; Laurence Pilard; Brigitte Rozoy (J. High Speed Networks, 2005)

Necessary and sufficient conditions for 1-adaptivity. - Joffroy Beauquier; Sylvie Delaët; Sammy Haddad (IPDPS, 2006)

A 1-Strong Self-stabilizing Transformer. - Joffroy Beauquier; Sylvie Delaët; Sammy Haddad (SSS, 2006)

All k -Bounded Policies Are Equivalent for Self-stabilization. - Joffroy Beauquier; Colette Johnen; Stéphane Messika (SSS, 2006)

Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. - Thomas Hérault; Pierre Lemarinier; Olivier Peres; Laurence Pilard; Joffroy Beauquier (SSS, 2006)

Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. - Joffroy Beauquier; Colette Johnen; Stéphane Messika (DISC, 2006)

Observing Locally Self-Stabilization in a Probabilistic Way. - Joffroy Beauquier; Laurence Pilard; Brigitte Rozoy (J. Aerosp. Comput. Inf. Commun., 2006)

A Model for Large Scale Self-Stabilization. - Thomas Hérault; Pierre Lemarinier; Olivier Peres; Laurence Pilard; Joffroy Beauquier (IPDPS, 2007)

Self-stabilizing counting in mobile sensor networks. - Joffroy Beauquier; Julien Clément 002; Stéphane Messika; Laurent Rosaz; Brigitte Rozoy (PODC, 2007)

Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. - Joffroy Beauquier; Julien Clément 002; Stéphane Messika; Laurent Rosaz; Brigitte Rozoy (DISC, 2007)

Transient fault detectors. - Joffroy Beauquier; Sylvie Delaët; Shlomi Dolev; Sébastien Tixeuil (Distributed Comput., 2007)

Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. - Joffroy Beauquier; Maria Gradinariu; Colette Johnen (Distributed Comput., 2007)

Analyze of Probabilistic Algorithms under Indeterministic Scheduler. - Joffroy Beauquier; Colette Johnen (ISPA, 2008)

Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents–the notion of speed. - Joffroy Beauquier; Janna Burman; Julien Clément 002; Shay Kutten (PODC, 2009)

Making Population Protocols Self-stabilizing. - Joffroy Beauquier; Janna Burman; Shay Kutten (SSS, 2009)

Self-stabilizing Synchronization in Mobile Sensor Networks with Covering. - Joffroy Beauquier; Janna Burman (DCOSS, 2010)

On utilizing speed in networks of mobile agents. - Joffroy Beauquier; Janna Burman; Julien Clément 002; Shay Kutten (PODC, 2010)

Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering. - Joffroy Beauquier; Janna Burman (OPODIS, 2011)

Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example. - Joffroy Beauquier; Peva Blanchard; Janna Burman; Sylvie Delaët (SSS, 2011)

A self-stabilizing transformer for population protocols with covering. - Joffroy Beauquier; Janna Burman; Shay Kutten (Theor. Comput. Sci., 2011)

Non-deterministic Population Protocols. - Joffroy Beauquier; Janna Burman; Laurent Rosaz; Brigitte Rozoy (OPODIS, 2012)

Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs. - Joffroy Beauquier; Peva Blanchard; Janna Burman (OPODIS, 2013)

Self-Stabilizing Paxos - Peva Blanchard; Shlomi Dolev; Joffroy Beauquier; Sylvie Delaët (CoRR, 2013)

Tight complexity analysis of population protocols with cover times - The ZebraNet example. - Joffroy Beauquier; Peva Blanchard; Janna Burman; Sylvie Delaët (Theor. Comput. Sci., 2013)

Practically Self-stabilizing Paxos Replicated State-Machine. - Peva Blanchard; Shlomi Dolev; Joffroy Beauquier; Sylvie Delaët (NETYS, 2014)

The Weakest Oracle for Symmetric Consensus in Population Protocols. - Joffroy Beauquier; Peva Blanchard; Janna Burman; Shay Kutten (ALGOSENSORS, 2015)

The Benefits of Entropy in Population Protocols. - Joffroy Beauquier; Peva Blanchard; Janna Burman; Rachid Guerraoui (OPODIS, 2015)

Space-Optimal Counting in Population Protocols. - Joffroy Beauquier; Janna Burman; Simon Clavière; Devan Sohier (DISC, 2015)

Time and Space Optimal Counting in Population Protocols. - James Aspnes; Joffroy Beauquier; Janna Burman; Devan Sohier (OPODIS, 2016)

On the Power of Oracle varOmega ? for Self-Stabilizing Leader Election in Population Protocols. - Joffroy Beauquier; Peva Blanchard; Janna Burman; Oksana Denysyuk (SSS, 2016)

Power-Aware Population Protocols. - Chuan Xu 002; Janna Burman; Joffroy Beauquier (ICDCS, 2017)

Self-stabilizing Distributed Stable Marriage. - Marie Laveau; George Manoussakis; Joffroy Beauquier; Thibault Bernard; Janna Burman; Johanne Cohen; Laurence Pilard (SSS, 2017)

Fast Beeping Protocols for Deterministic MIS and (Δ + 1)-Coloring in Sparse Graphs. - Joffroy Beauquier; Janna Burman; Fabien Dufoulon; Shay Kutten (INFOCOM, 2018)

Brief Announcement: Space-Optimal Naming in Population Protocols. - Janna Burman; Joffroy Beauquier; Devan Sohier (PODC, 2018)

Brief Announcement: Beeping a Time-Optimal Leader Election. - Fabien Dufoulon; Janna Burman; Joffroy Beauquier (PODC, 2018)

Brief Announcement: Time Efficient Self-stabilizing Stable Marriage. - Joffroy Beauquier; Thibault Bernard; Janna Burman; Shay Kutten; Marie Laveau (SSS, 2018)

Beeping a Deterministic Time-Optimal Leader Election. - Fabien Dufoulon; Janna Burman; Joffroy Beauquier (DISC, 2018)

Optimal Multi-broadcast with Beeps Using Group Testing. - Joffroy Beauquier; Janna Burman; Peter Davies 001; Fabien Dufoulon (SIROCCO, 2019)

Space-Optimal Naming in Population Protocols. - Janna Burman; Joffroy Beauquier; Devan Sohier (DISC, 2019)

Can Uncoordinated Beeps tell Stories? - Fabien Dufoulon; Janna Burman; Joffroy Beauquier (PODC, 2020)

Data collection in population protocols with non-uniformly random scheduler. - Chuan Xu 002; Joffroy Beauquier; Janna Burman; Shay Kutten; Thomas Nowak (Theor. Comput. Sci., 2020)

Treasure Hunt with Volatile Pheromones. - Evangelos Bampas; Joffroy Beauquier; Janna Burman; William Guy-Obé (DISC, 2023)