Performance on a semantic verbal fluency task across time: Dissociation between clustering, switching, and categorical exploitation processes C Raboutet, H Sauzéon, MM Corsini, J Rodrigues, S Langevin, B N'kaoua Journal of Clinical and Experimental Neuropsychology 32 (3), 268-280, 2010 | 111 | 2010 |
Abstract interpretation for concurrent logic languages C Codognet, P Codognet, MM Corsini Proceedings of the 1990 North American conference on Logic programming, 215-232, 1990 | 76 | 1990 |
Aging process variability on the human skeleton: artificial network as an appropriate tool for age at death assessment MM Corsini, A Schmitt, J Bruzek Forensic science international 148 (2-3), 163-167, 2005 | 61 | 2005 |
Efficient bottom-up abstract interpretation of Prolog by means of constraint solving over symbolic finite domains MM Corsini, K Musumbu, A Rauzy, B Le Charlier Progamming Language Implementation and Logic Programming: 5th International …, 1993 | 39 | 1993 |
Functions for adult neurogenesis in memory: an introduction to the neurocomputational approach and to its contribution X Nogues, MM Corsini, A Marighetto, DN Abrous Behavioural brain research 227 (2), 418-425, 2012 | 26 | 2012 |
Les réseaux de neurones artificiels. Un outil de traitement de données prometteur pour l’anthropologie A Schmitt, B Le Blanc, MM Corsini, C Lafond, J Brůžek Bulletins et mémoires de la Société d’Anthropologie de Paris. BMSAP 13 (13 …, 2001 | 23 | 2001 |
Symbolic model checking and constraint logic programming: a cross-fertilization MM Corsini, A Rauzy Programming Languages and Systems—ESOP'94: 5th European Symposium on …, 1994 | 20 | 1994 |
Toupie: The µ-calculus over finite domains as a constraint language MM Corsini, A Rauzy Journal of Automated Reasoning 19 (2), 143-171, 1997 | 12 | 1997 |
The abstract interpretation of logic programs: A general algorithm and its correctness M Corsini, G File Research Report, 1988 | 9 | 1988 |
Yet another application for Toupie: Verification of mutual exclusion algorithms MM Corsini, A Griffault, A Rauzy Logic Programming and Automated Reasoning: 4th International Conference …, 1993 | 7 | 1993 |
The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. MM Corsini, K Musumbu, A Rauzy WSA 92, 81-82, 1992 | 7 | 1992 |
CLP (B): Do it Yourself. MM Corsini, A Rauzy GULP, 111-125, 1993 | 6 | 1993 |
Age-related differences according to the associative deficit and the environmental support hypotheses: an application of the formal charm associative memory model H Sauzéon, J Rodrigues, MM Corsini, B N'Kaoua Experimental aging research 39 (3), 275-304, 2013 | 5 | 2013 |
Efficient bottom-up abstract interpretation of logic programs by means of constraint solving over symbolic finite domains MM Corsini, K Musumbu, A Rauzy, B Le Charlier Proceedings of the Fifth International Workshop on Programming Language …, 1993 | 5 | 1993 |
Toupie user’s manual MM Corsini, A Rauzy Technical report, 1993 | 5 | 1993 |
Efficient abstract interpretation of Prolog programs by means of constraint solving over finite domains MM Corsini, B Le Charlier, K Musumbu, A Rauzy Proceedings of the 5th Int. Symposium on Programming Language Implementation …, 1993 | 5 | 1993 |
Toupie: un langage de programmation par contraintes pour l'analyse formelle de programmes concurrents MM Corsini, A Rauzy TSI. Technique et science informatiques 14 (6), 753-782, 1995 | 4 | 1995 |
Type inference in Prolog: a new approach MM Corsini, K Musumbu Theoretical computer science 119 (1), 23-38, 1993 | 4 | 1993 |
First experiments with toupie MM Corsini, A Rauzy Université de Bordeaux 1/CNRS. Laboratoire Bordelais de Recherche en …, 1993 | 4 | 1993 |
Interprétation abstraite en programmation logique: théorie et application MM Corsini Bordeaux 1, 1989 | 3 | 1989 |