The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Joffroy Beauquier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joffroy Beauquier
    Une caractérisation des langages quasi-rationnels standards. [Citation Graph (0, 0)][DBLP]
    Automatentheorie und Formale Sprachen, 1973, pp:132-138 [Conf]
  2. Joffroy Beauquier
    Prefix and Perfect Languages. [Citation Graph (0, 0)][DBLP]
    CAAP, 1983, pp:129-140 [Conf]
  3. Joffroy Beauquier, Béatrice Bérard
    On the Equivalence of Synchronization Sets. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:17-29 [Conf]
  4. Joffroy Beauquier
    Independence of linear and one-counter generators (extended abstract). [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:45-51 [Conf]
  5. Joffroy Beauquier
    A New Operation Between Languages. [Citation Graph (0, 0)][DBLP]
    FCT, 1981, pp:400-409 [Conf]
  6. Joffroy Beauquier, Loÿs Thimonier
    On formal languages, probabilities, paging and decoding algorithms. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:44-52 [Conf]
  7. Joffroy Beauquier, Françoise Gire
    On Context-Free Generators [Citation Graph (0, 0)][DBLP]
    FOCS, 1983, pp:215- [Conf]
  8. Joffroy Beauquier, Michel Latteux
    Substitution of Bounded Rational Cone [Citation Graph (0, 0)][DBLP]
    FOCS, 1982, pp:236-243 [Conf]
  9. Joffroy Beauquier
    Générateurs algébriques non-ambigus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1976, pp:66-73 [Conf]
  10. Joffroy Beauquier
    Ambiguite Forte. [Citation Graph (0, 0)][DBLP]
    ICALP, 1978, pp:52-62 [Conf]
  11. 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]
  12. 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]
  13. Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
    Necessary and sufficient conditions for 1-adaptivity. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  14. Joffroy Beauquier
    Fault-Tolerant Naming and Mutual Exclusion. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:50-61 [Conf]
  15. Joffroy Beauquier, Jean Berstel
    More about the ``Geography'' of Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    MFCS, 1981, pp:183-192 [Conf]
  16. Joffroy Beauquier, Antoine Petit
    Distribution of Sequential Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1988, pp:180-189 [Conf]
  17. 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]
  18. Joffroy Beauquier
    Proving SelfStabilizing Randomized Protocols. [Citation Graph (0, 0)][DBLP]
    OPODIS, 1997, pp:279-284 [Conf]
  19. Joffroy Beauquier, Sylvie Delaët
    Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:378- [Conf]
  20. 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]
  21. Joffroy Beauquier, Christophe Genolini, Shay Kutten
    k-Stabilization of Reactive Tasks. [Citation Graph (0, 0)][DBLP]
    PODC, 1998, pp:318- [Conf]
  22. 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]
  23. Joffroy Beauquier, Synnöve Kekkonen-Moneta
    On FTSS-Solvable Distributed Problems. [Citation Graph (0, 0)][DBLP]
    PODC, 1997, pp:290- [Conf]
  24. 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]
  25. Joffroy Beauquier, Thomas Hérault
    Fault-Local Stabilization: The Shortest Path Tree. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:62-69 [Conf]
  26. 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]
  27. 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]
  28. Joffroy Beauquier
    Strong Non-Deterministic Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1979, pp:47-57 [Conf]
  29. 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]
  30. Joffroy Beauquier, Sylvie Delaët, Shlomi Dolev, Sébastien Tixeuil
    Transient Fault Detectors. [Citation Graph (0, 0)][DBLP]
    DISC, 1998, pp:62-74 [Conf]
  31. 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]
  32. Joffroy Beauquier, Paul Gastin, Vincent Villain
    A Linear Fault-Tolerant Naming Algorithm. [Citation Graph (0, 0)][DBLP]
    WDAG, 1990, pp:57-70 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. Joffroy Beauquier, Thomas Hérault, Elad Schiller
    Easy Stabilization with an Agent. [Citation Graph (0, 0)][DBLP]
    WSS, 2001, pp:35-50 [Conf]
  39. Joffroy Beauquier, Synnöve Kekkonen-Moneta
    On FTSS-solvable distributed problems. [Citation Graph (0, 0)][DBLP]
    WSS, 1997, pp:64-79 [Conf]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. Joffroy Beauquier
    Deux Familles de Langages Incomparables [Citation Graph (0, 0)][DBLP]
    Information and Control, 1979, v:43, n:2, pp:101-122 [Journal]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. Joffroy Beauquier
    A Remark About a Substitution Property. [Citation Graph (0, 0)][DBLP]
    Mathematical Systems Theory, 1981, v:14, n:, pp:189-191 [Journal]
  55. 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]
  56. 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]
  57. Joffroy Beauquier
    Substitution of Semi-AFL'S. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1981, v:14, n:, pp:187-193 [Journal]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. Joffroy Beauquier, Sylvie Delaët, Sammy Haddad
    A 1-Strong Self-stabilizing Transformer. [Citation Graph (0, 0)][DBLP]
    SSS, 2006, pp:95-109 [Conf]
  65. 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]
  66. 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]
  67. 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]

  68. Self-stabilizing Synchronization in Mobile Sensor Networks with Covering. [Citation Graph (, )][DBLP]


  69. Analyze of Probabilistic Algorithms under Indeterministic Scheduler. [Citation Graph (, )][DBLP]


  70. Brief announcement: non-self-stabilizing and self-stabilizing gathering in networks of mobile agents--the notion of speed. [Citation Graph (, )][DBLP]


  71. On utilizing speed in networks of mobile agents. [Citation Graph (, )][DBLP]


  72. Making Population Protocols Self-stabilizing. [Citation Graph (, )][DBLP]


Search in 0.145secs, Finished in 0.594secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002