Joffroy Beauquier

103 papers A* 15A 15B 17C 11Journal 31Unranked 13

Year	Rank	Type	Title / Venue / Authors
2023	A	`conf`	Treasure Hunt with Volatile Pheromones. DISC Evangelos Bampas, Joffroy Beauquier, Janna Burman, William Guy-Obé
2020	A*	`conf`	Can Uncoordinated Beeps tell Stories? PODC Fabien Dufoulon, Janna Burman, Joffroy Beauquier
2020	J	`jnl`	Data collection in population protocols with non-uniformly random scheduler. Theor. Comput. Sci. Chuan Xu, Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak
2019	B	`conf`	Optimal Multi-broadcast with Beeps Using Group Testing. SIROCCO Joffroy Beauquier, Janna Burman, Peter Davies, Fabien Dufoulon
2019	A	`conf`	Space-Optimal Naming in Population Protocols. DISC Janna Burman, Joffroy Beauquier, Devan Sohier
2018	A	`conf`	Beeping a Deterministic Time-Optimal Leader Election. DISC Fabien Dufoulon, Janna Burman, Joffroy Beauquier
2018	A*	`conf`	Brief Announcement: Beeping a Time-Optimal Leader Election. PODC Fabien Dufoulon, Janna Burman, Joffroy Beauquier
2018	A*	`conf`	Brief Announcement: Space-Optimal Naming in Population Protocols. PODC Janna Burman, Joffroy Beauquier, Devan Sohier
2018	C	`conf`	Brief Announcement: Time Efficient Self-stabilizing Stable Marriage. SSS Joffroy Beauquier, Thibault Bernard, Janna Burman, Shay Kutten, Marie Laveau
2018	A*	`conf`	Fast Beeping Protocols for Deterministic MIS and (Δ + 1)-Coloring in Sparse Graphs. INFOCOM Joffroy Beauquier, Janna Burman, Fabien Dufoulon, Shay Kutten
2017	C	`conf`	Data Collection in Population Protocols with Non-uniformly Random Scheduler. ALGOSENSORS Joffroy Beauquier, Janna Burman, Shay Kutten, Thomas Nowak, Chuan Xu
2017	A	`conf`	Power-Aware Population Protocols. ICDCS Chuan Xu, Janna Burman, Joffroy Beauquier
2017	C	`conf`	Self-stabilizing Distributed Stable Marriage. SSS Marie Laveau, George Manoussakis, Joffroy Beauquier, Thibault Bernard, Janna Burman, Johanne Cohen, Laurence Pilard
2016	C	`conf`	On the Power of Oracle \varOmega ? for Self-Stabilizing Leader Election in Population Protocols. SSS Joffroy Beauquier, Peva Blanchard, Janna Burman, Oksana Denysyuk
2016	B	`conf`	Time and Space Optimal Counting in Population Protocols. OPODIS James Aspnes, Joffroy Beauquier, Janna Burman, Devan Sohier
2016	J	`jnl`	Time and Space Optimal Counting in Population Protocols. CoRR James Aspnes, Joffroy Beauquier, Janna Burman, Devan Sohier
2015	A	`conf`	Space-Optimal Counting in Population Protocols. DISC Joffroy Beauquier, Janna Burman, Simon Clavière, Devan Sohier
2015	B	`conf`	The Benefits of Entropy in Population Protocols. OPODIS Joffroy Beauquier, Peva Blanchard, Janna Burman, Rachid Guerraoui
2015	C	`conf`	The Weakest Oracle for Symmetric Consensus in Population Protocols. ALGOSENSORS Joffroy Beauquier, Peva Blanchard, Janna Burman, Shay Kutten
2014	—	`conf`	Practically Self-stabilizing Paxos Replicated State-Machine. NETYS Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët
2013	J	`jnl`	Self-Stabilizing Paxos CoRR Peva Blanchard, Shlomi Dolev, Joffroy Beauquier, Sylvie Delaët
2013	B	`conf`	Self-stabilizing Leader Election in Population Protocols over Arbitrary Communication Graphs. OPODIS Joffroy Beauquier, Peva Blanchard, Janna Burman
2013	J	`jnl`	Tight complexity analysis of population protocols with cover times - The ZebraNet example. Theor. Comput. Sci. Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
2012	B	`conf`	Non-deterministic Population Protocols. OPODIS Joffroy Beauquier, Janna Burman, Laurent Rosaz, Brigitte Rozoy
2011	J	`jnl`	A self-stabilizing transformer for population protocols with covering. Theor. Comput. Sci. Joffroy Beauquier, Janna Burman, Shay Kutten
2011	C	`conf`	Computing Time Complexity of Population Protocols with Cover Times - The ZebraNet Example. SSS Joffroy Beauquier, Peva Blanchard, Janna Burman, Sylvie Delaët
2011	B	`conf`	Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population Protocols with Covering. OPODIS Joffroy Beauquier, Janna Burman
2010	A*	`conf`	On utilizing speed in networks of mobile agents. PODC Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten
2010	B	`conf`	Self-stabilizing Synchronization in Mobile Sensor Networks with Covering. DCOSS Joffroy Beauquier, Janna Burman
2009	A*	`conf`	Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed. PODC Joffroy Beauquier, Janna Burman, Julien Clément, Shay Kutten
2009	C	`conf`	Making Population Protocols Self-stabilizing. SSS Joffroy Beauquier, Janna Burman, Shay Kutten
2008	C	`conf`	Analyze of Probabilistic Algorithms under Indeterministic Scheduler. ISPA Joffroy Beauquier, Colette Johnen
2007	A	`conf`	A Model for Large Scale Self-Stabilization. IPDPS Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
2007	J	`jnl`	Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. Distributed Comput. Joffroy Beauquier, Maria Gradinariu, Colette Johnen
2007	A	`conf`	Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. DISC Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
2007	A*	`conf`	Self-stabilizing counting in mobile sensor networks. PODC Joffroy Beauquier, Julien Clément, Stéphane Messika, Laurent Rosaz, Brigitte Rozoy
2007	J	`jnl`	Transient fault detectors. Distributed Comput. Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil
2006	C	`conf`	A 1-Strong Self-stabilizing Transformer. SSS Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
2006	C	`conf`	All SSS Joffroy Beauquier, Colette Johnen, Stéphane Messika
2006	A	`conf`	Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. DISC Joffroy Beauquier, Colette Johnen, Stéphane Messika
2006	C	`conf`	Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. SSS Thomas Hérault, Pierre Lemarinier, Olivier Peres, Laurence Pilard, Joffroy Beauquier
2006	A	`conf`	Necessary and sufficient conditions for 1-adaptivity. IPDPS Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
2006	J	`jnl`	Observing Locally Self-Stabilization in a Probabilistic Way. J. Aerosp. Comput. Inf. Commun. Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
2005	A	`conf`	Observing Locally Self-stabilization in a Probabilistic Way. DISC Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
2005	J	`jnl`	Observing locally self-stabilization. J. High Speed Networks Joffroy Beauquier, Laurence Pilard, Brigitte Rozoy
2003	J	`jnl`	Group Mutual Exclusin in Tree Networks. J. Inf. Sci. Eng. Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta
2002	B	`conf`	Fault-Local Stabilization: The Shortest Path Tree. SRDS Joffroy Beauquier, Thomas Hérault
2002	B	`conf`	Group Mutual Exclusion In Tree Networks. ICPADS Joffroy Beauquier, Sébastien Cantarell, Ajoy Kumar Datta, Franck Petit
2002	J	`jnl`	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. Chic. J. Theor. Comput. Sci. Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
2002	J	`jnl`	Token-Based Self-Stabilizing Uniform Algorithms. J. Parallel Distributed Comput. Joffroy Beauquier, Maria Gradinariu, Colette Johnen, Jérôme Olivier Durand-Lose
2001	—	`conf`	Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. WSS Joffroy Beauquier, Maria Gradinariu, Colette Johnen
2001	—	`conf`	Easy Stabilization with an Agent. WSS Joffroy Beauquier, Thomas Hérault, Elad Schiller
2001	J	`jnl`	Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. Distributed Comput. Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg, Frédéric Magniette
2000	A	`conf`	Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. DISC Joffroy Beauquier, Ajoy Kumar Datta, Maria Gradinariu, Frédéric Magniette
1999	A	`conf`	A New Rewrite Method for Convergence of Self-Stabilizing Systems. DISC Joffroy Beauquier, Béatrice Bérard, Laurent Fribourg
1999	A*	`conf`	Memory Space Requirements for Self-Stabilizing Leader Election Protocols. PODC Joffroy Beauquier, Maria Gradinariu, Colette Johnen
1999	A*	`conf`	Optimal Reactive PODC Joffroy Beauquier, Christophe Genolini, Shay Kutten
1999	—	`conf`	Self-stabilizing census with cut-through constraint. WSS Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil
1998	A	`conf`	Self-Stabilization with Global Rooted Synchronizers. ICDCS Luc Onana Alima, Joffroy Beauquier, Ajoy Kumar Datta, Sébastien Tixeuil
1998	A	`conf`	Transient Fault Detectors. DISC Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil
1997	J	`jnl`	Fault-tolerance and self-stabilization: impossibility results and solutions using self-stabilizing failure detectors. Int. J. Syst. Sci. Joffroy Beauquier, Synnöve Kekkonen-Moneta
1997	A*	`conf`	On FTSS-Solvable Distributed Problems. PODC Joffroy Beauquier, Synnöve Kekkonen-Moneta
1997	—	`conf`	On FTSS-solvable distributed problems. WSS Joffroy Beauquier, Synnöve Kekkonen-Moneta
1997	B	`conf`	Proving SelfStabilizing Randomized Protocols. OPODIS Joffroy Beauquier
1997	—	`conf`	Self-Stabilizing Depth-First Token Passing on Rooted Networks. WDAG Colette Johnen, Gianluigi Alari, Joffroy Beauquier, Ajoy Kumar Datta
1996	B	`conf`	Fault-Tolerant and Self-Stabilizing Ring Orientation. SIROCCO Joffroy Beauquier, Oliver Debas, Synnöve Kekkonen-Moneta
1994	A*	`conf`	Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. PODC Joffroy Beauquier, Sylvie Delaët
1992	J	`jnl`	Two Distributed Problems Involving Byzantine Processes. Theor. Comput. Sci. Joffroy Beauquier
1991	A	`conf`	Detection of Deadlocks in an Infinite Family of Nets. STACS Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
1990	—	`conf`	A Linear Fault-Tolerant Naming Algorithm. WDAG Joffroy Beauquier, Paul Gastin, Vincent Villain
1990	—	`conf`	Fault-Tolerant Naming and Mutual Exclusion. Semantics of Systems of Concurrent Processes Joffroy Beauquier
1989	—	`conf`	Syntactical Properties of Unbounded Nets of Processors. TAPSOFT, Vol.1 Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet
1988	B	`conf`	Distribution of Sequential Processes. MFCS Joffroy Beauquier, Antoine Petit
1987	J	`jnl`	On Commutative Context-Free Languages. J. Comput. Syst. Sci. Joffroy Beauquier, Meera Blattner, Michel Latteux
1987	J	`jnl`	Une Note sur le Théorème de Caractérisation des Générateurs Algébriques. Theor. Comput. Sci. Joffroy Beauquier, Françoise Gire
1986	—	`conf`	On the Equivalence of Synchronization Sets. CAAP Joffroy Beauquier, Béatrice Bérard
1985	B	`conf`	On formal languages, probabilities, paging and decoding algorithms. FCT Joffroy Beauquier, Loÿs Thimonier
1984	J	`jnl`	Bicentres de langages algébriques. Acta Informatica Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Françoise Gire
1984	B	`conf`	Computability of Probabilistic Parameters for Some Classes of Formal Languages. MFCS Joffroy Beauquier, Loÿs Thimonier
1984	J	`jnl`	Remarques sur les Langages de Parenthèses. Theor. Comput. Sci. Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Géraud Sénizergues
1983	A*	`conf`	On Context-Free Generators FOCS Joffroy Beauquier, Françoise Gire
1983	—	`conf`	Prefix and Perfect Languages. CAAP Joffroy Beauquier
1982	J	`jnl`	Formes de langages et de grammaires. Acta Informatica Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson
1982	J	`jnl`	Indécidabilité de la Condition IRS. RAIRO Theor. Informatics Appl. Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux
1982	A*	`conf`	Substitution of Bounded Rational Cone FOCS Joffroy Beauquier, Michel Latteux
1981	B	`conf`	A New Operation Between Languages. FCT Joffroy Beauquier
1981	J	`jnl`	A Remark About a Substitution Property. Math. Syst. Theory Joffroy Beauquier
1981	J	`jnl`	Languages albébriques dominés par des langages unaires Inf. Control. Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Michel Latteux
1981	J	`jnl`	More about the "Geography" of Context-Free Languages Inf. Control. Joffroy Beauquier, Jean Berstel
1981	B	`conf`	More about the "Geography" of Context-Free Languages. MFCS Joffroy Beauquier, Jean Berstel
1981	J	`jnl`	Substitution of Semi-AFL'S. Theor. Comput. Sci. Joffroy Beauquier
1980	J	`jnl`	Langages sur des alphabets infinis. Discret. Appl. Math. Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson
1979	J	`jnl`	Deux Familles de Langages Incomparables Inf. Control. Joffroy Beauquier
1979	J	`jnl`	Generateurs Algebriques et Systemes de Paires Iterantes. Theor. Comput. Sci. Joffroy Beauquier
1979	B	`conf`	Independence of linear and one-counter generators (extended abstract). FCT Joffroy Beauquier
1979	J	`jnl`	Quelques problèmes ouverts en théorie des langages algébriques. RAIRO Theor. Informatics Appl. Jean-Michel Autebert, Joffroy Beauquier, Luc Boasson, Maurice Nivat
1979	—	`conf`	Strong Non-Deterministic Context-Free Languages. Theoretical Computer Science Joffroy Beauquier
1978	A*	`conf`	Ambiguite Forte. ICALP Joffroy Beauquier
1978	J	`jnl`	Un générateur inhéremment ambigu du cône des languages algébiques. RAIRO Theor. Informatics Appl. Joffroy Beauquier
1977	—	`—`	Contribution a l'etude de la complexite structurelle des langages algebriques. Joffroy Beauquier
1976	A*	`conf`	Générateurs algébriques non-ambigus. ICALP Joffroy Beauquier
1974	J	`jnl`	Une caractérisation des générateurs standard. RAIRO Theor. Informatics Appl. Jean-Michel Autebert, Joffroy Beauquier
1973	—	`conf`	Une caractérisation des langages quasi-rationnels standards. Automatentheorie und Formale Sprachen Joffroy Beauquier