Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Solange Coupet-Grimal
2000 – 2009
- 2006
[j6]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
- [j5]Solange Coupet-Grimal, Line Jakubiec: Certifying circuits in Type Theory. Formal Asp. Comput. 16(4): 352-373 (2004)
- [c6]Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec: A Functional Scenario for Bytecode Verification of Resource Bounds. CSL 2004: 265-279
- [c5]Solange Coupet-Grimal, William Delobel: A Uniform and Certified Approach for Two Static Analyses. TYPES 2004: 115-137
- 2003
- [j4]Solange Coupet-Grimal: An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions. J. Log. Comput. 13(6): 801-813 (2003)
- [j3]Solange Coupet-Grimal, Catherine Nouvet: Formal Verification of an Incremental Garbage Collector. J. Log. Comput. 13(6): 815-833 (2003)
1990 – 1999
- 1999
- [c4]Solange Coupet-Grimal, Line Jakubiec: Hardware Verification Using Co-induction in COQ. TPHOLs 1999: 91-108
- 1998
- [c3]Roberto M. Amadio, Solange Coupet-Grimal: Analysis of a Guard Condition in Type Theory (Extended Abstract). FoSSaCS 1998: 48-62
- 1996
- [c2]Solange Coupet-Grimal, Line Jakubiec: Coq and Hardware Verification: A Case Study. TPHOLs 1996: 125-139
- 1995
- [j2]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
- [c1]
- 1991
- [j1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:12 CET by the dblp team