| 2004 |
|---|
| 16 | EE | Mélanie Falgairolle,
Agnès Gorge,
Jean Marc Salotti,
Marc-Michel Corsini:
Computational model of amygdala network supported by neurobiological data.
ESANN 2004: 367-372 |
| 1997 |
|---|
| 15 | | Marc-Michel Corsini,
Antoine Rauzy:
Toupie: The µ-calculus over Finite Domains as a Constraint Language.
J. Autom. Reasoning 19(2): 143-171 (1997) |
| 1994 |
|---|
| 14 | | Marc-Michel Corsini:
JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France
JFPLC 1994 |
| 13 | | Marc-Michel Corsini,
Antoine Rauzy:
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.
ESOP 1994: 180-194 |
| 12 | | Marc-Michel Corsini,
Antoine Rauzy:
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.
JFPLC 1994: 171- |
| 1993 |
|---|
| 11 | | Marc-Michel Corsini,
Antoine Rauzy:
CLP(B): Do it Yourself.
GULP 1993: 111-125 |
| 10 | | Marc-Michel Corsini,
Antoine Rauzy:
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.
ICLP 1993: 834 |
| 9 | | Marc-Michel Corsini,
Antoine Rauzy:
CLP(beta) joue la transparence.
JFPL 1993: 245-261 |
| 8 | | Marc-Michel Corsini,
Alain Griffault,
Antoine Rauzy:
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.
LPAR 1993: 86-97 |
| 7 | | 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: 75-91 |
| 6 | | Marc-Michel Corsini,
Kaninda Musumbu:
Type Inference in Prolog: A New Approach.
Theor. Comput. Sci. 119(1): 23-38 (1993) |
| 1992 |
|---|
| 5 | | Marc-Michel Corsini:
Abstract interpretation can improve the efficiency of the bachtracking rule.
JFPL 1992: 374-385 |
| 4 | | Marc-Michel Corsini,
Kaninda Musumbu,
Antoine Rauzy:
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.
WSA 1992: 51-59 |
| 1991 |
|---|
| 3 | | Marc-Michel Corsini,
Kaninda Musumbu:
Failure Analysis Based on Abstract Interpretation.
Declarative Programming 1991: 295-309 |
| 1990 |
|---|
| 2 | | Christian Codognet,
Philippe Codognet,
Marc-Michel Corsini:
Abstract Interpretation for Concurrent Logic Languages.
NACLP 1990: 215-232 |
| 1 | | Christian Codognet,
Philippe Codognet,
Marc-Michel Corsini:
Abstract Interpretation from Prolog to Concurrent Prolog.
SPLT 1990: 351-370 |
