Marc-Michel Corsini

According to our database, Marc-Michel Corsini authored at least 15 papers between 1990 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

Computational model of amygdala network supported by neurobiological data.

Mélanie Falgairolle, Agnès Gorge, Jean Marc Salotti, Marc-Michel Corsini

Proceedings of the 12th European Symposium on Artificial Neural Networks, 2004

1997

Toupie: The µ-calculus over Finite Domains as a Constraint Language.

Marc-Michel Corsini, Antoine Rauzy

J. Autom. Reason., 1997

1994

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage.

Marc-Michel Corsini, Antoine Rauzy

Proceedings of the JFPLC'94, 1994

Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.

Marc-Michel Corsini, Antoine Rauzy

Proceedings of the Programming Languages and Systems, 1994

1993

Type Inference in Prolog: A New Approach.

Marc-Michel Corsini, Kaninda Musumbu

Theor. Comput. Sci., 1993

Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains.

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy, Baudouin Le Charlier

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms.

Marc-Michel Corsini, Alain Griffault, Antoine Rauzy

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

CLP(beta) joue la transparence.

Marc-Michel Corsini, Antoine Rauzy

Proceedings of the 2èmes Journées Francophones de Programmation Logique (JFPL 93), 1993

Safety Analysis by Means of Fault Trees: An Application for Open Boolean Solvers.

Marc-Michel Corsini, Antoine Rauzy

Proceedings of the Logic Programming, 1993

CLP(B): Do it Yourself.

Marc-Michel Corsini, Antoine Rauzy

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

Abstract interpretation can improve the efficiency of the bachtracking rule.

Marc-Michel Corsini

Proceedings of the JFPL'92, 1992

1991

Failure Analysis Based on Abstract Interpretation.

Marc-Michel Corsini, Kaninda Musumbu

Proceedings of the Declarative Programming, 1991

1990

Abstract Interpretation for Concurrent Logic Languages.

Christian Codognet, Philippe Codognet, Marc-Michel Corsini

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Abstract Interpretation from Prolog to Concurrent Prolog.

Christian Codognet, Philippe Codognet, Marc-Michel Corsini

Proceedings of the SPLT'90, 1990