The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marc-Michel Corsini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marc-Michel Corsini, Antoine Rauzy
    CLP(B): Do it Yourself. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:111-125 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Marc-Michel Corsini
    Abstract interpretation can improve the efficiency of the bachtracking rule. [Citation Graph (0, 0)][DBLP]
    JFPL, 1992, pp:374-385 [Conf]
  7. Marc-Michel Corsini, Antoine Rauzy
    CLP(beta) joue la transparence. [Citation Graph (0, 0)][DBLP]
    JFPL, 1993, pp:245-261 [Conf]
  8. 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]
  9. 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]
  10. Marc-Michel Corsini, Kaninda Musumbu
    Failure Analysis Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Declarative Programming, 1991, pp:295-309 [Conf]
  11. 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]
  12. 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]
  13. Christian Codognet, Philippe Codognet, Marc-Michel Corsini
    Abstract Interpretation for Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:215-232 [Conf]
  14. 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]
  15. 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.000secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002