Skip to Main content Skip to Navigation

hal-03044338v1  Conference papers
Beniamino AccattoliClaudia FaggianGiulio Guerrieri. Factorize Factorization
CSL 2021 - 29th EACSL Annual Conference on Computer Science Logic, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.22⟩
hal-02977711v1  Journal articles
Roberto Di Cosmo. Announcing biblatex-software: software citation made easy
Software Engineering Notes, Association for Computing Machinery, 2020, 45 (4), pp.22-23. ⟨10.1145/3417564.3417570⟩
hal-02526083v4  Conference papers
Roberto Di Cosmo. Archiving and referencing source code with Software Heritage
International Congress on Mathematical Software - ICMS 2020, Jul 2020, Braunschweig, Germany. pp.362-373, ⟨10.1007/978-3-030-52200-1_36⟩
hal-03015353v2  Journal articles
Edouard BonnetNicolas BousquetPierre CharbitStéphan ThomasséRémi Watrigant. Parameterized Complexity of Independent Set in H-free Graphs
Algorithmica, Springer Verlag, 2020, Parameterized and Exact Computation, IPEC 2018, 82 (8), pp.2360-2394. ⟨10.1007/s00453-020-00730-6⟩
hal-02969880v1  Journal articles
Pierre AboulkerPierre CharbitReza Naserasr. Extension of Gyárfás-Sumner conjecture to digraphs
The Electronic Journal of Combinatorics, Open Journal Systems, 2021, ⟨10.37236/9906⟩
hal-03089347v1  Journal articles
Beniamino AccattoliStéphane Graham-LengrandDelia Kesner. Tight typings and split bounds, fully developed
Journal of Functional Programming, Cambridge University Press (CUP), 2020, 30, ⟨10.1017/S095679682000012X⟩
hal-03120781v1  Conference papers
Boaz BarakRaphaëlle CrubilléUgo Dal Lago. On Higher-Order Cryptography
ICALP 2020 - 47th International Colloquium on Automata, Languages, and Programming, Jul 2020, Saarbrucken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.108⟩
hal-03162658v1  Conference papers
Carole DelporteHugues FauconnierSergio RajsbaumMichel Raynal. k-Immediate Snapshot and x-Set Agreement: How Are They Related?
SSS 2020 - International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2020, Austin Texas (online), United States. pp.97-112, ⟨10.1007/978-3-030-64348-5_8⟩
hal-03455968v1  Conference papers
Paul-André Melliès. Asynchronous Template Games and the Gray Tensor Product of 2-Categories
LICS 2021 - 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2021, Rome, Italy. ⟨10.1109/LICS52264.2021.9470758⟩
hal-03320556v1  Conference papers
Théo ZimmermannJean-Rémy Falleri. A grounded theory of Community Package Maintenance Organizations-Registered Report
ICSME 2021 - 37th International Conference on Software Maintenance and Evolution, Sep 2021, Luxembourg City / Virtual, Luxembourg
hal-03389052v1  Conference papers
Sébastien LégaréJean KrivineJerome Feret. Distinguishing Context Dependent Events in Quotients of Causal Stories
JOBIM 2021 - Journées Ouvertes en Biologie, Informatique et Mathématiques, Sophie Schbath; Denis Thieffry, Jul 2021, Virtuel, France. pp.54-61
hal-02173207v1  Conference papers
Rémi NolletAlexis SaurinChristine Tasson. PSPACE-Completeness of a Thread Criterion for Cyclic Proofs in Linear Logic with Least and Greatest Fixed Points
TABLEAUX 2019 - 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. ⟨10.1007/978-3-030-29026-9_18⟩
hal-02307397v4  Journal articles
Guillaume DucoffeMichel HabibLaurent Viennot. Fast Diameter Computation within Split Graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2021
hal-03357485v1  Poster communications
Sébastien LégaréJean KrivineRuss HarmerJerome Feret. Modelling Systems Biology Wide and Deep
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. CMSB
hal-03210222v1  Conference papers
Lucas Massoni SguerraPierre JouvelotEmilio Jesús Gallego AriasGérard MemmiFabien Coelho. Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
hal-02534965v2  Conference papers
Théo Zimmermann. A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
SoHeal 2020 - 3rd International Workshop on Software Health, May 2020, Seoul / Virtual, South Korea. ⟨10.1145/3387940.3392209⟩
hal-01962663v1  Journal articles
Pierre BoutillierMutaamba MaashaXing LiHéctor 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-03404668v2  Conference papers
Pierre CastéranJérémy DamourKarl PalmskogClément Pit-ClaudelThéo Zimmermann. Hydras & Co.: Formalized mathematics in Coq for inspiration and entertainment
Journées Francophones des Langages Applicatifs: JFLA 2022, Feb 2022, St-Médard d'Excideuil, France
hal-03046017v1  Conference papers
Xavier BonnetainRémi BricoutAndré SchrottenloherYixin Shen. Improved Classical and Quantum Algorithms for Subset-Sum
Asiacrypt 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Daejeon / Virtual, South Korea. pp.633--666, ⟨10.1007/978-3-030-64834-3_22⟩
hal-02995771v1  Book sections
Olivier BournezGilles DowekRémi GilleronSerge GrigorieffJean-Yves Marion et al.  Theoretical Computer Science: Computational Complexity
A Guided Tour of Artificial Intelligence Research - Volume III: Interfaces and Applications of Artificial Intelligence (10.1007/978-3-030-06170-8), Springer International Publishing, 2020
hal-02545142v1  Reports
Mélanie Clément-FontaineRoberto Di CosmoBastien GuerryPatrick MoreauFrançois Pellegrini. Encouraging a wider usage of software derived from research
[Research Report] Committee for Open Science's Free Software and Open Source Project Group. 2019