Setoids in type theory G Barthe, V Capretta, O Pons Journal of Functional Programming 13 (2), 261-293, 2003 | 131 | 2003 |
Certification of automated termination proofs E Contejean, P Courtieu, J Forest, O Pons, X Urbain Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 …, 2007 | 74 | 2007 |
Automated certified proofs with CiME3 E Contejean, P Courtieu, J Forest, O Pons, X Urbain 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011 | 55 | 2011 |
Type isomorphisms and proof reuse in dependent type theory G Barthe, O Pons International Conference on Foundations of Software Science and Computation …, 2001 | 50 | 2001 |
A3PAT, an approach for certified automated termination proofs É Contejean, A Paskevich, X Urbain, P Courtieu, O Pons, J Forest Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 48 | 2010 |
Notions of dependency in proof assistants O Pons, Y Bertot, L Rideau User Interfaces 98, 130, 1998 | 23 | 1998 |
Improved matrix interpretation P Courtieu, G Gbedo, O Pons International Conference on Current Trends in Theory and Practice of …, 2010 | 22 | 2010 |
Generalization in type theory based proof assistants O Pons International Workshop on Types for Proofs and Programs, 217-232, 2000 | 18 | 2000 |
FRASQUES, le système du groupe LIR, LIMSI B Grau, G Illouz, L Monceaux, P Paroubek, O Pons, I Robba, A Vilnat Atelier EQueR, Conférence (TALN’05), 2005 | 12 | 2005 |
Conception et réalisation d’outils d’aide au développement de grosses théories dans les systèmes de preuves interactifs O Pons Th ese de Doctorat, Conservatoire National des Arts et M etiers, 1999 | 11 | 1999 |
Undoing and managing a proof O Pons Electronic Proceedings of" User Interfaces for Theorem Provers, 1997 | 8 | 1997 |
Dependency graphs for interactive theorem provers Y Bertot, O Pons, L Pottier Technical Report RR-4052, INRIA, 2000 | 7 | 2000 |
CiME3, 2007 É Contejean, P Courtieu, J Forest, O Pons, X Urbain URL http://cime. lri. fr. http://cime. lri. fr, 0 | 5 | |
Danse-doigts, jeu de motricité fine JF Susini, O Pons, N Guedin, C Thevenot Handicap 2016. La recherche au service de la qualité de vie et de l’autonomie, 2016 | 3 | 2016 |
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case É Lincker, C Guinaudeau, O Pons, J Dupire, C Hudelot, V Mousseau, ... Proceedings of the 20th International Conference on Content-based Multimedia …, 2023 | 2 | 2023 |
De l'importance des synonymes pour la sélection de passages en question-réponse B Grau, AL Ligozat, I Robba, A Vilnat, F El Kateb, G Illouz, L Monceaux, ... CORIA'05 Conférence en Recherche d'Informations et Applications, 71-84, 2005 | 2 | 2005 |
Layout-and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction E Lincker, O Pons, C Guinaudeau, I Barbet, J Dupire, C Hudelot, ... Intelligent Textbooks 2023 3444, 37-53, 2023 | 1 | 2023 |
Classification automatique de données déséquilibrées et bruitées: application aux exercices de manuels scolaires E Lincker, C Guinaudeau, O Pons, I Barbet, J Dupire, C Hudelot, ... 18e Conférence en Recherche d'Information et Applications--16e Rencontres …, 2023 | 1 | 2023 |
Matrix interpretations revisited P Courtieu, G Gbedo, O Pons Extended Abstracts of the 10th International Workshop on Termination, WST 9, 2009 | 1 | 2009 |
A Distribution and System Compiler for Handling Heterogeneous Computer Site I Augé, V Leligeour, O Pons Techn. Ber. CEDRIC-08-1549. Paris: CEDRICCNAM, 2008 | 1 | 2008 |