Follow
olivier pons
Title
Cited by
Cited by
Year
Setoids in type theory
G Barthe, V Capretta, O Pons
Journal of Functional Programming 13 (2), 261-293, 2003
1302003
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
732007
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
552011
Type isomorphisms and proof reuse in dependent type theory
G Barthe, O Pons
International Conference on Foundations of Software Science and Computation …, 2001
502001
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
482010
Notions of dependency in proof assistants
O Pons, Y Bertot, L Rideau
User Interfaces 98, 130, 1998
231998
Improved matrix interpretation
P Courtieu, G Gbedo, O Pons
International Conference on Current Trends in Theory and Practice of …, 2010
222010
Generalization in type theory based proof assistants
O Pons
International Workshop on Types for Proofs and Programs, 217-232, 2000
182000
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
122005
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
111999
Undoing and managing a proof
O Pons
Electronic Proceedings of" User Interfaces for Theorem Provers, 1997
81997
Dependency graphs for interactive theorem provers
Y Bertot, O Pons, L Pottier
Technical Report RR-4052, INRIA, 2000
72000
CiME3, 2007
É Contejean, P Courtieu, J Forest, O Pons, X Urbain
URL http://cime. lri. fr. http://cime. lri. fr, 0
5
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
22023
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
22016
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
22005
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
12023
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
12023
Matrix interpretations revisited
P Courtieu, G Gbedo, O Pons
Extended Abstracts of the 10th International Workshop on Termination, WST 9, 2009
12009
A Distribution and System Compiler for Handling Heterogeneous Computer Site
I Augé, V Leligeour, O Pons
Techn. Ber. CEDRIC-08-1549. Paris: CEDRICCNAM, 2008
12008
The system can't perform the operation now. Try again later.
Articles 1–20