Seguir
olivier pons
Título
Citado por
Citado por
Año
Setoids in type theory
G Barthe, V Capretta, O Pons
Journal of Functional Programming 13 (2), 261-293, 2003
1282003
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
572011
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
492010
Type isomorphisms and proof reuse in dependent type theory
G Barthe, O Pons
International Conference on Foundations of Software Science and Computation …, 2001
492001
Improved matrix interpretation
P Courtieu, G Gbedo, O Pons
International Conference on Current Trends in Theory and Practice of …, 2010
232010
Notions of dependency in proof assistants
O Pons, Y Bertot, L Rideau
User Interfaces 98, 130, 1998
231998
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 preuve interactifs
O Pons
PARIS, CNAM, 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
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
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
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, J Dupire, I Barbet, 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
L’atelier focal
C Dubois, M Jaume, O Pons, V Prevosto
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL, 2004
12004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20