Concepedia

Marc-Michel Corsini

MC

4

Publications

207

Citations

4

H-Index

1990

Active since

Affiliations

Université de Bordeaux(Current)

Marc-Michel Corsini is an author at Université de Bordeaux specializing in automated reasoning, formal verification, and formal methods.

Top concepts

Publications per year

1990–2009

4

Publications

4

Performance on a semantic verbal fluency task across time: Dissociation between clustering, switching, and categorical exploitation processes

Catriona Raboutet, Hélène Sauzeon, Marc-Michel Corsini et al. · Journal of Clinical and Experimental Neuropsychology · 2009 · 88 citations

, , +20

Aging process variability on the human skeleton: artificial network as an appropriate tool for age at death assessment

Marc-Michel Corsini, Aurore Schmitt, Jaroslav Brůžek · Forensic Science International · 2005 · 50 citations

, , +12

Abstract interpretation for concurrent logic languages

Christian Codognet, Philippe Codognet, Marc-Michel Corsini · Conference on Logic Programming · 1990 · 38 citations

, , +6

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

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy et al. · International Symposium on Programming Language Implementation and Logic Programming · 1993 · 31 citations

, , +9

Rows per page

1–4 of 4