dblp.uni-trier.dewww.uni-trier.de

Marc-Michel Corsini Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
16EEMé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
13EEMarc-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
8EEMarc-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

Coauthor Index

1Baudouin Le Charlier [7]
2Christian Codognet [1] [2]
3Philippe Codognet [1] [2]
4Mélanie Falgairolle [16]
5Agnès Gorge [16]
6Alain Griffault [8]
7Kaninda Musumbu [3] [4] [6] [7]
8Antoine Rauzy [4] [7] [8] [9] [10] [11] [12] [13] [15]
9Jean Marc Salotti [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)