JAUME Mathieu
Research activity
Cher Mathieu,
Ta disparition le 12 octobre nous a toutes et tous atterrĂ©s. Notre tristesse est immense. La direction du Laboratoire dâInformatique de Sorbonnne-UniversitĂ©, le LIP6, dont tu Ă©tais membre depuis 2001, lâĂ©quipe MoVe Ă laquelle tu appartenais depuis 2012, mâont demandĂ© de les reprĂ©senter aujourdâhui. Je me fais aussi le porte-parole des nombreux collĂšgues et amis qui ont partagĂ© tes travaux de recherche et dâenseignement et de tes Ă©tudiants qui dĂ©plorent ta disparition.
Jâadresse tout dâabord toutes nos condolĂ©ances Ă tes parents, Ă ta sĆur et Ă tes neveux ainsi quâĂ toutes celles et ceux qui sont comme nous dans la peine.
Je voudrais rappeler ici ton parcours scientifique depuis ton DEA IARFA Ă Paris 6 suivi de ta thĂšse, dirigĂ©e par RenĂ© Lallement Ă lâĂcole des Ponts, soutenue en septembre 1999. Tu as ensuite entrepris une carriĂšre dâenseignant-chercheur sous lâauspice des mĂ©thodes formelles, câest-Ă -dire de mĂ©thodes fondĂ©es sur les mathĂ©matiques et la logique. Dâabord un poste dâATER Ă lâUniversitĂ© dâĂvry oĂč tu as commencĂ© une trĂšs longue collaboration, poursuivie jusquâĂ prĂ©sent, avec Catherine Dubois. Puis, tu as passĂ© quelque temps Ă lâUniversitĂ© de Nanterre et Ă celle de Namur.
Contribution SPI
Tu as rejoint mon Ă©quipe SPI au LIP6 en septembre 2001 en tant que MaĂźtre de ConfĂ©rences. Tu y as nouĂ© des relations solides, scientifiques et amicales, qui durent encore, avec Marc , Renaud , Vassiliki, etc., et les doctorants Sylvain,Nacera, Bruno, Virgile, Louis, Daniel, Julien, Philippe, Ăric, Lionel ...
En tant que membre de lâĂ©quipe SPI, tu as Ă©tĂ© un des piliers de notre projet FOCALIZE. Avec ton lĂ©gendaire appĂ©tit pour les mĂ©thodes formelles ultra-prĂ©cises, tu tâes bien sĂ»r consacrĂ© Ă la partie preuves assistĂ©es par ordinateur. Tu as beaucoup donnĂ© pour la rĂ©ussite des ANR liĂ©es Ă FOCALIZE, intitulĂ©es Modulogic et SSURF, SSURF dont tu Ă©tais le responsable. Les participants Ă ces ANR appartenaient au CEDRIC (laboratoire dâinformatique du CNAM) ou bien Ă INRIA Rocquencourt et Nancy ou aux sociĂ©tĂ©s BERTIN et SAFERIVER. Elles et ils se rappellent de nos sĂ©ances de travail oĂč se mĂȘlaient sĂ©rieux, rigueur, mais aussi amitiĂ© qui dure encore et humour parfois dĂ©capant. Par exemple, on riait beaucoup quand, rĂ©guliĂšrement, à « midi moins cinq » pile, tu demandais lâinterruption de la sĂ©ance, car tu affirmais que « lâestomac vide, tu ne pouvais plus rĂ©flĂ©chir ». Nous avons toujours obĂ©i Ă ton cri de famine.
Je citerai juste 3 de tes publications de lâannĂ©e 2003, pour illustrer la largeur de ton spectre de recherche 3 ans seulement aprĂšs ta thĂšse « RĂ©utilisation de preuves formelles : une Ă©tude pour le systĂšme Foc » (avec C. Dubois), « Making proofs in a hierarchy of mathematical structures » (avec V. Prevosto), « A full formalisation of Bell and La Padula Security model » (avec E. Gureghian et T. Hardin).
Ton investissement dans la cybersĂ©curitĂ©, bien sĂ»r Ă lâaide de mĂ©thodes formelles, date de ton tout premier encadrement (celui dâEmmanuel). Il portait sur la preuve mathĂ©matique des propriĂ©tĂ©s dâune politique de sĂ©curitĂ© et vous avez ainsi dĂ©couvert quelques bugs subtils dans cette politique pourtant dĂ©jĂ largement Ă©tudiĂ©e. Charles Morisset, le premier doctorant sur ce sujet que tu as pleinement encadrĂ© (thĂšse soutenue en 2007), mâa dit se souvenir avec beaucoup dâĂ©motion de ton encadrement, qui reste toujours une rĂ©fĂ©rence pour lui. Il se rappelle de vos longues discussions autour dâun tableau blanc rempli de symboles mathĂ©matiques et du rituel du thĂ© Ă la menthe de lâaprĂšs-midi. Charles mâa demandĂ© de rappeler aussi combien ta disponibilitĂ©, intellectuelle et humaine, a permis la poursuite de vos Ă©changes scientifiques, mais surtout amicaux tout au long de ces vingt derniĂšres annĂ©es, jusquâĂ ces derniers jours.
Tu as soutenu ton habilitation Ă diriger les recherches, en novembre 2008. Elle Ă©tait intitulĂ©e « Descriptions formelles : Comprendre, corriger, Implanter, rĂ©utiliser. Application au contrĂŽle dâaccĂšs ». Tous tes sujets de prĂ©dilection en un seul titre. Jâai Ă©tĂ© trĂšs heureuse et trĂšs fiĂšre que ton activitĂ© de recherche soit ainsi reconnue.
Contribution de Valérie Triem Tong
Câest sur le domaine de la cybersĂ©curitĂ© que porte depuis 2007 ta collaboration avec ValĂ©rie Triem Tong, Ludovic MĂ© et les membres de lâĂ©quipe CIDRE de INRIA/Centrale-Supelec Rennes. ValĂ©rie mâa demandĂ© de souligner que vous avez pu, grĂące Ă toi Mathieu, construire une fondation mathĂ©matique solide, qui a permis de formaliser des problĂšmes opĂ©rationnels de cybersĂ©curitĂ©, jusque lĂ empiriquement traitĂ©s. Vous avez ainsi Ă©laborĂ© des outils sophistiquĂ©s, robustes, pour traquer des attaques de systĂšmes informatiques avancĂ©es et ces outils sont en cours de transfert vers lâindustrie. Dans ce contexte, tu as coencadrĂ© la thĂšse de Laurent Georget, elle prouve une propriĂ©tĂ© de sĂ©curitĂ© du noyau Linux (15 millions de lignes de code), une belle rĂ©ussite rĂ©compensĂ©e par le prix du meilleur article Ă la ConfĂ©rence SEFM 2017 (Software Engineering and formal Methods). De mĂȘme, la thĂšse dâAimad Berardy, que tu as co-dirigĂ©e, a Ă©tĂ© rĂ©compensĂ©e en 2023 par le prix SpĂ©cial du Jury dĂ©cernĂ© par la Gendarmerie nationale. Les doctorants que tu as encadrĂ©s Ă Paris ou Ă Rennes sont unanimes Ă louer ta curiositĂ©, ta patience et ta gentillesse.
Voici les quelques mots que ValĂ©rie mâa demandĂ© de prononcer en son nom. « Dâun point de vue humain, moi, ValĂ©rie, jâavais avec Mathieu une complicitĂ© rare qui nous permettait de travailler en confiance et dâattaquer des sujets ambitieux et originaux qui ont tous Ă©tĂ© reconnus dans la communautĂ©. Il Ă©tait mon collĂšgue, mais surtout mon ami et je garderai de lui sa gentillesse, son humour, ses modĂšles, ses flĂšches en Latex, des symboles inconnus de tous, ses feuilles de notes et le Bled de son enfance quâil a transmis Ă mes enfants. Jâai eu beaucoup de chance de lâavoir cĂŽtoyĂ© ces quinze derniĂšres annĂ©es. Il me manquera Ă©normĂ©ment ».
Contribution dâenseignants en informatique de lâUFR dâIngĂ©nierie de Sorbonne-UniversitĂ©
Les enseignants dâinformatique de Sorbonne-UniversitĂ© mâont demandĂ© dâĂȘtre leur porte-parole et ont rĂ©digĂ© un texte que je vous lis.
Mathieu nous a quittĂ©s si jeune que certains de ses collĂšgues enseignants ont eu la chance de le connaĂźtre en tant quâĂ©tudiant, brillant et remarquĂ©. Devenu lui-mĂȘme enseignant-chercheur, Mathieu sâest toujours pleinement investi dans ses missions dâenseignement, avec enthousiasme et dĂ©vouement. Aussi exigeant avec lui-mĂȘme quâavec les Ă©tudiants, il fĂ»t Ă leur Ă©coute, attentif aux difficultĂ©s quâils pouvaient rencontrer. Il laisse de nombreux supports de cours, toujours dĂ©taillĂ©s et pĂ©dagogiques, ainsi que deux ouvrages de logique et de mathĂ©matiques discrĂštes, Ă©crits pour aider les Ă©tudiants des UE oĂč il enseignait.
Travailler avec Mathieu était un plaisir. Il était sérieux, fiable et serviable; le collÚgue sur lequel on peut toujours compter, qui participe plus que sa part aux tùches collectives. Combien de fois nous a-t-il remplacé(e)s, plus ou moins au pied levé, lorsque nous étions absents?
Mathieu Ă©tait dynamique, curieux, il nâhĂ©sitait pas Ă se renouveler, Ă adapter les enseignements pour amĂ©liorer la participation et la rĂ©ussite des Ă©tudiants. Il a participĂ© Ă la crĂ©ation de nouveaux enseignements, il ne voulait pas « sâencroĂ»ter » et se contenter de la routine. Il sâĂ©tait beaucoup investi dans la prĂ©paration de lâAgrĂ©gation dâInformatique et ses leçons Ă©taient fort apprĂ©ciĂ©es des prĂ©parationnaires.
Mathieu Ă©tait gentil, et trĂšs ouvert aux autres. DrĂŽle et gĂ©nĂ©reux, il nâhĂ©sitait pas Ă sâindigner face aux situations injustes. Nous sommes de nombreux collĂšgues Ă nous ĂȘtre attachĂ©s Ă lui et Ă sa personnalitĂ© si particuliĂšre, et Ă ressentir le grand vide quâil a laissĂ©.
Contribution de V. ViguiĂ© Donzeau-Gouge et moi-mĂȘme
Toujours dans le domaine de lâenseignement, VĂ©ronique ViguiĂ© et moi, souhaitons, Mathieu, Ă©voquer ta participation au DESS Logiciels SĂ»rs, habilitĂ© UPMC et CNAM puis au parcours de master 2 du mĂȘme nom. Les Ă©tudiants, futurs ingĂ©nieurs dans le domaine de la sĂ»retĂ© et la sĂ©curitĂ©, trouvaient difficiles tes cours sur lâinterprĂ©tation abstraite et sur les assistants Ă la preuve, mais ils rĂ©alisaient trĂšs vite que ces contenus Ă©taient une formation dĂ©cisive dans leur parcours. Tu exigeais dâeux, rigueur, respect des Ă©chĂ©ances afin de les initier Ă leurs futures obligations professionnelles. Mais cette exigence Ă©tait enrobĂ©e de beaucoup dâattention, de gentillesse et dâempathie et les anciens Ă©tudiants de LS avec qui jâai Ă©changĂ© ces derniers jours mâont dit leur grande tristesse.
Nous avons ensemble, toi, VĂ©ronique ViguiĂ©, François Pessaux et moi, Ă©crit un ouvrage « Concepts et sĂ©mantiques des langages de programmation » publiĂ© en 2021. Ta minutie dans la rĂ©daction a rĂ©ussi Ă nous surprendre plus dâune fois et elle a Ă©tĂ© lâoccasion de quelques plaisanteries. Nous gardons tous les trois le souvenir chaleureux de nos nombreuses discussions sur les contenus, de tes dĂ©clarations, parfois un peu Ă©nervĂ©es, sur nos outils latex et git trop capricieux Ă ton goĂ»t, de toutes tes remarques pleines dâhumour que tu faisais en Ă©tant trĂšs pince-sans-rire. Notre amitiĂ© est sortie renforcĂ©e de ce travail commun et nous dĂ©plorons ta disparition.
Contribution personnelle
Mathieu, je voudrais, pour terminer, te dire quelques mots plus personnels. Nous collaborions depuis 2001 sans aucun accroc, nous comprenant souvent Ă demi-mot. Nous avions une grande connivence scientifique, aimant tous les deux « les choses au carrĂ© » et nous prenions grand plaisir à « pousser ensemble du symbole » pour arriver Ă nous convaincre mutuellement du bien-fondĂ© dâun Ă©noncĂ© de thĂ©orĂšme. Notre collaboration, câĂ©tait aussi notre chaleureuse amitiĂ©, le plaisir de nos longs Ă©changes Ă propos de nos familles. Nous comparions les Ă©volutions de tes neveux et de mes petits-enfants qui sont du mĂȘme Ăąge, nous bavardions beaucoup, sur ta vie au LIP6, sur nos lieux de vie, sur nos questions de santĂ©, sur nos vacances, je te plaisantais sur ton peu dâappĂ©tence pour la campagne, mais tu me rĂ©pondais sur la beautĂ© des plages et le plaisir de se dorer au soleil sans rien faire. Merci pour tous ces moments, Mathieu. Ce sont de prĂ©cieux souvenirs. Ta disparition me laisse un grand vide et une trĂšs grande tristesse.
Texte lu par ThérÚse Hardin au cours des obsÚques de Mathieu le 28 octobre 2023.
Two past PhD students (2007 - 2011) at Sorbonne University
- 2011
- HABIB Lionel : Formalisations et comparaisons de politiques et de systÚmes de sécurité.
- 2007
- MORISSET Charles : SĂ©mantique des systĂšmes de contrĂŽle d'accĂšs.
2000-2022 Publications
-
2022
- A. BERADY, M. Jaume, V. Viet Triem Tong, G. Guette : “PWNJUTSU: A Dataset and a Semantics-Driven Approach to Retrace Attack Campaigns”, IEEE Transactions on Network and Service Management, vol. 19 (4), Special Issue on Recent Advances in Network Security Management, pp. 5252-5264, (IEEE) (2022)
-
2021
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts and Semantics of Programming Languages 2: Modular and Objectâoriented Constructs with OCaml, Python, C++, Ada and Java”, (ISTE Wiley), (ISBN: Print ISBN:9781786306029 |Online ISBN:9781119851196) (2021)
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts and Semantics of Programming Languages 1: A Semantical Approach with OCaml and Python”, (ISTE Wiley), (ISBN: Print ISBN:9781786305305 |Online ISBN:9781119824121) (2021)
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts et sĂ©mantique des langages de programmation 1 : constructions fonctionnelles et impĂ©ratives avec OCaml, Python, C et C++”, (ISTE Editions), (ISBN: 9781784057015) (2021)
- Th. Hardin, M. Jaume, F. Pessaux, V. Viguie Donzeau‑Gouge : “Concepts et sĂ©mantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java”, (ISTE Editions), (ISBN: 9781784057022) (2021)
- A. BERADY, M. Jaume, V. Viet Triem Tong, G. Guette : “From TTP to IoC: Advanced Persistent Graphs for Threat Hunting”, IEEE Transactions on Network and Service Management, vol. 18 (2), Special Issue on Latest Developments for Security Management of Networks and Services, pp. 1321-1333, (IEEE) (2021)
-
2020
- M. Jaume, M. Journault, M.‑J. Lesot, P. Manoury, I. Mounier : “Logique pour lâinformatique”, (Ellipses), (ISBN: 9782340042612) (2020)
-
2017
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory”, Proceedings of the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), LNCS, Trento, Italy, pp. 1-16, (Springer International Publishing) (2017)
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Suivi de flux dâinformation correct sous Linux”, Actes des 16es journĂ©es AFADL (Approches formelles dans l'assistance au dĂ©veloppement de logiciels), Montpellier, France, pp. 19-26 (2017)
- L. Georget, M. Jaume, G. Piolle, F. Tronel, V. Viet Triem Tong : “Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux”, 5th International FME Workshop on Formal Methods in Software Engineering, Buenos Aires, Argentina, pp. 10-16, (IEEE Press) (2017)
-
2016
- M. Jaume : “ElĂ©ments de mathĂ©matiques discrĂštes - Cours, exercices rĂ©solus, implĂ©mentations avec les langages Python et OCaml”, (Ellipses), (ISBN: 978-2340014800) (2016)
-
2015
- L. Georget, G. Piolle, F. Tronel, V. Viet Triem Tong, M. Jaume : “Towards a Formal Semantics for System Calls in terms of Information Flow”, Tenth International Conference on Systems (ICONS 2015), Barcelone, Spain, pp. 1-4, (IARIA) (2015)
-
2014
- M. Jaume, Th. Laurent : “Teaching formal methods and discrete mathematics”, Proceedings of the 1st Workshop on Formal Integrated Development Environment (F-IDE 2014), vol. 149, Electronic Proceedings in Theoretical Computer Science, Grenoble, France, pp. 30-43 (2014)
-
2013
- M. Jaume, R. Andriatsimandefitra, V. Viet Triem Tong, L. MĂ© : “Secure states versus Secure executions: From access control to flow control”, ICISS 2013 - 9th International Conference on Information Systems Security, vol. 8303, Lecture Notes in Computer Science, Calcutta, India, pp. 148-162, (Springer) (2013)
-
2012
- D. Doligez, M. Jaume, R. Rioboo : “Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment. A case study within the FoCaLiZe environment”, PLAS - Seventh Workshop on Programming Languages and Analysis for Security, Beijing, China, (ACM) (2012)
- M. Jaume : “Semantic comparison of security policies: from access control policies to flow properties”, Workshop on Semantic Computing and Security, WSCS'2012, IEEE CS Security and Privacy Workshops, San Francisco, United States, pp. 60-67, (IEEE) (2012)
- M. Jaume, R. Rioboo : “DĂ©veloppement de systĂšmes sĂ©curisĂ©s avec lâatelier FoCaLiZe”, JFLA - JournĂ©es Francophones des Langages Applicatifs - 2012, Carnac, France, pp. 104-118 (2012)
- T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “Formal Specification and Validation of Security Policies”, FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, vol. 6888, Lecture Notes in Computer Science, Paris, France, pp. 148-163, (Springer, Heidelberg) (2012)
- M. Jaume, V. Viet Triem Tong, G. Hiet : “SpĂ©cification et mĂ©canisme de dĂ©tection de flots dâinformation illĂ©gaux”, Revue des Sciences et Technologies de l'Information - SĂ©rie TSI : Technique et Science Informatiques, vol. 31 (6), pp. 713-742, (Lavoisier) (2012)
-
2011
- M. Jaume, V. Viet Triem Tong, L. MĂ© : “Flow based interpretation of access control: Detection of illegal information flows”, 7th International Conference on Information Systems Security (ICISS), vol. 7093, Lecture Notes in Computer Science, Kolkata, India, pp. 72-86, (Springer) (2011)
-
2010
- M. Jaume : “Security rules versus Security properties”, Sixth International Conference on Information Systems Security (ICISS 2010), vol. 6503, Lecture Notes in Computer Science, Gandhinagar, India, pp. 231-245 (2010)
- T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “Rule-based Specification and Analysis of Security Policies”, 5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Valencia, Spain (2010)
- M. Jaume, V. Viet Triem Tong, L. MĂ© : “ContrĂŽle dâaccĂšs versus ContrĂŽle de flots”, 10emes JournĂ©es Francophones sur les Approches Formelles dans l'Assistance au dĂ©veloppement des logiciels, AFADL 2010, Poitiers, France, pp. 27-41 (2010)
- T. Bourdier, H. Cirstea, M. Jaume, H. Kirchner : “On Formal Specification and Analysis of Security Policies”, 2010 Grande Region Security and Reliability Day, SaarbrĂŒcken, Germany (2010)
-
2009
- M. Carlier, C. Dubois, L. Habib, M. Jaume : “Politique de contrĂŽle dâaccĂšs multi-niveaux : test de conformitĂ© vis Ă vis des flots avec lâoutil FoCaL”, AFADL'09 - Approches formelles dans l'assistance au dĂ©veloppement des Logiciels, Toulouse, France, pp. 145-160 (2009)
- L. Habib, M. Jaume, Ch. Morisset : “Formal definition and comparison of access control models”, Journal of information assurance and security (JIAS), vol. 4 (4), pp. 372-381 (2009)
-
2008
- M. Jaume : “Descriptions formelles : Comprendre, Corriger, Implanter, RĂ©sutiliser. Application au contrĂŽle dâaccĂšs”, habilitation, phd defence 11/06/2008 (2008)
- Ph. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, Th. Hardin, M. Jaume, Ch. Morisset, F. Pessaux, R. Rioboo, P. Weis : “Trusted Software within Focal”, Trusting Trusted Computing ?, Rennes, France, pp. 162-179 (2008)
- L. Habib, M. Jaume, Ch. Morisset : “A formal comparison of the Bell & LaPadula and RBAC models”, Fourth International Conference on Information Assurance and Security, IAS'2008, Naples, Italy, pp. 3-8, (IEEE) (2008)
- M. Jaume, Ch. Morisset : “Un cadre sĂ©mantique pour le contrĂŽle dâaccĂšs”, Revue des Sciences et Technologies de l'Information - SĂ©rie TSI : Technique et Science Informatiques, vol. 27 (8), pp. 951-976, (Lavoisier) (2008)
-
2007
- M. Jaume, Ch. Morisset : “ContrĂŽler le contrĂŽle dâaccĂšs : Approches formelles”, Approches Formelles dans l'Assistance au DĂ©veloppement de Logiciels (AFADL'07),, Namur, Belgium, pp. 227-244 (2007)
-
2006
- M. Jaume, Ch. Morisset : “Towards a formal specification of access control”, Workshop on Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'06), Seattle, Washington, United States (2006)
- Th. Hardin, M. Jaume, Ch. Morisset : “Access control and Rewrite Systems”, 1st International Workshop on Security and Rewriting Techniques, SecReT'06, Venice, Italy, pp. 2-17 (2006)
- M. Jaume, Ch. Morisset : “A formal approach to implement access control”, Journal of Information Assurance and Security, vol. 1 (2), pp. 137-148, (Dynamic Publishers Inc., USA) (2006)
-
2005
- M. Jaume, Ch. Morisset : “Formalisation and Implementation of Access control models”, ITCC 2005 - International Conference on Information Technology: Coding and Computing, Las Vegas, United States, pp. 703-708, (IEEE) (2005)
- D. Delahaye, M. Jaume, V. Prevosto : “Coq : un outil pour lâenseignement”, Revue des Sciences et Technologies de l'Information - SĂ©rie TSI : Technique et Science Informatiques, vol. 24 (9), pp. 1139-1160, (Lavoisier) (2005)
-
2003
- E. Gureghian, Th. Hardin, M. Jaume : “A full formalisation of the Bell and La Padula security model”, (2003)
- V. Prevosto, M. Jaume : “Making proofs in a hierarchy of mathematical structures”, Calculemus 2003 - 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Rome, Italy, pp. 89-100, (Aracne) (2003)
- C. Dubois, J. Grandguillot, M. Jaume : “RĂ©utilisation de preuves formelles : une Ă©tude pour le systĂšme Foc”, JournĂ©es Francophones des Langages Applicatifs, JFLA'03, Chamrousse, France, pp. 63-76 (2003)
-
2002
- M. Jaume : “On greatest fixpoint semantics of logic programming”, Journal of Logic and Computation, vol. 12 (2), pp. 321-342, (Oxford University Press (OUP)) (2002)
-
2000
- M. Jaume : “Logic programming and Co-inductive definitions”, International Workshop, Computer Science Logic, CSL'2000, vol. 1862, Lecture Notes in Computer Science, Fischbachau, Germany, pp. 343-355, (Springer) (2000)