dblp.uni-trier.dewww.uni-trier.de

Mathieu Jaume

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
9EEMathieu Jaume, Charles Morisset: Un cadre sémantique pour le contrôle d'accès. Technique et Science Informatiques 27(8): 951-976 (2008)
2005
8EEMathieu Jaume, Charles Morisset: Formalisation and implementation of Access control models. ITCC (1) 2005: 703-708
7EEDavid 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
5EEMathieu Jaume: On Greatest Fixpoint Semantics of Logic Programming. J. Log. Comput. 12(2): 321-342 (2002)
2000
4EEMathieu 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)