Marc-Michel Corsini

Publication Activity (10 Years)

Years Active: 1990-2004
Publications (10 Years): 0

Publications

Mélanie Falgairolle, Agnès Gorge, Jean Marc Salotti, Marc-Michel Corsini
Computational model of amygdala network supported by neurobiological data. ESANN (2004)
Marc-Michel Corsini, Antoine Rauzy
Toupie: The µ-calculus over Finite Domains as a Constraint Language. J. Autom. Reason. 19 (2) (1997)
Marc-Michel Corsini, Antoine Rauzy
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. ESOP (1994)
Marc-Michel Corsini, Antoine Rauzy
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. JFPLC (1994)
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains. PLILP (1993)
Marc-Michel Corsini, Antoine Rauzy
CLP(B): Do it Yourself. GULP (1993)
Marc-Michel Corsini, Antoine Rauzy
CLP(beta) joue la transparence. JFPL (1993)
Marc-Michel Corsini, Antoine Rauzy
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. ICLP (1993)
Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR (1993)
Marc-Michel Corsini, Kaninda Musumbu
Type Inference in Prolog: A New Approach. Theor. Comput. Sci. 119 (1) (1993)
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA (1992)
Marc-Michel Corsini
Abstract interpretation can improve the efficiency of the bachtracking rule. JFPL (1992)
Marc-Michel Corsini, Kaninda Musumbu
Failure Analysis Based on Abstract Interpretation. Declarative Programming (1991)
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation for Concurrent Logic Languages. NACLP (1990)
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation from Prolog to Concurrent Prolog. SPLT (1990)