Laboratoire Méthodes Formelles (LMF)

The 20 latest publications

Title Authors Publication date Source
Towards a qualitative theory of the interruption of eating behavior change Philippe Dague 03/21/24 Journal of Theoretical Biology
Cerise: Program verification on a capability machine in the presence of untrusted code Armael Gueneau 02/12/24 Journal of the ACM
From Local to Global Optimality in Concurrent Parity Games Benjamin Bordais, Patricia Bouyer, Stéphane Le Roux 02/01/24 Leibniz International Proceedings in Informatics, LIPIcs
Quantum Circuit Completeness: Extensions and Simplifications Alexandre Clément, Renaud Vilmart 02/01/24 Leibniz International Proceedings in Informatics, LIPIcs
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs Roman Kniazev 02/01/24 Leibniz International Proceedings in Informatics, LIPIcs
A Floating-Point Numbers Theory for Event-B Idir Ait-Sadoune 01/01/24 Lecture Notes in Computer Science
Resilience and Home-Space for WSTS Alain Finkel, Mathieu Hilaire 01/01/24 Lecture Notes in Computer Science
Timed Alignments with Mixed Moves Thomas Chatain 01/01/24 Lecture Notes in Business Information Processing
On the Piecewise Complexity of Words and Periodic Words Philippe Schnoebelen, J. Veron, I. Vialard 01/01/24 Lecture Notes in Computer Science
A few characterizations of topological spaces with no infinite discrete subspace Jean Goubault-Larrecq 01/01/24 Topology and its Applications
Enabling Floating-Point Arithmetic in the Coq Proof Assistant Guillaume Melquiond 12/01/23 Journal of Automated Reasoning
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Patricia Bouyer 12/01/23 Leibniz International Proceedings in Informatics, LIPIcs
Counter Machines with Infrequent Reversals Alain Finkel 12/01/23 Leibniz International Proceedings in Informatics, LIPIcs
Safe learning-based model predictive control using the compatible models approach Laurent Fribourg 11/01/23 European Journal of Control
PALS: Distributed Gradient Clocking on Chip Matthias Függer 11/01/23 IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Extensional proofs in a propositional logic modulo isomorphisms Gilles Dowek 10/25/23 Theoretical Computer Science
A Domain-theoretic Approach to Statistical Programming Languages Jean Goubault-Larrecq, Clément Théron 10/12/23 Journal of the ACM
Gauge-invariance in cellular automata Pablo Arrighi 09/01/23 Natural Computing
Cellular automata and Kan extensions Luidnel Maignan 09/01/23 Natural Computing
About Decisiveness of Dynamic Probabilistic Models Alain Finkel, S. Haddad, Lina Ye 09/01/23 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)