582 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-01951322v1  Conference papers
Théo Zimmermann. Challenges in the collaborative development of a complex mathematical software and its ecosystem
OpenSym 2018 - 14th International Symposium on Open Collaboration, Aug 2018, Paris, France. ⟨10.1145/3233391.3233966⟩
hal-00750611v1  Conference papers
Philippe MullerStergos AfantenosPascal DenisNicholas Asher. Constrained decoding for text-level discourse parsing
COLING - 24th International Conference on Computational Linguistics, Dec 2012, Mumbai, India
hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
hal-00750618v1  Conference papers
Stergos AfantenosNicholas AsherFarah BenamaraAnaïs CadilhacCédric Dégremont et al.  Developing a corpus of strategic conversation in The Settlers of Catan
SeineDial 2012 - The 16th WORKSHOP ON THE SEMANTICS AND PRAGMATICS OF DIALOGUE, Sep 2012, Paris, France
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-02406569v1  Conference papers
Cédric Ho ThanhPierre-Louis CurienSamuel Mimram. A Sequent Calculus for Opetopes
LICS 2019 - Logic in computer science 2019, Jun 2019, Vancouver, Canada
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-02405864v1  Conference papers
Paolo GiarrussoYann Régis-GianasPhilipp Schuster. Incremental λ-Calculus in Cache-Transfer Style Static Memoization by Program Transformation
ESOP 2019 - European Symposium on Programming, Apr 2019, Prague, Czech Republic
hal-02423508v1  Conference papers
Michel HabibFabien de MontgolfierLalla MouatadidMengchuan Zou. A General Algorithmic Scheme for Modular Decompositions of Hypergraphs and Applications
IWOCA 2019 - 30th International Workshop on Combinatorial Algorithms, Jul 2019, Pise, Italy
hal-01430372v1  Journal articles
Ofer FeinermanAmos Korman. The ANTS problem
Distributed Computing, Springer Verlag, 2017, ⟨10.1007/s00446-016-0285-8⟩
hal-02433478v1  Journal articles
Pierre FraigniaudBoaz Patt-ShamirMor Perry. Randomized proof-labeling schemes
Distributed Computing, Springer Verlag, 2019, 32 (3), pp.217-234. ⟨10.1007/s00446-018-0340-8⟩
hal-02433482v1  Journal articles
Pierre FraigniaudEmanuele Natale. Noisy rumor spreading and plurality consensus
Distributed Computing, Springer Verlag, 2019, 32 (4), pp.257-276. ⟨10.1007/s00446-018-0335-5⟩
hal-01269895v1  Journal articles
Marcos AguileraCarole Delporte-GalletHugues FauconnierSam Toueg. Partial synchrony based on set timeliness
Distributed Computing, Springer Verlag, 2012, 25 (3), pp.249-260
hal-01423053v1  Journal articles
Vincent Cohen-AddadMichel HabibFabien de Montgolfier. Algorithmic aspects of switch cographs
Discrete Applied Mathematics, Elsevier, 2016, 200, pp.23 - 42. ⟨10.1016/j.dam.2015.07.008⟩
hal-01955233v1  Journal articles
Michel HabibLhouari Nourine. Representation of lattices via set-colored posets
Discrete Applied Mathematics, Elsevier, 2018, 249, pp.64-73. ⟨10.1016/j.dam.2018.03.068⟩
hal-00650649v1  Conference papers
Eric SennJérémie GuillotDaniel ChilletCécile BelleudySmail Niar et al.  Open Power and Energy Optimization Platform and Estimator (Open-People) ANR Project
Design, Automation & Test in Europe (DATE 2011), University Booth, Mar 2011, Grenoble, France