|
Search the dblp DataBase
Marc-Michel Corsini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marc-Michel Corsini, Antoine Rauzy
CLP(B): Do it Yourself. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:111-125 [Conf]
- Mélanie Falgairolle, Agnès Gorge, Jean Marc Salotti, Marc-Michel Corsini
Computational model of amygdala network supported by neurobiological data. [Citation Graph (0, 0)][DBLP] ESANN, 2004, pp:367-372 [Conf]
- Marc-Michel Corsini, Antoine Rauzy
Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization. [Citation Graph (0, 0)][DBLP] ESOP, 1994, pp:180-194 [Conf]
- Marc-Michel Corsini, Antoine Rauzy
Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers. [Citation Graph (0, 0)][DBLP] ICLP, 1993, pp:834- [Conf]
- Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation from Prolog to Concurrent Prolog. [Citation Graph (0, 0)][DBLP] SPLT, 1990, pp:351-370 [Conf]
- Marc-Michel Corsini
Abstract interpretation can improve the efficiency of the bachtracking rule. [Citation Graph (0, 0)][DBLP] JFPL, 1992, pp:374-385 [Conf]
- Marc-Michel Corsini, Antoine Rauzy
CLP(beta) joue la transparence. [Citation Graph (0, 0)][DBLP] JFPL, 1993, pp:245-261 [Conf]
- Marc-Michel Corsini, Antoine Rauzy
Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage. [Citation Graph (0, 0)][DBLP] JFPLC, 1994, pp:171-0 [Conf]
- Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. [Citation Graph (0, 0)][DBLP] LPAR, 1993, pp:86-97 [Conf]
- Marc-Michel Corsini, Kaninda Musumbu
Failure Analysis Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP] Declarative Programming, 1991, pp:295-309 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] PLILP, 1993, pp:75-91 [Conf]
- Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. [Citation Graph (0, 0)][DBLP] WSA, 1992, pp:51-59 [Conf]
- Christian Codognet, Philippe Codognet, Marc-Michel Corsini
Abstract Interpretation for Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP] NACLP, 1990, pp:215-232 [Conf]
- Marc-Michel Corsini, Antoine Rauzy
Toupie: The µ-calculus over Finite Domains as a Constraint Language. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 1997, v:19, n:2, pp:143-171 [Journal]
- Marc-Michel Corsini, Kaninda Musumbu
Type Inference in Prolog: A New Approach. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1993, v:119, n:1, pp:23-38 [Journal]
Search in 0.001secs, Finished in 0.002secs
|