Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Joffroy Beauquier
@inproceedings{DBLP:conf/wdag/BampasBBG23,
author = {Evangelos Bampas and
Joffroy Beauquier and
Janna Burman and
William Guy{-}Ob{\'{e}}},
editor = {Rotem Oshman},
title = {Treasure Hunt with Volatile Pheromones},
booktitle = {37th International Symposium on Distributed Computing, {DISC} 2023,
October 10-12, 2023, L'Aquila, Italy},
series = {LIPIcs},
volume = {281},
pages = {8:1--8:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.DISC.2023.8},
doi = {10.4230/LIPICS.DISC.2023.8},
timestamp = {Thu, 05 Oct 2023 15:45:05 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BampasBBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/XuBBKN20,
author = {Chuan Xu and
Joffroy Beauquier and
Janna Burman and
Shay Kutten and
Thomas Nowak},
title = {Data collection in population protocols with non-uniformly random
scheduler},
journal = {Theor. Comput. Sci.},
volume = {806},
pages = {516--530},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.08.029},
doi = {10.1016/J.TCS.2019.08.029},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/XuBBKN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DufoulonBB20,
author = {Fabien Dufoulon and
Janna Burman and
Joffroy Beauquier},
editor = {Yuval Emek and
Christian Cachin},
title = {Can Uncoordinated Beeps tell Stories?},
booktitle = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, August 3-7, 2020},
pages = {408--417},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382734.3405699},
doi = {10.1145/3382734.3405699},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DufoulonBB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/BeauquierBDD19,
author = {Joffroy Beauquier and
Janna Burman and
Peter Davies and
Fabien Dufoulon},
editor = {Keren Censor{-}Hillel and
Michele Flammini},
title = {Optimal Multi-broadcast with Beeps Using Group Testing},
booktitle = {Structural Information and Communication Complexity - 26th International
Colloquium, {SIROCCO} 2019, L'Aquila, Italy, July 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11639},
pages = {66--80},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-24922-9\_5},
doi = {10.1007/978-3-030-24922-9\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/BeauquierBDD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BurmanBS19,
author = {Janna Burman and
Joffroy Beauquier and
Devan Sohier},
editor = {Jukka Suomela},
title = {Space-Optimal Naming in Population Protocols},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.9},
doi = {10.4230/LIPICS.DISC.2019.9},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BurmanBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/BeauquierBDK18,
author = {Joffroy Beauquier and
Janna Burman and
Fabien Dufoulon and
Shay Kutten},
title = {Fast Beeping Protocols for Deterministic {MIS} and ({\(\Delta\)} +
1)-Coloring in Sparse Graphs},
booktitle = {2018 {IEEE} Conference on Computer Communications, {INFOCOM} 2018,
Honolulu, HI, USA, April 16-19, 2018},
pages = {1754--1762},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/INFOCOM.2018.8486015},
doi = {10.1109/INFOCOM.2018.8486015},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/infocom/BeauquierBDK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DufoulonBB18,
author = {Fabien Dufoulon and
Janna Burman and
Joffroy Beauquier},
editor = {Calvin Newport and
Idit Keidar},
title = {Brief Announcement: Beeping a Time-Optimal Leader Election},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
pages = {237--239},
publisher = {{ACM}},
year = {2018},
url = {https://dl.acm.org/citation.cfm?id=3212779},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/DufoulonBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BurmanBS18,
author = {Janna Burman and
Joffroy Beauquier and
Devan Sohier},
editor = {Calvin Newport and
Idit Keidar},
title = {Brief Announcement: Space-Optimal Naming in Population Protocols},
booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2018, Egham, United Kingdom, July 23-27, 2018},
pages = {479--481},
publisher = {{ACM}},
year = {2018},
url = {https://dl.acm.org/citation.cfm?id=3212791},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BurmanBS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BeauquierBBKL18,
author = {Joffroy Beauquier and
Thibault Bernard and
Janna Burman and
Shay Kutten and
Marie Laveau},
editor = {Taisuke Izumi and
Petr Kuznetsov},
title = {Brief Announcement: Time Efficient Self-stabilizing Stable Marriage},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 20th
International Symposium, {SSS} 2018, Tokyo, Japan, November 4-7, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11201},
pages = {387--392},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03232-6\_26},
doi = {10.1007/978-3-030-03232-6\_26},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/BeauquierBBKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DufoulonBB18,
author = {Fabien Dufoulon and
Janna Burman and
Joffroy Beauquier},
editor = {Ulrich Schmid and
Josef Widder},
title = {Beeping a Deterministic Time-Optimal Leader Election},
booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018,
New Orleans, LA, USA, October 15-19, 2018},
series = {LIPIcs},
volume = {121},
pages = {20:1--20:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.DISC.2018.20},
doi = {10.4230/LIPICS.DISC.2018.20},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DufoulonBB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/BeauquierBKNX17,
author = {Joffroy Beauquier and
Janna Burman and
Shay Kutten and
Thomas Nowak and
Chuan Xu},
editor = {Antonio Fern{\'{a}}ndez Anta and
Tomasz Jurdzinski and
Miguel A. Mosteiro and
Yanyong Zhang},
title = {Data Collection in Population Protocols with Non-uniformly Random
Scheduler},
booktitle = {Algorithms for Sensor Systems - 13th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, {ALGOSENSORS} 2017,
Vienna, Austria, September 7-8, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10718},
pages = {13--25},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72751-6\_2},
doi = {10.1007/978-3-319-72751-6\_2},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/BeauquierBKNX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/XuBB17,
author = {Chuan Xu and
Janna Burman and
Joffroy Beauquier},
editor = {Kisung Lee and
Ling Liu},
title = {Power-Aware Population Protocols},
booktitle = {37th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017},
pages = {2067--2074},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICDCS.2017.238},
doi = {10.1109/ICDCS.2017.238},
timestamp = {Fri, 12 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/XuBB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/LaveauMBBBCP17,
author = {Marie Laveau and
George Manoussakis and
Joffroy Beauquier and
Thibault Bernard and
Janna Burman and
Johanne Cohen and
Laurence Pilard},
editor = {Paul G. Spirakis and
Philippas Tsigas},
title = {Self-stabilizing Distributed Stable Marriage},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 19th
International Symposium, {SSS} 2017, Boston, MA, USA, November 5-8,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10616},
pages = {46--61},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69084-1\_4},
doi = {10.1007/978-3-319-69084-1\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/LaveauMBBBCP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AspnesBBS16,
author = {James Aspnes and
Joffroy Beauquier and
Janna Burman and
Devan Sohier},
editor = {Panagiota Fatourou and
Ernesto Jim{\'{e}}nez and
Fernando Pedone},
title = {Time and Space Optimal Counting in Population Protocols},
booktitle = {20th International Conference on Principles of Distributed Systems,
{OPODIS} 2016, December 13-16, 2016, Madrid, Spain},
series = {LIPIcs},
volume = {70},
pages = {13:1--13:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2016.13},
doi = {10.4230/LIPICS.OPODIS.2016.13},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/AspnesBBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BeauquierBBD16,
author = {Joffroy Beauquier and
Peva Blanchard and
Janna Burman and
Oksana Denysyuk},
editor = {Borzoo Bonakdarpour and
Franck Petit},
title = {On the Power of Oracle {\textbackslash}varOmega ? for Self-Stabilizing
Leader Election in Population Protocols},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th
International Symposium, {SSS} 2016, Lyon, France, November 7-10,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10083},
pages = {20--35},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49259-9\_3},
doi = {10.1007/978-3-319-49259-9\_3},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/BeauquierBBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AspnesBBS16,
author = {James Aspnes and
Joffroy Beauquier and
Janna Burman and
Devan Sohier},
title = {Time and Space Optimal Counting in Population Protocols},
journal = {CoRR},
volume = {abs/1611.07238},
year = {2016},
url = {http://arxiv.org/abs/1611.07238},
eprinttype = {arXiv},
eprint = {1611.07238},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AspnesBBS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/BeauquierBBK15,
author = {Joffroy Beauquier and
Peva Blanchard and
Janna Burman and
Shay Kutten},
editor = {Prosenjit Bose and
Leszek Antoni Gasieniec and
Kay R{\"{o}}mer and
Roger Wattenhofer},
title = {The Weakest Oracle for Symmetric Consensus in Population Protocols},
booktitle = {Algorithms for Sensor Systems - 11th International Symposium on Algorithms
and Experiments for Wireless Sensor Networks, {ALGOSENSORS} 2015,
Patras, Greece, September 17-18, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9536},
pages = {41--56},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-28472-9\_4},
doi = {10.1007/978-3-319-28472-9\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/BeauquierBBK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BeauquierBBG15,
author = {Joffroy Beauquier and
Peva Blanchard and
Janna Burman and
Rachid Guerraoui},
editor = {Emmanuelle Anceaume and
Christian Cachin and
Maria Gradinariu Potop{-}Butucaru},
title = {The Benefits of Entropy in Population Protocols},
booktitle = {19th International Conference on Principles of Distributed Systems,
{OPODIS} 2015, December 14-17, 2015, Rennes, France},
series = {LIPIcs},
volume = {46},
pages = {21:1--21:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.21},
doi = {10.4230/LIPICS.OPODIS.2015.21},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/BeauquierBBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierBCS15,
author = {Joffroy Beauquier and
Janna Burman and
Simon Clavi{\`{e}}re and
Devan Sohier},
editor = {Yoram Moses},
title = {Space-Optimal Counting in Population Protocols},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {631--646},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_42},
doi = {10.1007/978-3-662-48653-5\_42},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierBCS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BlanchardDBD14,
author = {Peva Blanchard and
Shlomi Dolev and
Joffroy Beauquier and
Sylvie Dela{\"{e}}t},
editor = {Guevara Noubir and
Michel Raynal},
title = {Practically Self-stabilizing Paxos Replicated State-Machine},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {99--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_8},
doi = {10.1007/978-3-319-09581-3\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/BlanchardDBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauquierBBD13,
author = {Joffroy Beauquier and
Peva Blanchard and
Janna Burman and
Sylvie Dela{\"{e}}t},
title = {Tight complexity analysis of population protocols with cover times
- The ZebraNet example},
journal = {Theor. Comput. Sci.},
volume = {512},
pages = {15--27},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.032},
doi = {10.1016/J.TCS.2012.10.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeauquierBBD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BeauquierBB13,
author = {Joffroy Beauquier and
Peva Blanchard and
Janna Burman},
editor = {Roberto Baldoni and
Nicolas Nisse and
Maarten van Steen},
title = {Self-stabilizing Leader Election in Population Protocols over Arbitrary
Communication Graphs},
booktitle = {Principles of Distributed Systems - 17th International Conference,
{OPODIS} 2013, Nice, France, December 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8304},
pages = {38--52},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03850-6\_4},
doi = {10.1007/978-3-319-03850-6\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BeauquierBB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-4263,
author = {Peva Blanchard and
Shlomi Dolev and
Joffroy Beauquier and
Sylvie Dela{\"{e}}t},
title = {Self-Stabilizing Paxos},
journal = {CoRR},
volume = {abs/1305.4263},
year = {2013},
url = {http://arxiv.org/abs/1305.4263},
eprinttype = {arXiv},
eprint = {1305.4263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-4263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BeauquierBRR12,
author = {Joffroy Beauquier and
Janna Burman and
Laurent Rosaz and
Brigitte Rozoy},
editor = {Roberto Baldoni and
Paola Flocchini and
Binoy Ravindran},
title = {Non-deterministic Population Protocols},
booktitle = {Principles of Distributed Systems, 16th International Conference,
{OPODIS} 2012, Rome, Italy, December 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7702},
pages = {61--75},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35476-2\_5},
doi = {10.1007/978-3-642-35476-2\_5},
timestamp = {Tue, 29 Dec 2020 18:38:45 +0100},
biburl = {https://dblp.org/rec/conf/opodis/BeauquierBRR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauquierBK11,
author = {Joffroy Beauquier and
Janna Burman and
Shay Kutten},
title = {A self-stabilizing transformer for population protocols with covering},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {33},
pages = {4247--4259},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.09.016},
doi = {10.1016/J.TCS.2010.09.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeauquierBK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BeauquierB11,
author = {Joffroy Beauquier and
Janna Burman},
editor = {Antonio Fern{\'{a}}ndez Anta and
Giuseppe Lipari and
Matthieu Roy},
title = {Self-stabilizing Mutual Exclusion and Group Mutual Exclusion for Population
Protocols with Covering},
booktitle = {Principles of Distributed Systems - 15th International Conference,
{OPODIS} 2011, Toulouse, France, December 13-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7109},
pages = {235--250},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25873-2\_17},
doi = {10.1007/978-3-642-25873-2\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BeauquierB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BeauquierBBD11,
author = {Joffroy Beauquier and
Peva Blanchard and
Janna Burman and
Sylvie Dela{\"{e}}t},
editor = {Xavier D{\'{e}}fago and
Franck Petit and
Vincent Villain},
title = {Computing Time Complexity of Population Protocols with Cover Times
- The ZebraNet Example},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 13th
International Symposium, {SSS} 2011, Grenoble, France, October 10-12,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6976},
pages = {47--61},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24550-3\_6},
doi = {10.1007/978-3-642-24550-3\_6},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/BeauquierBBD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/BeauquierB10,
author = {Joffroy Beauquier and
Janna Burman},
editor = {Rajmohan Rajaraman and
Thomas Moscibroda and
Adam Dunkels and
Anna Scaglione},
title = {Self-stabilizing Synchronization in Mobile Sensor Networks with Covering},
booktitle = {Distributed Computing in Sensor Systems, 6th {IEEE} International
Conference, {DCOSS} 2010, Santa Barbara, CA, USA, June 21-23, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6131},
pages = {362--378},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13651-1\_26},
doi = {10.1007/978-3-642-13651-1\_26},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/dcoss/BeauquierB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierBCK10,
author = {Joffroy Beauquier and
Janna Burman and
Julien Cl{\'{e}}ment and
Shay Kutten},
editor = {Andr{\'{e}}a W. Richa and
Rachid Guerraoui},
title = {On utilizing speed in networks of mobile agents},
booktitle = {Proceedings of the 29th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2010, Zurich, Switzerland, July 25-28, 2010},
pages = {305--314},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1835698.1835775},
doi = {10.1145/1835698.1835775},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierBCK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierBCK09,
author = {Joffroy Beauquier and
Janna Burman and
Julien Cl{\'{e}}ment and
Shay Kutten},
editor = {Srikanta Tirthapura and
Lorenzo Alvisi},
title = {Brief announcement: non-self-stabilizing and self-stabilizing gathering
in networks of mobile agents--the notion of speed},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
pages = {286--287},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1582716.1582768},
doi = {10.1145/1582716.1582768},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierBCK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BeauquierBK09,
author = {Joffroy Beauquier and
Janna Burman and
Shay Kutten},
editor = {Rachid Guerraoui and
Franck Petit},
title = {Making Population Protocols Self-stabilizing},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International
Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5873},
pages = {90--104},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05118-0\_7},
doi = {10.1007/978-3-642-05118-0\_7},
timestamp = {Wed, 07 Dec 2022 23:13:25 +0100},
biburl = {https://dblp.org/rec/conf/sss/BeauquierBK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/BeauquierJ08,
author = {Joffroy Beauquier and
Colette Johnen},
title = {Analyze of Probabilistic Algorithms under Indeterministic Scheduler},
booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing
with Applications, {ISPA} 2008, Sydney, NSW, Australia, December 10-12,
2008},
pages = {553--558},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISPA.2008.21},
doi = {10.1109/ISPA.2008.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/BeauquierJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BeauquierDDT07,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t and
Shlomi Dolev and
S{\'{e}}bastien Tixeuil},
title = {Transient fault detectors},
journal = {Distributed Comput.},
volume = {20},
number = {1},
pages = {39--51},
year = {2007},
url = {https://doi.org/10.1007/s00446-007-0029-x},
doi = {10.1007/S00446-007-0029-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BeauquierDDT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BeauquierGJ07,
author = {Joffroy Beauquier and
Maria Gradinariu and
Colette Johnen},
title = {Randomized self-stabilizing and space optimal leader election under
arbitrary scheduler on rings},
journal = {Distributed Comput.},
volume = {20},
number = {1},
pages = {75--93},
year = {2007},
url = {https://doi.org/10.1007/s00446-007-0034-0},
doi = {10.1007/S00446-007-0034-0},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BeauquierGJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/HeraultLPPB07,
author = {Thomas H{\'{e}}rault and
Pierre Lemarinier and
Olivier Peres and
Laurence Pilard and
Joffroy Beauquier},
title = {A Model for Large Scale Self-Stabilization},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--10},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370298},
doi = {10.1109/IPDPS.2007.370298},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/HeraultLPPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierCMRR07,
author = {Joffroy Beauquier and
Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Laurent Rosaz and
Brigitte Rozoy},
editor = {Indranil Gupta and
Roger Wattenhofer},
title = {Self-stabilizing counting in mobile sensor networks},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
12-15, 2007},
pages = {396--397},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1281100.1281191},
doi = {10.1145/1281100.1281191},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierCMRR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierCMRR07,
author = {Joffroy Beauquier and
Julien Cl{\'{e}}ment and
St{\'{e}}phane Messika and
Laurent Rosaz and
Brigitte Rozoy},
editor = {Andrzej Pelc},
title = {Self-stabilizing Counting in Mobile Sensor Networks with a Base Station},
booktitle = {Distributed Computing, 21st International Symposium, {DISC} 2007,
Lemesos, Cyprus, September 24-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4731},
pages = {63--76},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75142-7\_8},
doi = {10.1007/978-3-540-75142-7\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierCMRR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/BeauquierPR06,
author = {Joffroy Beauquier and
Laurence Pilard and
Brigitte Rozoy},
title = {Observing Locally Self-Stabilization in a Probabilistic Way},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {3},
number = {10},
pages = {516--537},
year = {2006},
url = {https://doi.org/10.2514/1.19858},
doi = {10.2514/1.19858},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/BeauquierPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BeauquierDH06,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t and
Sammy Haddad},
title = {Necessary and sufficient conditions for 1-adaptivity},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639331},
doi = {10.1109/IPDPS.2006.1639331},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/BeauquierDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BeauquierJM06,
author = {Joffroy Beauquier and
Colette Johnen and
St{\'{e}}phane Messika},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {All \emph{k} -Bounded Policies Are Equivalent for Self-stabilization},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {82--94},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_6},
doi = {10.1007/978-3-540-49823-0\_6},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/BeauquierJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BeauquierDH06,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t and
Sammy Haddad},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {A 1-Strong Self-stabilizing Transformer},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {95--109},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_7},
doi = {10.1007/978-3-540-49823-0\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/BeauquierDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/HeraultLPPB06,
author = {Thomas H{\'{e}}rault and
Pierre Lemarinier and
Olivier Peres and
Laurence Pilard and
Joffroy Beauquier},
editor = {Ajoy Kumar Datta and
Maria Gradinariu},
title = {Brief Announcement: Self-stabilizing Spanning Tree Algorithm for Large
Scale Systems},
booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International
Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4280},
pages = {574--575},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-49823-0\_44},
doi = {10.1007/978-3-540-49823-0\_44},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sss/HeraultLPPB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierJM06,
author = {Joffroy Beauquier and
Colette Johnen and
St{\'{e}}phane Messika},
editor = {Shlomi Dolev},
title = {Brief Announcement: Computing Automatically the Stabilization Time
Against the Worst and the Best Schedules},
booktitle = {Distributed Computing, 20th International Symposium, {DISC} 2006,
Stockholm, Sweden, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4167},
pages = {543--547},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11864219\_40},
doi = {10.1007/11864219\_40},
timestamp = {Sat, 19 Oct 2019 20:32:37 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/BeauquierPR05,
author = {Joffroy Beauquier and
Laurence Pilard and
Brigitte Rozoy},
title = {Observing locally self-stabilization},
journal = {J. High Speed Networks},
volume = {14},
number = {1},
pages = {3--19},
year = {2005},
url = {http://content.iospress.com/articles/journal-of-high-speed-networks/jhs252},
timestamp = {Mon, 18 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/BeauquierPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierPR05,
author = {Joffroy Beauquier and
Laurence Pilard and
Brigitte Rozoy},
editor = {Pierre Fraigniaud},
title = {Observing Locally Self-stabilization in a Probabilistic Way},
booktitle = {Distributed Computing, 19th International Conference, {DISC} 2005,
Cracow, Poland, September 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3724},
pages = {399--413},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561927\_29},
doi = {10.1007/11561927\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/BeauquierCD03,
author = {Joffroy Beauquier and
S{\'{e}}bastien Cantarell and
Ajoy Kumar Datta},
title = {Group Mutual Exclusin in Tree Networks},
journal = {J. Inf. Sci. Eng.},
volume = {19},
number = {3},
pages = {415--432},
year = {2003},
url = {http://www.iis.sinica.edu.tw/page/jise/2003/200305\_02.html},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jise/BeauquierCD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cjtcs/BeauquierDGM02,
author = {Joffroy Beauquier and
Ajoy Kumar Datta and
Maria Gradinariu and
Fr{\'{e}}d{\'{e}}ric Magniette},
title = {Self-Stabilizing Local Mutual Exclusion and Daemon Refinement},
journal = {Chic. J. Theor. Comput. Sci.},
volume = {2002},
year = {2002},
url = {http://cjtcs.cs.uchicago.edu/articles/2002/1/contents.html},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cjtcs/BeauquierDGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/BeauquierGJD02,
author = {Joffroy Beauquier and
Maria Gradinariu and
Colette Johnen and
J{\'{e}}r{\^{o}}me Olivier Durand{-}Lose},
title = {Token-Based Self-Stabilizing Uniform Algorithms},
journal = {J. Parallel Distributed Comput.},
volume = {62},
number = {5},
pages = {899--921},
year = {2002},
url = {https://doi.org/10.1006/jpdc.2001.1832},
doi = {10.1006/JPDC.2001.1832},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/BeauquierGJD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/BeauquierCDP02,
author = {Joffroy Beauquier and
S{\'{e}}bastien Cantarell and
Ajoy Kumar Datta and
Franck Petit},
title = {Group Mutual Exclusion In Tree Networks},
booktitle = {9th International Conference on Parallel and Distributed Systems,
{ICPADS} 2002, Taiwan, ROC, December 17-20, 2002},
pages = {111--116},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICPADS.2002.1183386},
doi = {10.1109/ICPADS.2002.1183386},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/BeauquierCDP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BeauquierH02,
author = {Joffroy Beauquier and
Thomas H{\'{e}}rault},
title = {Fault-Local Stabilization: The Shortest Path Tree},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {62--69},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180174},
doi = {10.1109/RELDIS.2002.1180174},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/BeauquierH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BeauquierBFM01,
author = {Joffroy Beauquier and
B{\'{e}}atrice B{\'{e}}rard and
Laurent Fribourg and
Fr{\'{e}}d{\'{e}}ric Magniette},
title = {Proving convergence of self-stabilizing systems using first-order
rewriting and regular languages},
journal = {Distributed Comput.},
volume = {14},
number = {2},
pages = {83--95},
year = {2001},
url = {https://doi.org/10.1007/PL00008931},
doi = {10.1007/PL00008931},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/BeauquierBFM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/BeauquierGJ01,
author = {Joffroy Beauquier and
Maria Gradinariu and
Colette Johnen},
editor = {Ajoy Kumar Datta and
Ted Herman},
title = {Cross-Over Composition - Enforcement of Fairness under Unfair Adversary},
booktitle = {Self-Stabilizing Systems, 5th International Workshop, {WSS} 2001,
Lisbon, Portugal, October 1-2, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2194},
pages = {19--34},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45438-1\_2},
doi = {10.1007/3-540-45438-1\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/wss/BeauquierGJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/BeauquierHS01,
author = {Joffroy Beauquier and
Thomas H{\'{e}}rault and
Elad Schiller},
editor = {Ajoy Kumar Datta and
Ted Herman},
title = {Easy Stabilization with an Agent},
booktitle = {Self-Stabilizing Systems, 5th International Workshop, {WSS} 2001,
Lisbon, Portugal, October 1-2, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2194},
pages = {35--50},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45438-1\_3},
doi = {10.1007/3-540-45438-1\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wss/BeauquierHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierDGM00,
author = {Joffroy Beauquier and
Ajoy Kumar Datta and
Maria Gradinariu and
Fr{\'{e}}d{\'{e}}ric Magniette},
editor = {Maurice Herlihy},
title = {Self-Stabilizing Local Mutual Exclusion and Daemon Refinement},
booktitle = {Distributed Computing, 14th International Conference, {DISC} 2000,
Toledo, Spain, October 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1914},
pages = {223--237},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40026-5\_15},
doi = {10.1007/3-540-40026-5\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierDGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierGJ99,
author = {Joffroy Beauquier and
Maria Gradinariu and
Colette Johnen},
editor = {Brian A. Coan and
Jennifer L. Welch},
title = {Memory Space Requirements for Self-Stabilizing Leader Election Protocols},
booktitle = {Proceedings of the Eighteenth Annual {ACM} Symposium on Principles
of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6,
1999},
pages = {199--207},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301308.301358},
doi = {10.1145/301308.301358},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierGJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierGK99,
author = {Joffroy Beauquier and
Christophe Genolini and
Shay Kutten},
editor = {Brian A. Coan and
Jennifer L. Welch},
title = {Optimal Reactive \emph{k}-Stabilization: The Case of Mutual Exclusion},
booktitle = {Proceedings of the Eighteenth Annual {ACM} Symposium on Principles
of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6,
1999},
pages = {209--218},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/301308.301359},
doi = {10.1145/301308.301359},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierGK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierBF99,
author = {Joffroy Beauquier and
B{\'{e}}atrice B{\'{e}}rard and
Laurent Fribourg},
editor = {Prasad Jayanti},
title = {A New Rewrite Method for Convergence of Self-Stabilizing Systems},
booktitle = {Distributed Computing, 13th International Symposium, Bratislava, Slovak
Republic, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1693},
pages = {240--253},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48169-9\_17},
doi = {10.1007/3-540-48169-9\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierBF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/BeauquierDT99,
author = {Joffroy Beauquier and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
editor = {Anish Arora},
title = {Self-stabilizing census with cut-through constraint},
booktitle = {1999 {ICDCS} Workshop on Self-stabilizing Systems, Austin, Texas,
USA, June 5, 1999, Proceedings},
pages = {70--77},
publisher = {{IEEE} Computer Society},
year = {1999},
timestamp = {Mon, 18 Jun 2018 20:48:42 +0200},
biburl = {https://dblp.org/rec/conf/wss/BeauquierDT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AlimaBDT98,
author = {Luc Onana Alima and
Joffroy Beauquier and
Ajoy Kumar Datta and
S{\'{e}}bastien Tixeuil},
title = {Self-Stabilization with Global Rooted Synchronizers},
booktitle = {Proceedings of the 18th International Conference on Distributed Computing
Systems, Amsterdam, The Netherlands, May 26-29, 1998},
pages = {102--109},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICDCS.1998.679492},
doi = {10.1109/ICDCS.1998.679492},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AlimaBDT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierGK98,
author = {Joffroy Beauquier and
Christophe Genolini and
Shay Kutten},
editor = {Brian A. Coan and
Yehuda Afek},
title = {\emph{k}-Stabilization of Reactive Tasks},
booktitle = {Proceedings of the Seventeenth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} '98, Puerto Vallarta, Mexico, June
28 - July 2, 1998},
pages = {318},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277697.277777},
doi = {10.1145/277697.277777},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierGK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierDDT98,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t and
Shlomi Dolev and
S{\'{e}}bastien Tixeuil},
editor = {Shay Kutten},
title = {Transient Fault Detectors},
booktitle = {Distributed Computing, 12th International Symposium, {DISC} '98, Andros,
Greece, September 24-26, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1499},
pages = {62--74},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056474},
doi = {10.1007/BFB0056474},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierDDT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/BeauquierK97,
author = {Joffroy Beauquier and
Synn{\"{o}}ve Kekkonen{-}Moneta},
title = {Fault-tolerance and self-stabilization: impossibility results and
solutions using self-stabilizing failure detectors},
journal = {Int. J. Syst. Sci.},
volume = {28},
number = {11},
pages = {1177--1187},
year = {1997},
url = {https://doi.org/10.1080/00207729708929476},
doi = {10.1080/00207729708929476},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsysc/BeauquierK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Beauquier97,
author = {Joffroy Beauquier},
editor = {Alain Bui and
Marc Bui and
Vincent Villain},
title = {Proving SelfStabilizing Randomized Protocols},
booktitle = {On Principles Of Distributed Systems, Proceedings of the 1997 International
Conference, Chantilly, France, December 10-12, 1997},
pages = {279--284},
publisher = {Hermes},
year = {1997},
timestamp = {Mon, 26 Jan 2004 15:16:53 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Beauquier97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierK97,
author = {Joffroy Beauquier and
Synn{\"{o}}ve Kekkonen{-}Moneta},
editor = {James E. Burns and
Hagit Attiya},
title = {On FTSS-Solvable Distributed Problems},
booktitle = {Proceedings of the Sixteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Santa Barbara, California, USA, August 21-24,
1997},
pages = {290},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/259380.259515},
doi = {10.1145/259380.259515},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/JohnenABD97,
author = {Colette Johnen and
Gianluigi Alari and
Joffroy Beauquier and
Ajoy Kumar Datta},
editor = {Marios Mavronicolas and
Philippas Tsigas},
title = {Self-Stabilizing Depth-First Token Passing on Rooted Networks},
booktitle = {Distributed Algorithms, 11th International Workshop, {WDAG} '97, Saarbr{\"{u}}cken,
Germany, September 24-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1320},
pages = {260--274},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030689},
doi = {10.1007/BFB0030689},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/JohnenABD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wss/BeauquierK97,
author = {Joffroy Beauquier and
Synn{\"{o}}ve Kekkonen{-}Moneta},
editor = {Sukumar Ghosh and
Ted Herman},
title = {On FTSS-solvable distributed problems},
booktitle = {3rd Workshop on Self-stabilizing Systems, Santa Barbara, California,
USA, August, 1997, Proceedings},
pages = {64--79},
publisher = {Carleton University Press},
year = {1997},
timestamp = {Mon, 18 Jun 2018 20:48:23 +0200},
biburl = {https://dblp.org/rec/conf/wss/BeauquierK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/BeauquierDK96,
author = {Joffroy Beauquier and
Oliver Debas and
Synn{\"{o}}ve Kekkonen{-}Moneta},
editor = {Nicola Santoro and
Paul G. Spirakis},
title = {Fault-Tolerant and Self-Stabilizing Ring Orientation},
booktitle = {SIROCCO'96, The 3rd International Colloquium on Structural Information
{\&} Communication Complexity, Siena, Italy, June 6-8, 1996},
pages = {59--72},
publisher = {Carleton Scientific},
year = {1996},
timestamp = {Fri, 30 Jan 2004 14:17:51 +0100},
biburl = {https://dblp.org/rec/conf/sirocco/BeauquierDK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BeauquierD94,
author = {Joffroy Beauquier and
Sylvie Dela{\"{e}}t},
editor = {James H. Anderson and
David Peleg and
Elizabeth Borowsky},
title = {Probabilistic Self-Stabilizing Mutual Exclusion in Uniform Rings},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Los Angeles, California, USA, August 14-17,
1994},
pages = {378},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/197917.198141},
doi = {10.1145/197917.198141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/BeauquierD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Beauquier92,
author = {Joffroy Beauquier},
title = {Two Distributed Problems Involving Byzantine Processes},
journal = {Theor. Comput. Sci.},
volume = {95},
number = {1},
pages = {169--185},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90072-N},
doi = {10.1016/0304-3975(92)90072-N},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Beauquier92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BeauquierCPV91,
author = {Joffroy Beauquier and
Annie Choquet and
Antoine Petit and
Guy Vidal{-}Naquet},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Detection of Deadlocks in an Infinite Family of Nets},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {334--347},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020810},
doi = {10.1007/BFB0020810},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BeauquierCPV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/litp/Beauquier90,
author = {Joffroy Beauquier},
editor = {Ir{\`{e}}ne Guessarian},
title = {Fault-Tolerant Naming and Mutual Exclusion},
booktitle = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
on Theoretical Computer Science, La Roche Posay, France, April 23-27,
1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {469},
pages = {50--61},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53479-2\_3},
doi = {10.1007/3-540-53479-2\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/litp/Beauquier90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BeauquierGV90,
author = {Joffroy Beauquier and
Paul Gastin and
Vincent Villain},
editor = {Jan van Leeuwen and
Nicola Santoro},
title = {A Linear Fault-Tolerant Naming Algorithm},
booktitle = {Distributed Algorithms, 4th International Workshop, {WDAG} '90, Bari,
Italy, September 24-26, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {486},
pages = {57--70},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54099-7\_5},
doi = {10.1007/3-540-54099-7\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/BeauquierGV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BeauquierCPV89,
author = {Joffroy Beauquier and
Annie Choquet and
Antoine Petit and
Guy Vidal{-}Naquet},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Syntactical Properties of Unbounded Nets of Processors},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 1: Advanced Seminar on Foundations of Innovative Software
Development {I} and Colloquium on Trees in Algebra and Programming
(CAAP'89)},
series = {Lecture Notes in Computer Science},
volume = {351},
pages = {119--133},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50939-9\_128},
doi = {10.1007/3-540-50939-9\_128},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BeauquierCPV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeauquierP88,
author = {Joffroy Beauquier and
Antoine Petit},
editor = {Michal Chytil and
Ladislav Janiga and
V{\'{a}}clav Koubek},
title = {Distribution of Sequential Processes},
booktitle = {Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad,
Czechoslovakia, August 29 - September 2, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {324},
pages = {180--189},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/BFb0017141},
doi = {10.1007/BFB0017141},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BeauquierP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BeauquierBL87,
author = {Joffroy Beauquier and
Meera Blattner and
Michel Latteux},
title = {On Commutative Context-Free Languages},
journal = {J. Comput. Syst. Sci.},
volume = {35},
number = {3},
pages = {311--320},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90018-3},
doi = {10.1016/0022-0000(87)90018-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BeauquierBL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauquierG87,
author = {Joffroy Beauquier and
Fran{\c{c}}oise Gire},
title = {Une Note sur le Th{\'{e}}or{\`{e}}me de Caract{\'{e}}risation
des G{\'{e}}n{\'{e}}rateurs Alg{\'{e}}briques},
journal = {Theor. Comput. Sci.},
volume = {51},
pages = {117--127},
year = {1987},
url = {https://doi.org/10.1016/0304-3975(87)90051-X},
doi = {10.1016/0304-3975(87)90051-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeauquierG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BeauquierB86,
author = {Joffroy Beauquier and
B{\'{e}}atrice B{\'{e}}rard},
editor = {Paul Franchi{-}Zannettacci},
title = {On the Equivalence of Synchronization Sets},
booktitle = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
France, March 24-26, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {214},
pages = {17--29},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0022656},
doi = {10.1007/BFB0022656},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/BeauquierB86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BeauquierT85,
author = {Joffroy Beauquier and
Lo{\"{y}}s Thimonier},
editor = {Lothar Budach},
title = {On formal languages, probabilities, paging and decoding algorithms},
booktitle = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
9-13, 1985},
series = {Lecture Notes in Computer Science},
volume = {199},
pages = {44--52},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0028790},
doi = {10.1007/BFB0028790},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/BeauquierT85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AutebertBBG84,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson and
Fran{\c{c}}oise Gire},
title = {Bicentres de langages alg{\'{e}}briques},
journal = {Acta Informatica},
volume = {21},
pages = {209--227},
year = {1984},
url = {https://doi.org/10.1007/BF00289241},
doi = {10.1007/BF00289241},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AutebertBBG84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AutebertBBS84,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson and
G{\'{e}}raud S{\'{e}}nizergues},
title = {Remarques sur les Langages de Parenth{\`{e}}ses},
journal = {Theor. Comput. Sci.},
volume = {31},
pages = {337--349},
year = {1984},
url = {https://doi.org/10.1016/0304-3975(84)90040-9},
doi = {10.1016/0304-3975(84)90040-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AutebertBBS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeauquierT84,
author = {Joffroy Beauquier and
Lo{\"{y}}s Thimonier},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {Computability of Probabilistic Parameters for Some Classes of Formal
Languages},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {194--204},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030299},
doi = {10.1007/BFB0030299},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BeauquierT84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Beauquier83,
author = {Joffroy Beauquier},
editor = {Giorgio Ausiello and
Marco Protasi},
title = {Prefix and Perfect Languages},
booktitle = {CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila,
Italy, March 9-11, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {159},
pages = {129--140},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12727-5\_6},
doi = {10.1007/3-540-12727-5\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Beauquier83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BeauquierG83,
author = {Joffroy Beauquier and
Fran{\c{c}}oise Gire},
title = {On Context-Free Generators},
booktitle = {24th Annual Symposium on Foundations of Computer Science, Tucson,
Arizona, USA, 7-9 November 1983},
pages = {215},
publisher = {{IEEE} Computer Society},
year = {1983},
url = {https://doi.org/10.1109/SFCS.1983.37},
doi = {10.1109/SFCS.1983.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BeauquierG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/AutebertBB82,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson},
title = {Formes de langages et de grammaires},
journal = {Acta Informatica},
volume = {17},
pages = {193--213},
year = {1982},
url = {https://doi.org/10.1007/BF00288970},
doi = {10.1007/BF00288970},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/AutebertBB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AutebertBBL82,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson and
Michel Latteux},
title = {Ind{\'{e}}cidabilit{\'{e}} de la Condition {IRS}},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {16},
number = {2},
pages = {129--138},
year = {1982},
url = {https://doi.org/10.1051/ita/1982160201291},
doi = {10.1051/ITA/1982160201291},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AutebertBBL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/BeauquierL82,
author = {Joffroy Beauquier and
Michel Latteux},
title = {Substitution of Bounded Rational Cone},
booktitle = {23rd Annual Symposium on Foundations of Computer Science, Chicago,
Illinois, USA, 3-5 November 1982},
pages = {236--243},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {https://doi.org/10.1109/SFCS.1982.90},
doi = {10.1109/SFCS.1982.90},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/focs/BeauquierL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AutebertBBL81,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson and
Michel Latteux},
title = {Languages alb{\'{e}}briques domin{\'{e}}s par des langages
unaires},
journal = {Inf. Control.},
volume = {48},
number = {1},
pages = {49--53},
year = {1981},
url = {https://doi.org/10.1016/S0019-9958(81)90588-X},
doi = {10.1016/S0019-9958(81)90588-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AutebertBBL81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BeauquierB81,
author = {Joffroy Beauquier and
Jean Berstel},
title = {More about the "Geography" of Context-Free Languages},
journal = {Inf. Control.},
volume = {49},
number = {2},
pages = {91--108},
year = {1981},
url = {https://doi.org/10.1016/S0019-9958(81)90456-3},
doi = {10.1016/S0019-9958(81)90456-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BeauquierB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Beauquier81,
author = {Joffroy Beauquier},
title = {A Remark About a Substitution Property},
journal = {Math. Syst. Theory},
volume = {14},
pages = {189--191},
year = {1981},
url = {https://doi.org/10.1007/BF01752395},
doi = {10.1007/BF01752395},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Beauquier81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Beauquier81,
author = {Joffroy Beauquier},
title = {Substitution of Semi-AFL'S},
journal = {Theor. Comput. Sci.},
volume = {14},
pages = {187--193},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90056-6},
doi = {10.1016/0304-3975(81)90056-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Beauquier81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Beauquier81,
author = {Joffroy Beauquier},
editor = {Ferenc G{\'{e}}cseg},
title = {A New Operation Between Languages},
booktitle = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981
International FCT-Conference, Szeged, Hungary, August 24-28, 1981},
series = {Lecture Notes in Computer Science},
volume = {117},
pages = {400--409},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10854-8\_44},
doi = {10.1007/3-540-10854-8\_44},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/Beauquier81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeauquierB81,
author = {Joffroy Beauquier and
Jean Berstel},
editor = {Jozef Gruska and
Michal Chytil},
title = {More about the "Geography" of Context-Free Languages},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {183--192},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_84},
doi = {10.1007/3-540-10856-4\_84},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BeauquierB81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/AutebertBB80,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson},
title = {Langages sur des alphabets infinis},
journal = {Discret. Appl. Math.},
volume = {2},
number = {1},
pages = {1--20},
year = {1980},
url = {https://doi.org/10.1016/0166-218X(80)90050-5},
doi = {10.1016/0166-218X(80)90050-5},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/AutebertBB80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Beauquier79,
author = {Joffroy Beauquier},
title = {Deux Familles de Langages Incomparables},
journal = {Inf. Control.},
volume = {43},
number = {2},
pages = {101--122},
year = {1979},
url = {https://doi.org/10.1016/S0019-9958(79)90642-9},
doi = {10.1016/S0019-9958(79)90642-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Beauquier79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AutebertBBN79,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier and
Luc Boasson and
Maurice Nivat},
title = {Quelques probl{\`{e}}mes ouverts en th{\'{e}}orie des langages
alg{\'{e}}briques},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {13},
number = {4},
pages = {363--378},
year = {1979},
url = {https://doi.org/10.1051/ita/1979130403631},
doi = {10.1051/ITA/1979130403631},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AutebertBBN79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Beauquier79,
author = {Joffroy Beauquier},
title = {Generateurs Algebriques et Systemes de Paires Iterantes},
journal = {Theor. Comput. Sci.},
volume = {8},
pages = {293--323},
year = {1979},
url = {https://doi.org/10.1016/0304-3975(79)90015-X},
doi = {10.1016/0304-3975(79)90015-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Beauquier79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Beauquier79,
author = {Joffroy Beauquier},
editor = {Lothar Budach},
title = {Independence of linear and one-counter generators (extended abstract)},
booktitle = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the
Conference on Algebraic, Arthmetic, and Categorial Methods in Computation
Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979},
pages = {45--51},
publisher = {Akademie-Verlag, Berlin},
year = {1979},
timestamp = {Mon, 29 Jul 2019 11:58:23 +0200},
biburl = {https://dblp.org/rec/conf/fct/Beauquier79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tcs/Beauquier79,
author = {Joffroy Beauquier},
editor = {Klaus Weihrauch},
title = {Strong Non-Deterministic Context-Free Languages},
booktitle = {Theoretical Computer Science, 4th GI-Conference, Aachen, Germany,
March 26-28, 1979, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {67},
pages = {47--57},
publisher = {Springer},
year = {1979},
url = {https://doi.org/10.1007/3-540-09118-1\_7},
doi = {10.1007/3-540-09118-1\_7},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/tcs/Beauquier79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Beauquier78,
author = {Joffroy Beauquier},
title = {Un g{\'{e}}n{\'{e}}rateur inh{\'{e}}remment ambigu
du c{\^{o}}ne des languages alg{\'{e}}biques},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {12},
number = {2},
pages = {99--108},
year = {1978},
url = {https://doi.org/10.1051/ita/1978120200991},
doi = {10.1051/ITA/1978120200991},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Beauquier78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Beauquier78,
author = {Joffroy Beauquier},
editor = {Giorgio Ausiello and
Corrado B{\"{o}}hm},
title = {Ambiguite Forte},
booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy,
July 17-21, 1978, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {62},
pages = {52--62},
publisher = {Springer},
year = {1978},
url = {https://doi.org/10.1007/3-540-08860-1\_5},
doi = {10.1007/3-540-08860-1\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Beauquier78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0012757,
author = {Joffroy Beauquier},
title = {Contribution a l'etude de la complexite structurelle des langages
algebriques},
school = {Univ. Paris {VII}},
year = {1977},
timestamp = {Wed, 23 Mar 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0012757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Beauquier76,
author = {Joffroy Beauquier},
editor = {S. Michaelson and
Robin Milner},
title = {G{\'{e}}n{\'{e}}rateurs alg{\'{e}}briques non-ambigus},
booktitle = {Third International Colloquium on Automata, Languages and Programming,
University of Edinburgh, UK, July 20-23, 1976},
pages = {66--73},
publisher = {Edinburgh University Press},
year = {1976},
timestamp = {Mon, 08 Jul 2019 10:58:24 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Beauquier76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/AutebertB74,
author = {Jean{-}Michel Autebert and
Joffroy Beauquier},
title = {Une caract{\'{e}}risation des g{\'{e}}n{\'{e}}rateurs
standard},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {8},
number = {1},
pages = {63--83},
year = {1974},
url = {https://doi.org/10.1051/ita/197408R100631},
doi = {10.1051/ITA/197408R100631},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/AutebertB74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/Beauquier73,
author = {Joffroy Beauquier},
editor = {Karl{-}Heinz B{\"{o}}hling and
Klaus Indermark},
title = {Une caract{\'{e}}risation des langages quasi-rationnels standards},
booktitle = {1. Fachtagung {\"{u}}ber Automatentheorie und Formale Sprachen,
Bonn, 9.-12. Juli 1973, Gesellschaft f{\"{u}}r Informatik {(GI)}},
series = {Lecture Notes in Computer Science},
volume = {2},
pages = {132--138},
publisher = {Springer},
year = {1973},
url = {https://doi.org/10.1007/BFb0039147},
doi = {10.1007/BFB0039147},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/automata/Beauquier73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-06 22:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
