Skip to Main content Skip to Navigation


...
hal-02333354v1  Conference papers
Dominique Larchey-Wendling. Proof Pearl: Constructive Extraction of Cycle Finding Algorithms
9th International Conference on Interactive Theorem Proving, ITP 2018, Jul 2018, Oxford, United Kingdom. pp.370-387, ⟨10.1007/978-3-319-94821-8_22⟩
hal-01587624v1  Journal articles
Nathanaël FijalkowCharles Paperman. Monadic Second-Order Logic with Arbitrary Monadic Predicates
ACM Transactions on the Web, http://tweb.acm.org/, 2017, 9 (3), pp.39 - 56. ⟨10.1145/3091124⟩
inria-00099561v1  Conference papers
Moussa DembaFrancis AlexandreKhaled Bsaïes. Correction de conjectures fausses par synthèse de programmes
Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes 2003 - JFPLC'2003, 2003, Amiens, France, 4 p
...
hal-01225344v1  Conference papers
Benoît LibertMarc JoyeMoti yungThomas Peters. Secure Efficient History-Hiding Append-Only Signatures in the Standard Model
Public Key Cryptography 2015 (PKC 2015), Mar 2015, Washington DC, United States. ⟨10.1007/978-3-662-46447-2_20⟩
...
inria-00277075v2  Conference papers
yves BertotEkaterina Komendantskaya. Inductive and Coinductive Components of Corecursive Functions in Coq
Coalgebraic Methods in Computer Science, Apr 2008, Budapest, Hungary
inria-00099125v1  Conference papers
Dominique CansellDominique MéryStephan Merz. Predicate diagrams for the verification of reactive systems
Second International Conference on Integrated Formal Methods - IFM'2000, 2000, Dagstuhl Castle, Germany, pp.380-397
...
inria-00071232v2  Journal articles
Guillaume MelquiondSylvain Pion. Formally Certified Floating-Point Filters For Homogeneous Geometric Predicates
RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2007, 41, pp.57-69. ⟨10.1051/ita:2007005⟩
...
tel-00387017v1  Theses
Olivier Carloni. Introduction de raisonnement dans un outil industriel de gestion des connaissances
Génie logiciel [cs.SE]. Université Montpellier II - Sciences et Techniques du Languedoc, 2008. Français
...
hal-01408670v1  Conference papers
Arthur Charguéraud. Higher-order representation predicates in separation logic
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP), Jan 2016, St. Petersburg, FL, United States. pp.3 - 14, ⟨10.1145/2854065.2854068⟩
...
tel-00187348v1  Habilitation à diriger des recherches
Sylvain Petitjean. Contributions au calcul géométrique effectif avec des objets courbes de faible degré
Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2007