Skip to Main content Skip to Navigation

hal-02301415v1  Conference papers
Karim HammoudiAdnane CabaniMahmoud MelkemiHalim BenhabilesFeryal Windal. Towards a Model of Car Parking Assistance System Using Camera Networks: Slot Analysis and Communication Management
2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS), Jun 2018, Exeter, United Kingdom. pp.1248-1255, ⟨10.1109/HPCC/SmartCity/DSS.2018.00210⟩
hal-01964761v1  Conference papers
Simon ColletPierre FraigniaudPaolo Penna. Equilibria of Games in Networks for Local Tasks
OPODIS 2018 - 22nd International Conference on Principles of Distributed Systems, Dec 2018, Hong-Kong, China. ⟨10.4230/LIPIcs.OPODIS.2018.0⟩
hal-01845363v1  Conference papers
Delphine PouxBenjamin AllaertJosé MennessonNacim IhaddadeneIoan Marius Bilasco et al.  Mastering Occlusions by Using Intelligent Facial Frameworks Based on the Propagation of Movement
International Conference on Content-Based Multimedia Indexing (CBMI), Sep 2018, La Rochelle, France
hal-01870620v1  Conference papers
yoshinori AonoPhong Q. Nguyenyixin Shen. Quantum Lattice Enumeration and Tweaking Discrete Pruning
Asiacrypt 2018 - the 24th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2018, Brisbane, Australia
hal-01946996v1  Conference papers
Exequiel Rivas. Relating Idioms, Arrows and Monads from Monoidal Adjunctions
Seventh Workshop on Mathematically Structured Functional Programming- EPTCS, Jul 2018, Oxford, United Kingdom. pp.18-33
tel-01887505v1  Theses
Vitalii Aksenov. Synchronization Costs in Parallel Programs and Concurrent Data Structures
Distributed, Parallel, and Cluster Computing [cs.DC]. ITMO University; Paris Diderot University, 2018. English
hal-01738741v1  Poster communications
yannick BarboriniRoberto Di CosmoAntoine R. DumontMorane GruenpeterBruno P Marmol et al.  The creation of a new type of scientific deposit: Software
RDA Eleventh Plenary Meeting, Berlin, Germany, Mar 2018, Berlin, Germany. 2018
hal-01510216v3  Journal articles
François FagesThierry MartinezDavid A RosenbluethSylvain Soliman. Influence Networks compared with Reaction Networks: Semantics, Expressivity and Attractors
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, In press, PP (99), pp.1-14. ⟨10.1109/TCBB.2018.2805686⟩
hal-01955263v1  Conference papers
Victor ChepoiFeodor F. DraganMichel Habibyann VaxèsHend Alrasheed. Fast Approximation of Centrality and Distances in Hyperbolic Graphs
COCOA 2018 - 12th Annual International Conference on Combinatorial Optimization and Applications, Dec 2018, Atlanta, United States. pp.1-23, ⟨10.1007/978-3-540-27836-8_101⟩
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-01958133v1  Conference papers
Lucas BoczkowskiAmos Kormanyoav Rodeh. Searching a Tree with Permanently Noisy Advice
ESA 2018 - 26th Annual European Symposium on Algorithms, Aug 2018, Helsinki, Finland. pp.1-32, ⟨10.4230/LIPIcs.ESA.2018.54⟩
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⟩
tel-01963290v1  Theses
Lucas Boczkowski. Search and broadcast in stochastic environments, a biological perspective.
Computer Science [cs]. Université Paris 7, 2018. English
hal-01963249v1  Conference papers
Adrian KosowskiPrzemysław Uznanski. Ergodic Effects in Token Circulation
SODA '18 - Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, Jan 2018, New Orleans, United States. pp.2668-2682
hal-01947855v1  Book sections
Ahmed BouajjaniConstantin EneaKailiang JiShaz Qadeer. On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony
International Conference on Computer Aided Verification, CAV 2018: Computer Aided Verification, Springer International Publishing, pp.372-391, 2018
hal-01890044v1  Conference papers
yann Régis-GianasNicolas JeannerodRalf Treinen. Morbig: A Static Parser for POSIX Shell
SLE 2018 - ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. ⟨10.1145/3276604.3276615⟩
hal-01964771v1  Conference papers
Laurent FeuilloleyPierre FraigniaudJuho HirvonenAmi PazMor Perry. Redundancy in Distributed Proofs
32nd International Symposium on Distributed Computing, 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.24⟩
hal-01964773v1  Journal articles
Pierre FraigniaudJuho HirvonenJukka Suomela. Node labels in local decision
Theoretical Computer Science, Elsevier, 2018, 751, pp.61-73
hal-01962369v1  Conference papers
Edouard BonnetNicolas BousquetPierre CharbitStéphan ThomasséRémi Watrigant. Parameterized Complexity of Independent Set in H-free graphs
IPEC 2018 - 13th International Symposium on Parameterized and Exact Computation, Aug 2018, Helsinki, Finland. ⟨10.4230/LIPIcs.CVIT.2016.23⟩
hal-01671948v1  Conference papers
Abhishek AnandSimon BoulierNicolas TabareauMatthieu Sozeau. Typed Template Coq -- Certified Meta-Programming in Coq
CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2
hal-01799712v1  Conference papers
Thomas Letanyann Régis-GianasPierre ChifflierGuillaume Hiet. Modular Verification of Programs with Effects and Effect Handlers in Coq
FM 2018 - 22nd International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.338-354, ⟨10.1007/978-3-319-95582-7_20⟩
hal-01882069v1  Journal articles
Gabriele d'AngeloAngelo Di IorioStefano Zacchiroli. Spacetime Characterization of Real-Time Collaborative Editing
Proceedings of the ACM on Human-Computer Interaction , Association for Computing Machinery (ACM), 2018, CSCW, 2, pp.1-19. ⟨10.1145/3274310⟩
hal-02399102v1  Journal articles
Angus G. ForbesAndrew BurksKristine LeeXing LiPierre Boutillier et al.  Dynamic Influence Networks for Rule-Based Models
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2018, 24 (1), pp.184-194. ⟨10.1109/TVCG.2017.2745280⟩
hal-01962663v1  Journal articles
Pierre BoutillierMutaamba MaashaXing LiHéctor F Medina-AbarcaJean Krivine et al.  The Kappa platform for rule-based modeling
Bioinformatics, Oxford University Press (OUP), 2018, Bioinformatics, 34 (13), pp.i583-i592. ⟨10.1093/bioinformatics/bty272⟩
hal-01952037v1  Conference papers
Amin TimanyMatthieu Sozeau. Cumulative Inductive Types in Coq
FSCD 2018 - 3rd International Conference on Formal Structures for Computation and Deduction, Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.29⟩
hal-01559073v6  Journal articles
Nicolas TabareauÉric TanterMatthieu Sozeau. Equivalences for Free
Proceedings of the ACM on Programming Languages, ACM, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
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-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-01688726v1  Poster communications
yannick BarboriniRoberto Di CosmoAntoine R. DumontMorane GruenpeterBruno P Marmol et al.  La création du nouveau type de dépôt scientifique - Le logiciel
JSO 2018 - 7es journées Science Ouverte Couperin : 100 % open access : initiatives pour une transition réussie, Jan 2018, Paris, France. 2018
tel-01890983v1  Theses
Guillaume Claret. Program in Coq
Programming Languages [cs.PL]. Université Paris Diderot - Paris 7, 2018. English
hal-01729748v1  Reports
Feodor F. 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
hal-01727207v1  Conference papers
Marc ShapiroAnnette BieniusaPeter ZellerGustavo Petri. Ensuring referential integrity under causal consistency
PaPoC 2018 - 5th Workshop on Principles and Practice of Consistency for Distributed Data, Apr 2018, Porto, Portugal
hal-01992148v1  Journal articles
Paul-André MellièsNicolas TabareauChristine Tasson. An explicit formula for the free exponential modality of linear logic
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩
hal-01662127v1  Journal articles
Maxime Lucas. Cubical (ω,p)-categories
Higher Structures, Macquarie University 2018
hal-00932845v2  Journal articles
yves GuiraudPhilippe Malbos. Polygraphs of finite derivation type
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, 28 (2), pp.155-201. ⟨10.1017/S0960129516000220⟩
hal-01955582v1  Conference papers
Lucas BoczkowskiBrieuc GuinardAmos KormanZvi LotkerMarc Renault. Random Walks with Multiple Step Lengths
LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Apr 2018, Buenos Aires, Argentina. pp.174-186
hal-01903098v1  Conference papers
Xavier BultelRadu CiucanuMatthieu GiraudPascal LafourcadeLihua ye. Secure Joins with MapReduce
FPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada
hal-01955902v1  Conference papers
Carole Delporte-GalletHugues FauconnierEli GafniGiuliano Losa. The Assignment Problem
International Conference on Distributed Computing and Networking, , 2018, Varanasi, India
hal-01955906v1  Journal articles
Carole Delporte-GalletHugues FauconnierSergio RajsbaumMichel Raynal. Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2018, 29 (9), pp.2033-2045. ⟨10.1109/TPDS.2018.2809551⟩
tel-01994139v1  Theses
Léo Planche. Décomposition de graphes en plus courts chemins et en cycles de faible excentricité
Mathématique discrète [cs.DM]. Paris Descartes, 2018. Français
hal-01809681v1  Conference papers
Abhishek AnandSimon BoulierCyril CohenMatthieu SozeauNicolas Tabareau. Towards Certified Meta-Programming with Typed Template-Coq
ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩
hal-01767807v1  Conference papers
Bohao HuangKangkang LuNicolas AudebertAndrew Khalelyuliya Tarabalka et al.  Large-scale semantic classification: outcome of the first year of Inria aerial image labeling benchmark
IGARSS 2018 - IEEE International Geoscience and Remote Sensing Symposium, Jul 2018, Valencia, Spain. pp.1-4, ⟨10.1109/IGARSS.2018.8518525⟩
hal-01960756v1  Conference papers
Divesh AggarwalAntoine JouxAnupam PrakashMiklos Santha. A New Public-Key Cryptosystem via Mersenne Numbers
Crypto 2018, 2018, Santa-Barbara, United States. pp.459-482
tel-01890508v1  Theses
Thibaut Girka. Differential program semantics
Programming Languages [cs.PL]. Université Paris Diderot, 2018. English
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-01897456v1  Conference papers
Paul Laforgueyann Régis-Gianas. OCaml étendu avec du filtrage par comotifs
JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls sur mer, France
hal-01936141v1  Conference papers
Beniamino AccattoliStéphane Graham-LengrandDelia Kesner. Tight typings and split bounds
23rd ACM International Conference on Functional Programming, Sep 2018, St Louis, United States. pp.1 - 30, ⟨10.1145/3236789⟩
hal-01503359v3  Conference papers
Bartlomiej DudekAdrian Kosowski. Universal Protocols for Information Dissemination Using Emergent Signals
STOC 2018 Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, ACM, 2018, Los Angeles, United States. pp.87-99, ⟨10.1145/3188745.3188818⟩
hal-01964759v1  Conference papers
Chen AvinAvi CohenPierre FraigniaudZvi LotkerDavid Peleg. Preferential Attachment as a Unique Equilibrium
World Wide Web Conference (WWW), 2018, Lyon, France. pp.559-568, ⟨10.1145/3178876.3186122⟩
hal-01964764v1  Journal articles
Alkida BalliuGianlorenzo D 'AngeloPierre FraigniaudDennis Olivetti. What Can Be Verified Locally?
Journal of Computer and System Sciences, Elsevier, 2018
hal-01939906v1  Journal articles
Mathieu AnelGeorg BiedermannEric FinsterAndré Joyal. Goodwillie's calculus of functors and higher topos theory
Journal of topology, Oxford University Press, 2018, 11 (4), pp.1100-1132. ⟨10.1112/topo.12082⟩
hal-01624839v2  Conference papers
Étienne MiqueyHugo Herbelin. Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control
FOSSACS 18 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessalonique, Greece. pp.276-292, ⟨10.1007/978-3-319-89366-2_15⟩