Solange Coupet-Grimal

Statistics

Publications

Citations

H-Index

Active since

2003

Affiliations

Laboratoire d’Informatique Fondamentale de Marseille(Current)

Solange Coupet-Grimal is an author at Laboratoire d’Informatique Fondamentale de Marseille specializing in formal methods, computer science, and computing.

Publications per year

2003–2006

Publications

CoLoR : a Coq library on rewriting and termination

Frédéric Blanqui, Solange Coupet-Grimal, William Delobel et al. · TU/e Research Portal (Eindhoven University of Technology) · 2006 · 38 citations · Full text

Computing, Computer Engineering, Computer Science +13

An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions

Solange Coupet-Grimal · Journal of Logic and Computation · 2003 · 24 citations

Computing, Computer Science, Formal Methods +14

Certifying circuits in Type Theory

Solange Coupet-Grimal, Line Jakubiec · Formal Aspects of Computing · 2004 · 16 citations · Full text

Computing, Computer Science, Mathematics +12

An effective proof of the well-foundedness of the multiset path ordering

Solange Coupet-Grimal, William Delobel · Applicable Algebra in Engineering Communication and Computing · 2006 · 12 citations

Natural Sciences, Computer Science, Mathematics +6

1–4 of 4