Franois Monin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2025
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FlAIRS | A Knowledge Analysis of an Engineering Application Related to Sustainable Development. | Laurent Nana, Jean Vareille, Franois Monin, Anca Christine Pascu |
| 2024 | FlAIRS | On Soft Sets and Formal Concept Analysis (FCA) as mathematical categorization systems - An Engineering Application. | Anca Pascu, Laurent Nana, Jean Vareille, Franois Monin |
| 2016 | MEDES | Formal proof of security algorithms based on reachability reduction. | Mohamed Bouziane, Sophie Gire, Franois Monin, Laurent Nana |
| 1999 | PPDP | On Formalised Proofs of Termination of Recursive Functions. | Fairouz Kamareddine, Franois Monin |
| 1998 | CONCUR | Checking Verifications of Protocols and Distributed Systems by Computer. | Jan Friso Groote, Franois Monin, Jaco van de Pol |