Abstract Interpretation from Prolog to Concurrent Prolog. - Christian Codognet; Philippe Codognet; Marc-Michel Corsini (SPLT, 1990)

Abstract Interpretation for Concurrent Logic Languages. - Christian Codognet; Philippe Codognet; Marc-Michel Corsini (NACLP, 1990)

Failure Analysis Based on Abstract Interpretation. - Marc-Michel Corsini; Kaninda Musumbu (Declarative Programming, 1991)

Abstract interpretation can improve the efficiency of the bachtracking rule. - Marc-Michel Corsini (JFPL, 1992)

The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. - Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy (WSA, 1992)

CLP(B): Do it Yourself. - Marc-Michel Corsini; Antoine Rauzy (GULP, 1993)

Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. - Marc-Michel Corsini; Antoine Rauzy (ICLP, 1993)

CLP(beta) joue la transparence. - Marc-Michel Corsini; Antoine Rauzy (JFPL, 1993)

Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. - Marc-Michel Corsini; Alain Griffault; Antoine Rauzy (LPAR, 1993)

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. - Marc-Michel Corsini; Kaninda Musumbu; Antoine Rauzy; Baudouin Le Charlier (PLILP, 1993)

Type Inference in Prolog: A New Approach. - Marc-Michel Corsini; Kaninda Musumbu (Theor. Comput. Sci., 1993)

Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. - Marc-Michel Corsini; Antoine Rauzy (ESOP, 1994)

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. - Marc-Michel Corsini; Antoine Rauzy (JFPLC, 1994)

Toupie: The µ-calculus over Finite Domains as a Constraint Language. - Marc-Michel Corsini; Antoine Rauzy (J. Autom. Reason., 1997)

Computational model of amygdala network supported by neurobiological data. - Mélanie Falgairolle; Agnès Gorge; Jean Marc Salotti; Marc-Michel Corsini (ESANN, 2004)