Skip to Main content Skip to Navigation

tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
hal-01671777v3  Journal articles
Matthieu SozeauCyprien Mangin. Equations reloaded
Proceedings of the ACM on Programming Languages, ACM, 2019, 3 (ICFP), pp.1-29. ⟨10.1145/3341690⟩
hal-01890511v1  Journal articles
Jan-Oliver KaiserBeta ZilianiRobbert KrebbersYann Régis-GianasDerek Dreyer. Mtac2: typed tactics for backward reasoning in Coq
Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 31. ⟨10.1145/3236773⟩
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-01416026v1  Journal articles
Jurek CzyzowiczDariusz DereniowskiLeszek GąsieniecRalf KlasingAdrian Kosowski et al.  Collision-Free Network Exploration
Journal of Computer and System Sciences, Elsevier, 2017, 86, pp.70-81. ⟨10.1016/j.jcss.2016.11.008⟩
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⟩
tel-01676983v1  Theses
Jovana Obradovic. Cyclic operads: syntactic, algebraic and categorified aspects
Category Theory [math.CT]. Université Paris Diderot - Paris 7 - Sorbonne Paris Cité, 2017. English
tel-01676953v1  Theses
Amina Doumane. On the infinitary proof theory of logics with fixed points
Computation and Language [cs.CL]. Université Paris 7 - Diderot, 2017. English
hal-01350349v1  Journal articles
Laurent Viennot. Autour des graphes et du routage
Interstices, INRIA, 2006
hal-01350312v1  Journal articles
Laurent ViennotOdile Lausecker. Les réseaux de pair à pair
Interstices, INRIA, 2005
hal-01350409v1  Journal articles
Laurent Viennot. Les réseaux ont la fibre de l’information
Interstices, INRIA, 2009
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-01159182v1  Journal articles
Frédéric LoulergueWadoud BousdiraJulien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms
International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩
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-01424769v1  Conference papers
Enka BlanchardNicolas Schabanel. Dynamic Sum-Radii Clustering
WALCOM 2017, Mar 2017, Hsinchu, Taiwan
hal-01304598v2  Conference papers
Enka BlanchardNicolas Schabanel. Clustering Dynamique par Rayon
ALGOTEL 2016 - 18èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2016, Bayonne, France
hal-01669490v1  Journal articles
Jovana ObradovicPierre-Louis CurienJelena Ivanovic. Syntactic aspects of hypergraph polytopes
Journal of Homotopy and Related Structures, Springer, In press
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-02321581v1  Reports
Hossein BaktashEmanuele NataleLaurent Viennot. A Comparative Study of Neural Network Compression
[Research Report] INRIA Sophia Antipolis - I3S. 2019
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-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