Contraintes ensemblistes définies et co-définies : extensions et applications / par
Jean-Marc Talbot ; sous la direction de Sophie Tison, 1998
Model-checking pour les ambients : des algèbres de processus aux données semi-structurées
/ Jean-Marc Talbot [HDR, Lille 1, 2005]
Information trouvée : Titulaire d'un doctorat en Informatique (Lille 1, 1998). Maître de conférences à l'Université
des Sciences et Technologies de Lille (IEEA), depuis 2001