Search - Archive ouverte HAL Access content directly

Filter your results

12 Results
authFullName_s : Juho Hirvonen
Image document

Brief Announcement: What Can(Not) Be Perfectly Rerouted Locally

Klaus-Tycho Foerster , Juho Hirvonen , Yvonne-Anne Pignolet , Stefan Schmid , Gilles Trédan et al.
34th International Symposium on Distributed Computing (DISC 2020), Oct 2020, Virtual, France. ⟨10.4230/LIPIcs.DISC.2020.46⟩
Conference papers hal-03049117v1

On the Feasibility of Perfect Resilience with Local Fast Failover

Klaus-Tycho Foerster , Juho Hirvonen , Yvonne-Anne Pignolet , Stefan Schmid , Gilles Trédan et al.
2nd Symposium on Algorithmic Principles of Computer Systems (APOCS 2021), Jan 2021, Alexandria (Virtual), United States
Conference papers hal-03049009v1

Node labels in local decision

Pierre Fraigniaud , Juho Hirvonen , Jukka Suomela
Theoretical Computer Science, 2018, 751, pp.61-73
Journal articles hal-01964773v1
Image document

Node Labels in Local Decision

Pierre Fraigniaud , Juho Hirvonen , Jukka Suomela
22nd International Colloquium on Structural Information and Communication Complexity (SIROCCO), Jul 2015, Montserrat, Spain. pp.589-598, ⟨10.1007/978-3-319-25258-2_3⟩
Conference papers hal-01247355v1
Image document

Vérification de preuves distribuées : compromis temps-espace

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
Conference papers hal-02118043v1

Redundancy in distributed proofs

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
Distributed Computing, 2021, 34 (2), pp.113-132. ⟨10.1007/s00446-020-00386-z⟩
Journal articles hal-03871467v1

A hierarchy of local decision

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen
Theoretical Computer Science, 2021, 856, pp.51-67. ⟨10.1016/j.tcs.2020.12.017⟩
Journal articles hal-03871480v1
Image document

A Hierarchy of Local Decision

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen
2016
Preprints, Working Papers, ... hal-01290693v1
Image document

Redundancy in Distributed Proofs

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
Conference papers hal-01964771v1

Redundancy in distributed proofs

Laurent Feuilloley , Pierre Fraigniaud , Juho Hirvonen , Ami Paz , Mor Perry et al.
Distributed Computing, 2021, 34 (2), pp.113-132. ⟨10.1007/s00446-020-00386-z⟩
Journal articles hal-03872299v1
Image document

On the Price of Locality in Static Fast Rerouting

Klaus-Tycho Foerster , Juho Hirvonen , Yvonne-Anne Pignolet , Stefan Schmid , Gilles Tredan et al.
52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩
Conference papers hal-03859648v1

A Hierarchy of Local Decision

Pierre Fraigniaud , Laurent Feuilloley , Juho Hirvonen
43rd International Colloquium on Automata, Languages, and Programming (ICALP) , 2016, Roma, Italy
Conference papers hal-01423644v1