Marc-Michel Corsini

19 papers A 1B 3Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2014 — ed.
Artificial Evolution - 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers
Artificial Evolution
Pierrick Legrand, Marc-Michel Corsini, Jin-Kao Hao, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer
2004 B conf
Computational model of amygdala network supported by neurobiological data.
ESANN
Mélanie Falgairolle, Agnès Gorge, Jean Marc Salotti, Marc-Michel Corsini
1997 J jnl
Toupie: The µ-calculus over Finite Domains as a Constraint Language.
J. Autom. Reason.
Marc-Michel Corsini, Antoine Rauzy
1994 — ed.
JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France
JFPLC
Marc-Michel Corsini
1994 A conf
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.
ESOP
Marc-Michel Corsini, Antoine Rauzy
1994 — conf
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.
JFPLC
Marc-Michel Corsini, Antoine Rauzy
1993 — conf
CLP(B): Do it Yourself.
GULP
Marc-Michel Corsini, Antoine Rauzy
1993 — conf
CLP(beta) joue la transparence.
JFPL
Marc-Michel Corsini, Antoine Rauzy
1993 — conf
Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.
PLILP
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier
1993 B conf
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.
ICLP
Marc-Michel Corsini, Antoine Rauzy
1993 J jnl
Type Inference in Prolog: A New Approach.
Theor. Comput. Sci.
Marc-Michel Corsini, Kaninda Musumbu
1993 B conf
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.
LPAR
Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
1992 — conf
Abstract interpretation can improve the efficiency of the bachtracking rule.
JFPL
Marc-Michel Corsini
1992 — ed.
Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings
WSA
Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1992 — conf
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
WSA
Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1991 — ed.
Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings
JTASPEFL/WSA
Michel Billaud, Pierre Castéran, Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
1991 — conf
Failure Analysis Based on Abstract Interpretation.
Declarative Programming
Marc-Michel Corsini, Kaninda Musumbu
1990 — conf
Abstract Interpretation for Concurrent Logic Languages.
NACLP
Christian Codognet, Philippe Codognet, Marc-Michel Corsini
1990 — conf
Abstract Interpretation from Prolog to Concurrent Prolog.
SPLT
Christian Codognet, Philippe Codognet, Marc-Michel Corsini