-
Orderings in Automated Theorem Proving
Contribution à un ouvrage. -
Applying semantic subsumption rules in the context of inductive proofs
Colloque avec actes et comité de lecture. -
Rough Sets based Proofs Visualisation
Colloque sur invitation. -
Preuves de systèmes réactifs dans le modèle synchrone
Stage de DEA. Rapport de stage. -
A Methodological View of Constraint Solving
Article dans revue scientifique avec comité de lecture. -
A General Framework to Build Multi-logic Implicit Induction Provers
Rapport interne. -
Vérification Observationnelle
Stage de DEA. Rapport de stage. -
Correcting Faulty Conjectures by Logic Program Synthesis
Colloque avec actes et comité de lecture. internationale. -
Theorem Proving Modulo
Article dans revue scientifique avec comité de lecture. internationale.
