- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| c13 |      | 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 | ||
| j2 | | Marc-Michel Corsini, Antoine Rauzy: Toupie: The µ-calculus over Finite Domains as a Constraint Language. J. Autom. Reasoning 19(2): 143-171 (1997) |
| 1994 | ||
| c12 | | Marc-Michel Corsini, Antoine Rauzy: Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. ESOP 1994: 180-194 |
| c11 |  | Marc-Michel Corsini, Antoine Rauzy: Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. JFPLC 1994: 171- |
| e1 | | Marc-Michel Corsini (Ed.): JFPLC'94, IIIèmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 1994, Bordeaux, France. 1994 |
| 1993 | ||
| j1 | | Marc-Michel Corsini, Kaninda Musumbu: Type Inference in Prolog: A New Approach. Theor. Comput. Sci. 119(1): 23-38 (1993) |
| c10 | | |
| c9 | | Marc-Michel Corsini, Antoine Rauzy: Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. ICLP 1993: 834 |
| c8 | | |
| c7 | | Marc-Michel Corsini, Alain Griffault, Antoine Rauzy: Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. LPAR 1993: 86-97 |
| c6 | | 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 |
| 1992 | ||
| c5 | | Marc-Michel Corsini: Abstract interpretation can improve the efficiency of the bachtracking rule. JFPL 1992: 374-385 |
| c4 | | Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy: The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. WSA 1992: 51-59 |
| 1991 | ||
| c3 | | Marc-Michel Corsini, Kaninda Musumbu: Failure Analysis Based on Abstract Interpretation. Declarative Programming 1991: 295-309 |
| 1990 | ||
| c2 | | Christian Codognet, Philippe Codognet, Marc-Michel Corsini: Abstract Interpretation from Prolog to Concurrent Prolog. SPLT 1990: 351-370 |
| c1 | | Christian Codognet, Philippe Codognet, Marc-Michel Corsini: Abstract Interpretation for Concurrent Logic Languages. NACLP 1990: 215-232 |
| 1 | Baudouin Le Charlier | |
| 2 | Christian Codognet | |
| 3 | Philippe Codognet | |
| 4 | Mélanie Falgairolle | |
| 5 | Agnès Gorge | |
| 6 | Alain Griffault | |
| 7 | Kaninda Musumbu | |
| 8 | Antoine Rauzy | |
| 9 | Jean Marc Salotti |
Colors in the list of coauthors
Last update Wed May 22 15:58:43 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page