309 results  save search


hal-01251571v1  Conference papers
Carole Delporte-GalletHugues FauconnierSam Toueg. A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling
Structural Information and Communication Complexity - 22nd International Colloquium, 2015, Jul 2015, Montserrat, France. pp.385-398, ⟨10.1007/978-3-319-25258-2_27⟩
hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
hal-02429930v1  Conference papers
Adrian KosowskiPrzemysław UznańskiLaurent Viennot. Hardness of Exact Distance Queries in Sparse Graphs Through Hub Labeling
PODC '19 - ACM Symposium on Principles of Distributed Computing, 2019, Toronto, Canada. pp.272-279, ⟨10.1145/3293611.3331625⟩
hal-02433519v1  Conference papers
Pierre FraigniaudPedro MontealegreRotem OshmanRapaport IvanIoan Todinca. On Distributed Merlin-Arthur Decision Protocols
SIROCCO 2019 - 26th International Colloquium on Structural Information and Communication Complexity, 2019, L'Aquila, Italy
hal-02433529v1  Conference papers
Pierluigi CrescenziPierre FraigniaudAmi Paz. Trade-Offs in Distributed Interactive Proofs
DISC 2019 - 33rd International Symposium on Distributed Computing, Oct 2019, Budapest, Hungary
hal-02433541v1  Conference papers
Pierluigi CrescenziPierre FraigniaudAmi Paz. Simple and Fast Distributed Computation of Betweenness Centrality
IEEE INFOCOM 2020 - International Conference on Computer Communications, Apr 2020, Pekin, China
hal-02001859v1  Conference papers
Lucas BoczkowskiAmos KormanEmanuele Natale. Brief Announcement: Self-stabilizing Clock Synchronization with 3-bit Messages
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing (PODC'16), Jul 2016, Chicago, United States. pp.207-209
...
hal-01141226v2  Journal articles
Patrick DehornoyYves Guiraud. Quadratic normalisation in monoids
International Journal of Algebra and Computation, World Scientific Publishing, 2016, 26 (5), pp.935-972. ⟨10.1142/S0218196716500399⟩
hal-01350349v1  Journal articles
Laurent Viennot. Autour des graphes et du routage
Interstices, INRIA, 2006
...
hal-01350668v1  Conference papers
Marc ShapiroMasoud Saeida ArdekaniGustavo Petri. Consistency in 3D
Int. Conf. on Concurrency Theory (CONCUR) 2016, Aug 2016, Québec, Canada. pp.15
hal-01350409v1  Journal articles
Laurent Viennot. Les réseaux ont la fibre de l’information
Interstices, INRIA, 2009
...
hal-01223494v2  Conference papers
Pierre FraigniaudMarc HeinrichAdrian Kosowski. Local Conflict Coloring
FOCS 2016 - 57th Annual IEEE Symposium on Foundations of Computer Science, Oct 2016, New Brunswick, NJ, United States
...
hal-01669223v1  Conference papers
Andrej IvaskovicAdrian KosowskiDominik PająkThomas Sauerwald. Multiple Random Walks on Paths and Grids
STACS 2017 - 34th Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. pp.1-14, ⟨10.4230/LIPIcs.STACS.2017.44⟩
hal-01964773v1  Journal articles
Pierre FraigniaudJuho HirvonenJukka Suomela. Node labels in local decision
Theoretical Computer Science, Elsevier, 2018, 751, pp.61-73
...
hal-01158211v2  Journal articles
Albert BenvenisteClaude JardSamy Abbes. Application of branching cells to QoS aware service orchestrations
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, ⟨10.1016/j.tcs.2014.02.049⟩
...
hal-01955837v1  Conference papers
Carole Delporte-GalletHugues FauconnierSergio RajsbaumNayuta Yanagisawa. A Characterization of t-Resilient Colorless Task Anonymous Solvability
SIROCCO 2018 - 25th International Colloquium Structural Information and Communication Complexity, Jun 2018, Ma'ale HaHamisha, Israel. ⟨10.1007/978-3-030-01325-7_18⟩
...
hal-01955902v1  Conference papers
Carole Delporte-GalletHugues FauconnierEli GafniGiuliano Losa. The Assignment Problem
International Conference on Distributed Computing and Networking, , 2018, Varanasi, India
hal-02434364v1  Conference papers
Carole Delporte-GalletHugues FauconnierYan JurskiFrançois LaroussinieArnaud Sangnier. Towards Synthesis of Distributed Algorithms with {SMT} Solvers
NETYS 2019 - International conference on networked systems, Jun 2019, Marrakech, Morocco
...
hal-01958152v1  Conference papers
Lucas BoczkowskiOfer FeinermanAmos KormanEmanuele Natale. Limits for Rumor Spreading in Stochastic Populations
ITCS 2018 - 9th Innovations in Theoretical Computer Science Conference, Jan 2018, Cambridge, United States. pp.1-27
...
hal-01639369v1  Conference papers
Raphaëlle CrubilléUgo Dal Lago. Metric Reasoning About λ-Terms: The General Case
ESOP 2017 - 26th European Symposium on Programming, Apr 2017, Uppsala, Sweden. pp.341-367, ⟨10.1007/978-3-662-54434-1_13⟩
hal-01674656v1  Conference papers
Pierre FraigniaudBalliu Alkida. Certification of Compact Low-Stretch Routing Schemes
DISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria
hal-01674660v1  Conference papers
Pierre FraigniaudLaurent Feuilloley. Error-Sensitive Proof-Labeling Schemes
DISC 2017 - 31st International Symposium on Distributed Computing, Oct 2017, Vienna, Austria. pp.1-15, ⟨10.4230/LIPIcs.DISC.2017.16⟩
hal-01674646v1  Conference papers
Pierre FraigniaudOlivetti Dennis. Distributed Detection of Cycles
SPAA 2017 - 29th ACM Symposium on Parallelism in Algorithms and Architectures, Jul 2017, Washington, United States. pp.153-162, ⟨10.1145/3087556.3087571⟩
hal-01674650v1  Conference papers
Pierre FraigniaudOlivetti DennisBalliu AlkidaGianlorenzo d'Angelo. What Can Be Verified Locally?
STACS 2017 - 34th International Symposium on Theoretical Aspects of Computer Science, Mar 2017, Hannover, Germany. pp.1-13, ⟨10.4230/LIPIcs.STACS.2017.8⟩
...
tel-02436610v1  Theses
Mengchuan Zou. Aspects de l’efficacité dans des problèmes sélectionnés pour des calculs sur les graphes de grande taille
Algorithme et structure de données [cs.DS]. Université de Paris, 2019. Français
...
hal-01729748v1  Reports
Feodor DraganMichel HabibLaurent Viennot. Revisiting Radius, Diameter, and all Eccentricity Computation in Graphs through Certificates
[Research Report] Inria Paris; Université paris diderot; Kent State University. 2018