Laboratoire Méthodes Formelles (LMF)

The 20 latest publications

Title Authors Publication date Source
On Composing Finite Forests with Modal Logics Stéphane Demri 04/03/23 ACM Transactions on Computational Logic
On new PageRank computation methods using quantum computing Zeno Toffano 03/01/23 Quantum Information Processing
WhyMP, a formally verified arbitrary-precision integer library Guillaume Melquiond 03/01/23 Journal of Symbolic Computation
Observation and Distinction: Representing Information in Infinite Games Dietmar Berwanger, Laurent Doyen 02/01/23 Theory of Computing Systems
Fact-nets: Towards a Mathematical Framework for Relational Quantum Mechanics Titouan Carette 02/01/23 Foundations of Physics
Unification of drags and confluence of drag rewriting Jean Pierre Jouannaud 02/01/23 Journal of Logical and Algebraic Methods in Programming
A Curry-Howard Correspondence for Linear, Reversible Computation Kostia Chardonnet, Benoît Valiron 02/01/23 Leibniz International Proceedings in Informatics, LIPIcs
Translating Proofs from an Impredicative Type System to a Predicative One Thiago Felicissimo, Frédéric Blanqui 02/01/23 Leibniz International Proceedings in Informatics, LIPIcs
Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic Fragments of Quantum Computation Renaud Vilmart 02/01/23 Leibniz International Proceedings in Informatics, LIPIcs
A Coq Formalization of Lebesgue Induction Principle and Tonelli’s Theorem Sylvie Boldo, Houda Mouhcine 01/01/23 Lecture Notes in Computer Science
Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete Mathieu Hilaire 01/01/23 Theory of Computing Systems
Cellular automata and Kan extensions Luidnel Maignan 01/01/23 Natural Computing
A Network Traffic Mutation based Ontology, and its application to 5G networks Fatiha Zaidi 01/01/23 IEEE Access
Parallel and Memory-Efficient Distributed Edge Learning in B5G IoT Networks Pierre Vandenhove 01/01/23 IEEE Journal on Selected Topics in Signal Processing
A MODULAR CONSTRUCTION OF TYPE THEORIES Frédéric Blanqui, Gilles Dowek, Emilie Grienenberger, Gabriel Hondet 01/01/23 Logical Methods in Computer Science
Distributed computation with continual population growth Matthias Függer 12/01/22 Distributed Computing
A single-particle framework for unitary lattice gauge theory in discrete time Pablo Arnault 12/01/22 New Journal of Physics
Quantum Spatial Search with Electric Potential: Long-Time Dynamics and Robustness to Noise Thibault Fredon, Pablo Arnault 12/01/22 Entropy
The True Colors of Memory: A Tour of Chromatic-Memory Strategies in Zero-Sum Games on Graphs Patricia Bouyer, Pierre Vandenhove 12/01/22 Leibniz International Proceedings in Informatics, LIPIcs
Playing (Almost-)Optimally in Concurrent Büchi and Co-Büchi Games Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 12/01/22 Leibniz International Proceedings in Informatics, LIPIcs

Number of publications of the laboratory by scientific field (2016-2021)

Every paper can be classified in one or more scientific fields. The figure below shows the lab's number of publications in each scientific field, according to the ASJC classification (Elsevier)