| 2008 |
|---|
| 9 | EE | Mathieu Jaume,
Charles Morisset:
Un cadre sémantique pour le contrôle d'accès.
Technique et Science Informatiques 27(8): 951-976 (2008) |
| 2005 |
|---|
| 8 | EE | Mathieu Jaume,
Charles Morisset:
Formalisation and implementation of Access control models.
ITCC (1) 2005: 703-708 |
| 7 | EE | David Delahaye,
Mathieu Jaume,
Virgile Prevosto:
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs.
Technique et Science Informatiques 24(9): 1139-1160 (2005) |
| 2003 |
|---|
| 6 | | Catherine Dubois,
J. Grandguillot,
Mathieu Jaume:
Réutilisation de preuves formelles : une étude pour le système FoC.
JFLA 2003: 63-75 |
| 2002 |
|---|
| 5 | EE | Mathieu Jaume:
On Greatest Fixpoint Semantics of Logic Programming.
J. Log. Comput. 12(2): 321-342 (2002) |
| 2000 |
|---|
| 4 | EE | Mathieu Jaume:
Logic Programming and Co-inductive Definitions.
CSL 2000: 343-355 |
| 3 | | Mathieu Jaume:
Preuves infinies en Programmation logique.
JFPLC 2000: 33-48 |
| 1999 |
|---|
| 2 | | Mathieu Jaume:
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions.
J. Autom. Reasoning 23(3-4): 347-371 (1999) |
| 1997 |
|---|
| 1 | | Mathieu Jaume:
Formalisation de la SLD-résolution dans le calcul des constructions inductives.
JFPLC 1997: 277- |
