Institut de Recherche en Informatique Fondamentale

Recent papers from Institut de Recherche en Informatique Fondamentale

1. Coherent differentiation with a monoid of degrees: derivatives, Taylor expansion, finite differences...2026
2. Cooperating for the future of higher education: Walking the talk in the digital bifurcationEuropean Management Review · 2026
3. A Datalog Framework for Conflict-Free Replicated Data TypesTheory and Practice of Logic Programming · 2026
4. Durable responses to immunotherapy in dMMR/MSI-H metastatic colorectal cancer patients with poor performance statusClinical Colorectal Cancer · 2026
5. No good Markov strategies for Büchi objectives in countable MDPsAnnals of Operations Research · 2026
6. StrainMake: reproducible hybrid metagenomics with MAG recovery and strain-level resolutionBioinformatics · 2026
7. Quantum Speedups for Linear Programming via Interior Point MethodsSIAM Journal on Computing · 2026
8. (Definitely not) Boring interaction abstract machinesTheoretical Computer Science · 2025
9. Monadic Intersection Types, Relationally and OrderedACM Transactions on Programming Languages and Systems · 2025
10. Testing network clustering algorithms with natural language processingFrontiers in Artificial Intelligence · 2025
11. Testing network clustering algorithms with natural language processingFrontiers in Artificial Intelligence · 2025
12. Training-efficient density quantum machine learningnpj Quantum Information · 2025
13. Liberating Merges via Apartness and Guarded SubtypingProceedings of the ACM on Programming Languages · 2025
14. Type-Safe Compilation of Dynamic Inheritance via MergingACM Transactions on Programming Languages and Systems · 2025
15. Suboptimal distribution and utilization of antenatal care given bed Nets undermine pregnant women’s protection in Benin: a prospective field studyBMC Public Health · 2025
16. Learning Weighted Automata over Number Rings, Concretely and Categorically2025
17. Breaking the Barrier of Self-Concordant Barriers: Faster Interior Point Methods for M-Matrices2025
18. The SpaceSaving± Family of Algorithms for Data Streams with Bounded Deletions2025
19. The categorical contours of the Chomsky-Sch\"utzenberger representation theoremLogical Methods in Computer Science · 2025
20. Two antagonistic objectives for one multi-scale graph clustering frameworkScientific Reports · 2025