Solange Coupet-Grimal

	2006
12		Solange Coupet-Grimal, William Delobel: An effective proof of the well-foundedness of the multiset path ordering. Appl. Algebra Eng. Commun. Comput. 17(6): 453-469 (2006)
	2004
11		Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec: A Functional Scenario for Bytecode Verification of Resource Bounds. CSL 2004: 265-279
10		Solange Coupet-Grimal, William Delobel: A Uniform and Certified Approach for Two Static Analyses. TYPES 2004: 115-137
9		Solange Coupet-Grimal, Line Jakubiec: Certifying circuits in Type Theory. Formal Asp. Comput. 16(4): 352-373 (2004)
	2003
8		Solange Coupet-Grimal: An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions. J. Log. Comput. 13(6): 801-813 (2003)
7		Solange Coupet-Grimal, Catherine Nouvet: Formal Verification of an Incremental Garbage Collector. J. Log. Comput. 13(6): 815-833 (2003)
	1999
6		Solange Coupet-Grimal, Line Jakubiec: Hardware Verification Using Co-induction in COQ. TPHOLs 1999: 91-108
	1998
5		Roberto M. Amadio, Solange Coupet-Grimal: Analysis of a Guard Condition in Type Theory (Extended Abstract). FoSSaCS 1998: 48-62
	1996
4		Solange Coupet-Grimal, Line Jakubiec: Coq and Hardware Verification: A Case Study. TPHOLs 1996: 125-139
	1995
3		Solange Coupet-Grimal, Olivier Ridoux: On the Use of Advanced Logic Programming Languages in Computational Linguistics. J. Log. Program. 24(1&2): 121-159 (1995)
	1993
2		Solange Coupet-Grimal: Représentation sémantique des langues naturelles en Prolog. JFPL 1993: 69-91
	1991
1		Solange Coupet-Grimal: Prolog infinite trees and automata. ITA 25: 397-418 (1991)

Coauthor Index

1	Roberto M. Amadio	[5] [11]
2	Silvano Dal-Zilio	[11]
3	William Delobel	[10] [12]
4	Line Jakubiec	[4] [6] [9] [11]
5	Catherine Nouvet	[7]
6	Olivier Ridoux	[3]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page