François Monin

According to our database, François Monin authored at least 12 papers between 1998 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

On the Mathematical Modeling in Logic: An Analysis of the Structural Part of Object Determination Logic Through the Formal Concept Analysis.

Anca Pascu, Laurent Nana, Jean Vareille, François Monin

Logica Universalis, March, 2025

A Knowledge Analysis of an Engineering Application Related to Sustainable Development.

Laurent Nana, Jean Vareille, François Monin, Anca Christine Pascu

Proceedings of the 38th International Florida Artificial Intelligence Research Society Conference, 2025

2024

On Soft Sets and Formal Concept Analysis (FCA) as mathematical categorization systems - An Engineering Application.

Anca Pascu, Laurent Nana, Jean Vareille, François Monin

Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024

2016

Formal proof of security algorithms based on reachability reduction.

Mohamed Bouziane, Sophie Gire, François Monin, Laurent Nana

Proceedings of the 8th International Conference on Management of Digital EcoSystems, 2016

2005

A computer checked algebraic verification of a distributed summation algorithm.

Jan Friso Groote, François Monin, Jan Springintveld

Formal Aspects Comput., 2005

2003

On Automating the Extraction of Programs from Termination Proofs.

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón

Rev. Colomb. de Computación, 2003

2002

An Extension of an Automated Termination Method of Recursive Functions.

Fairouz Kamareddine, François Monin

Int. J. Found. Comput. Sci., 2002

On automating the extraction of programs from proofs using product types.

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

2001

An ordinal measure based procedure for termination of functions.

François Monin, Marianne Simonot

Theor. Comput. Sci., 2001

1999

On Formalised Proofs of Termination of Recursive Functions.

Fairouz Kamareddine, François Monin

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

On Automating Inductive and Non-inductive Termination Methods.

Fairouz Kamareddine, François Monin

Proceedings of the Advances in Computing Science, 1999

1998

Checking Verifications of Protocols and Distributed Systems by Computer.

Jan Friso Groote, François Monin, Jaco van de Pol

Proceedings of the CONCUR '98: Concurrency Theory, 1998