BibTeX records: Heger Arfaoui

download as .bib file

@article{DBLP:journals/dc/ArfaouiFIMP20,
  author    = {Heger Arfaoui and
               Pierre Fraigniaud and
               David Ilcinkas and
               Fabien Mathieu and
               Andrzej Pelc},
  title     = {Deciding and verifying network properties locally with few output
               bits},
  journal   = {Distributed Comput.},
  volume    = {33},
  number    = {2},
  pages     = {169--187},
  year      = {2020},
  url       = {https://doi.org/10.1007/s00446-019-00355-1},
  doi       = {10.1007/s00446-019-00355-1},
  timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/dc/ArfaouiFIMP20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Arfaoui14,
  author    = {Heger Arfaoui},
  title     = {Local Distributed Decision and Verification. (D{\'{e}}cision
               et v{\'{e}}rification distribu{\'{e}}es dans le mod{\`{e}}le
               local)},
  school    = {Paris Diderot University, France},
  year      = {2014},
  url       = {https://tel.archives-ouvertes.fr/tel-01274154},
  timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/hal/Arfaoui14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/ArfaouiF14,
  author    = {Heger Arfaoui and
               Pierre Fraigniaud},
  title     = {What can be computed without communications?},
  journal   = {{SIGACT} News},
  volume    = {45},
  number    = {3},
  pages     = {82--104},
  year      = {2014},
  url       = {https://doi.org/10.1145/2670418.2670440},
  doi       = {10.1145/2670418.2670440},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sigact/ArfaouiF14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/ArfaouiFIM14,
  author    = {Heger Arfaoui and
               Pierre Fraigniaud and
               David Ilcinkas and
               Fabien Mathieu},
  editor    = {Dieter Kratsch and
               Ioan Todinca},
  title     = {Distributedly Testing Cycle-Freeness},
  booktitle = {Graph-Theoretic Concepts in Computer Science - 40th International
               Workshop, {WG} 2014, Nouan-le-Fuzelier, France, June 25-27, 2014.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8747},
  pages     = {15--28},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12340-0\_2},
  doi       = {10.1007/978-3-319-12340-0\_2},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/conf/wg/ArfaouiFIM14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Arfaoui13,
  author    = {Heger Arfaoui},
  title     = {A review of {SIROCCO} 2012},
  journal   = {{SIGACT} News},
  volume    = {44},
  number    = {2},
  pages     = {113--118},
  year      = {2013},
  url       = {https://doi.org/10.1145/2491533.2491554},
  doi       = {10.1145/2491533.2491554},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sigact/Arfaoui13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/ArfaouiFP13,
  author    = {Heger Arfaoui and
               Pierre Fraigniaud and
               Andrzej Pelc},
  editor    = {Teruo Higashino and
               Yoshiaki Katayama and
               Toshimitsu Masuzawa and
               Maria Potop{-}Butucaru and
               Masafumi Yamashita},
  title     = {Local Decision and Verification with Bounded-Size Outputs},
  booktitle = {Stabilization, Safety, and Security of Distributed Systems - 15th
               International Symposium, {SSS} 2013, Osaka, Japan, November 13-16,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8255},
  pages     = {133--147},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03089-0\_10},
  doi       = {10.1007/978-3-319-03089-0\_10},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/conf/sss/ArfaouiFP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ArfaouiF12,
  author    = {Heger Arfaoui and
               Pierre Fraigniaud},
  editor    = {Darek Kowalski and
               Alessandro Panconesi},
  title     = {Brief announcement: what can be computed without communication?},
  booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
               Funchal, Madeira, Portugal, July 16-18, 2012},
  pages     = {87--88},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2332432.2332446},
  doi       = {10.1145/2332432.2332446},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/podc/ArfaouiF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/ArfaouiF12,
  author    = {Heger Arfaoui and
               Pierre Fraigniaud},
  editor    = {Guy Even and
               Magn{\'{u}}s M. Halld{\'{o}}rsson},
  title     = {What Can Be Computed without Communications?},
  booktitle = {Structural Information and Communication Complexity - 19th International
               Colloquium, {SIROCCO} 2012, Reykjavik, Iceland, June 30-July 2, 2012,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7355},
  pages     = {135--146},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31104-8\_12},
  doi       = {10.1007/978-3-642-31104-8\_12},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/sirocco/ArfaouiF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics