Browsing by Author "Fraigniaud, Pierre"

Now showing items 1-6 of 6

Title: Distributed detection of cycles Author(s): Fraigniaud, Pierre; Olivetti, Dennis Date: 2019-10-01 Series: ACM Transactions on Parallel Computing, Volume 6, issue 3
Title: A Hierarchy of Local Decision Author(s): Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho Date: 2016 Series: 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Volume 55, Leibniz International Proceedings in Informatics (LIPIcs)
Title: A hierarchy of local decision Author(s): Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho Date: 2021-02-08 Series: Theoretical Computer Science, Volume 856
Title: Redundancy in distributed proofs Author(s): Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor Date: 2020-10-07 Series: DISTRIBUTED COMPUTING
Title: Redundancy in Distributed Proofs Author(s): Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor Date: 2018-10-01 Series: 32nd International Symposium on Distributed Computing (DISC 2018), Leibniz International Proceedings in Informatics (LIPIcs), Volume 121
Title: What Can Be Verified Locally? Author(s): Balliu, Alkida; D'Angelo, Gianlorenzo; Fraigniaud, Pierre; Olivetti, Dennis Date: 2018 Series: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, Volume 97