Mathieu Jaume

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-

Coauthor Index

1	David Delahaye	[7]
2	Catherine Dubois	[6]
3	J. Grandguillot	[6]
4	Charles Morisset	[8] [9]
5	Virgile Prevosto	[7]

Colors in the list of coauthors