Search the dblp DataBase
Joffroy Beauquier :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Joffroy Beauquier Une caractérisation des langages quasi-rationnels standards. [Citation Graph (0, 0)][DBLP ] Automatentheorie und Formale Sprachen, 1973, pp:132-138 [Conf ] Joffroy Beauquier Prefix and Perfect Languages. [Citation Graph (0, 0)][DBLP ] CAAP, 1983, pp:129-140 [Conf ] Joffroy Beauquier , Béatrice Bérard On the Equivalence of Synchronization Sets. [Citation Graph (0, 0)][DBLP ] CAAP, 1986, pp:17-29 [Conf ] Joffroy Beauquier Independence of linear and one-counter generators (extended abstract). [Citation Graph (0, 0)][DBLP ] FCT, 1979, pp:45-51 [Conf ] Joffroy Beauquier A New Operation Between Languages. [Citation Graph (0, 0)][DBLP ] FCT, 1981, pp:400-409 [Conf ] Joffroy Beauquier , Loÿs Thimonier On formal languages, probabilities, paging and decoding algorithms. [Citation Graph (0, 0)][DBLP ] FCT, 1985, pp:44-52 [Conf ] Joffroy Beauquier , Françoise Gire On Context-Free Generators [Citation Graph (0, 0)][DBLP ] FOCS, 1983, pp:215- [Conf ] Joffroy Beauquier , Michel Latteux Substitution of Bounded Rational Cone [Citation Graph (0, 0)][DBLP ] FOCS, 1982, pp:236-243 [Conf ] Joffroy Beauquier Générateurs algébriques non-ambigus. [Citation Graph (0, 0)][DBLP ] ICALP, 1976, pp:66-73 [Conf ] Joffroy Beauquier Ambiguite Forte. [Citation Graph (0, 0)][DBLP ] ICALP, 1978, pp:52-62 [Conf ] Luc Onana Alima , Joffroy Beauquier , Ajoy Kumar Datta , Sébastien Tixeuil Self-Stabilization with Global Rooted Synchronizers. [Citation Graph (0, 0)][DBLP ] ICDCS, 1998, pp:102-109 [Conf ] Joffroy Beauquier , Sébastien Cantarell , Ajoy Kumar Datta , Franck Petit Group Mutual Exclusion In Tree Networks. [Citation Graph (0, 0)][DBLP ] ICPADS, 2002, pp:111-116 [Conf ] Joffroy Beauquier , Sylvie Delaët , Sammy Haddad Necessary and sufficient conditions for 1-adaptivity. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] Joffroy Beauquier Fault-Tolerant Naming and Mutual Exclusion. [Citation Graph (0, 0)][DBLP ] Semantics of Systems of Concurrent Processes, 1990, pp:50-61 [Conf ] Joffroy Beauquier , Jean Berstel More about the ``Geography'' of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1981, pp:183-192 [Conf ] Joffroy Beauquier , Antoine Petit Distribution of Sequential Processes. [Citation Graph (0, 0)][DBLP ] MFCS, 1988, pp:180-189 [Conf ] Joffroy Beauquier , Loÿs Thimonier Computability of Probabilistic Parameters for Some Classes of Formal Languages. [Citation Graph (0, 0)][DBLP ] MFCS, 1984, pp:194-204 [Conf ] Joffroy Beauquier Proving SelfStabilizing Randomized Protocols. [Citation Graph (0, 0)][DBLP ] OPODIS, 1997, pp:279-284 [Conf ] Joffroy Beauquier , Sylvie Delaët Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. [Citation Graph (0, 0)][DBLP ] PODC, 1994, pp:378- [Conf ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen Memory Space Requirements for Self-Stabilizing Leader Election Protocols. [Citation Graph (0, 0)][DBLP ] PODC, 1999, pp:199-207 [Conf ] Joffroy Beauquier , Christophe Genolini , Shay Kutten k -Stabilization of Reactive Tasks. [Citation Graph (0, 0)][DBLP ] PODC, 1998, pp:318- [Conf ] Joffroy Beauquier , Christophe Genolini , Shay Kutten Optimal Reactive k -Stabilization: The Case of Mutual Exclusion. [Citation Graph (0, 0)][DBLP ] PODC, 1999, pp:209-218 [Conf ] Joffroy Beauquier , Synnöve Kekkonen-Moneta On FTSS-Solvable Distributed Problems. [Citation Graph (0, 0)][DBLP ] PODC, 1997, pp:290- [Conf ] Joffroy Beauquier , Oliver Debas , Synnöve Kekkonen-Moneta Fault-Tolerant and Self-Stabilizing Ring Orientation. [Citation Graph (0, 0)][DBLP ] SIROCCO, 1996, pp:59-72 [Conf ] Joffroy Beauquier , Thomas Hérault Fault-Local Stabilization: The Shortest Path Tree. [Citation Graph (0, 0)][DBLP ] SRDS, 2002, pp:62-69 [Conf ] Joffroy Beauquier , Annie Choquet , Antoine Petit , Guy Vidal-Naquet Detection of Deadlocks in an Infinite Family of Nets. [Citation Graph (0, 0)][DBLP ] STACS, 1991, pp:334-347 [Conf ] Joffroy Beauquier , Annie Choquet , Antoine Petit , Guy Vidal-Naquet Syntactical Properties of Unbounded Nets of Processors. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:119-133 [Conf ] Joffroy Beauquier Strong Non-Deterministic Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1979, pp:47-57 [Conf ] Joffroy Beauquier , Béatrice Bérard , Laurent Fribourg A New Rewrite Method for Convergence of Self-Stabilizing Systems. [Citation Graph (0, 0)][DBLP ] DISC, 1999, pp:240-253 [Conf ] Joffroy Beauquier , Sylvie Delaët , Shlomi Dolev , Sébastien Tixeuil Transient Fault Detectors. [Citation Graph (0, 0)][DBLP ] DISC, 1998, pp:62-74 [Conf ] Joffroy Beauquier , Ajoy Kumar Datta , Maria Gradinariu , Frédéric Magniette Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. [Citation Graph (0, 0)][DBLP ] DISC, 2000, pp:223-237 [Conf ] Joffroy Beauquier , Paul Gastin , Vincent Villain A Linear Fault-Tolerant Naming Algorithm. [Citation Graph (0, 0)][DBLP ] WDAG, 1990, pp:57-70 [Conf ] Joffroy Beauquier , Laurence Pilard , Brigitte Rozoy Observing Locally Self-stabilization in a Probabilistic Way. [Citation Graph (0, 0)][DBLP ] DISC, 2005, pp:399-413 [Conf ] Colette Johnen , Gianluigi Alari , Joffroy Beauquier , Ajoy Kumar Datta Self-Stabilizing Depth-First Token Passing on Rooted Networks. [Citation Graph (0, 0)][DBLP ] WDAG, 1997, pp:260-274 [Conf ] Joffroy Beauquier , Colette Johnen , Stéphane Messika Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. [Citation Graph (0, 0)][DBLP ] DISC, 2006, pp:543-547 [Conf ] Joffroy Beauquier , Ajoy Kumar Datta , Sébastien Tixeuil Self-stabilizing census with cut-through constraint. [Citation Graph (0, 0)][DBLP ] WSS, 1999, pp:70-77 [Conf ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen Cross-Over Composition - Enforcement of Fairness under Unfair Adversary. [Citation Graph (0, 0)][DBLP ] WSS, 2001, pp:19-34 [Conf ] Joffroy Beauquier , Thomas Hérault , Elad Schiller Easy Stabilization with an Agent. [Citation Graph (0, 0)][DBLP ] WSS, 2001, pp:35-50 [Conf ] Joffroy Beauquier , Synnöve Kekkonen-Moneta On FTSS-solvable distributed problems. [Citation Graph (0, 0)][DBLP ] WSS, 1997, pp:64-79 [Conf ] Jean-Michel Autebert , Joffroy Beauquier , Luc Boasson Formes de langages et de grammaires. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1982, v:17, n:, pp:193-213 [Journal ] Jean-Michel Autebert , Joffroy Beauquier , Luc Boasson , Françoise Gire Bicentres de langages algébriques. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1984, v:21, n:, pp:209-227 [Journal ] Joffroy Beauquier , Ajoy Kumar Datta , Maria Gradinariu , Frédéric Magniette Self-Stabilizing Local Mutual Exclusion and Daemon Refinement. [Citation Graph (0, 0)][DBLP ] Chicago J. Theor. Comput. Sci., 2002, v:2002, n:, pp:- [Journal ] Joffroy Beauquier , Béatrice Bérard , Laurent Fribourg , Frédéric Magniette Proving convergence of self-stabilizing systems using first-order rewriting and regular languages. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2001, v:14, n:2, pp:83-95 [Journal ] Jean-Michel Autebert , Joffroy Beauquier , Luc Boasson , Michel Latteux Languages albébriques dominés par des langages unaires [Citation Graph (0, 0)][DBLP ] Information and Control, 1981, v:48, n:1, pp:49-53 [Journal ] Joffroy Beauquier Deux Familles de Langages Incomparables [Citation Graph (0, 0)][DBLP ] Information and Control, 1979, v:43, n:2, pp:101-122 [Journal ] Joffroy Beauquier , Jean Berstel More about the ``Geography'' of Context-Free Languages [Citation Graph (0, 0)][DBLP ] Information and Control, 1981, v:49, n:2, pp:91-108 [Journal ] Joffroy Beauquier Un générateur inhéremment ambigu du cône des languages algébiques. [Citation Graph (0, 0)][DBLP ] ITA, 1978, v:12, n:2, pp:- [Journal ] Jean-Michel Autebert , Joffroy Beauquier , Luc Boasson , Michel Latteux Indécidabilité de la Condition IRS. [Citation Graph (0, 0)][DBLP ] ITA, 1982, v:16, n:2, pp:129-138 [Journal ] Jean-Michel Autebert , Joffroy Beauquier , Luc Boasson , Maurice Nivat Quelques problèmes ouverts en théorie des langages algébriques. [Citation Graph (0, 0)][DBLP ] ITA, 1979, v:13, n:4, pp:- [Journal ] Joffroy Beauquier , Meera Blattner , Michel Latteux On Commutative Context-Free Languages. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1987, v:35, n:3, pp:311-320 [Journal ] Joffroy Beauquier , Laurence Pilard , Brigitte Rozoy Observing locally self-stabilization. [Citation Graph (0, 0)][DBLP ] J. High Speed Networks, 2005, v:14, n:1, pp:3-19 [Journal ] Joffroy Beauquier , Sébastien Cantarell , Ajoy Kumar Datta Group Mutual Exclusin in Tree Networks. [Citation Graph (0, 0)][DBLP ] J. Inf. Sci. Eng., 2003, v:19, n:3, pp:415-432 [Journal ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen , Jérôme Olivier Durand-Lose Token-Based Self-Stabilizing Uniform Algorithms. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2002, v:62, n:5, pp:899-921 [Journal ] Joffroy Beauquier A Remark About a Substitution Property. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1981, v:14, n:, pp:189-191 [Journal ] Jean-Michel Autebert , Joffroy Beauquier , Luc Boasson , Géraud Sénizergues Remarques sur les Langages de Parenthèses. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:31, n:, pp:337-349 [Journal ] Joffroy Beauquier Generateurs Algebriques et Systemes de Paires Iterantes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1979, v:8, n:, pp:293-323 [Journal ] Joffroy Beauquier Substitution of Semi-AFL'S. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1981, v:14, n:, pp:187-193 [Journal ] Joffroy Beauquier Two Distributed Problems Involving Byzantine Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:95, n:1, pp:169-185 [Journal ] Joffroy Beauquier , Françoise Gire Une Note sur le Théorème de Caractérisation des Générateurs Algébriques. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:51, n:, pp:117-127 [Journal ] Thomas Hérault , Pierre Lemarinier , Olivier Peres , Laurence Pilard , Joffroy Beauquier A Model for Large Scale Self-Stabilization. [Citation Graph (0, 0)][DBLP ] IPDPS, 2007, pp:1-10 [Conf ] Joffroy Beauquier , Julien Clement , Stéphane Messika , Laurent Rosaz , Brigitte Rozoy Self-stabilizing counting in mobile sensor networks. [Citation Graph (0, 0)][DBLP ] PODC, 2007, pp:396-397 [Conf ] Joffroy Beauquier , Colette Johnen , Stéphane Messika All k -Bounded Policies Are Equivalent for Self-stabilization. [Citation Graph (0, 0)][DBLP ] SSS, 2006, pp:82-94 [Conf ] Thomas Hérault , Pierre Lemarinier , Olivier Peres , Laurence Pilard , Joffroy Beauquier Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large Scale Systems. [Citation Graph (0, 0)][DBLP ] SSS, 2006, pp:574-575 [Conf ] Joffroy Beauquier , Sylvie Delaët , Sammy Haddad A 1-Strong Self-stabilizing Transformer. [Citation Graph (0, 0)][DBLP ] SSS, 2006, pp:95-109 [Conf ] Joffroy Beauquier , Julien Clement , Stéphane Messika , Laurent Rosaz , Brigitte Rozoy Self-stabilizing Counting in Mobile Sensor Networks with a Base Station. [Citation Graph (0, 0)][DBLP ] DISC, 2007, pp:63-76 [Conf ] Joffroy Beauquier , Sylvie Delaët , Shlomi Dolev , Sébastien Tixeuil Transient fault detectors. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2007, v:20, n:1, pp:39-51 [Journal ] Joffroy Beauquier , Maria Gradinariu , Colette Johnen Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 2007, v:20, n:1, pp:75-93 [Journal ] Self-stabilizing Synchronization in Mobile Sensor Networks with Covering. [Citation Graph (, )][DBLP ] Analyze of Probabilistic Algorithms under Indeterministic Scheduler. [Citation Graph (, )][DBLP ] Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed. [Citation Graph (, )][DBLP ] On utilizing speed in networks of mobile agents. [Citation Graph (, )][DBLP ] Making Population Protocols Self-stabilizing. [Citation Graph (, )][DBLP ] Search in 0.145secs, Finished in 0.594secs