Line Jakubiec (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec: A Functional Scenario for Bytecode Verification of Resource Bounds. CSL 2004: 265-279

5 Solange Coupet-Grimal, Line Jakubiec: Certifying circuits in Type Theory. Formal Asp. Comput. 16(4): 352-373 (2004)

2 Solange Coupet-Grimal, Line Jakubiec: Hardware Verification Using Co-induction in COQ. TPHOLs 1999: 91-108

1 Solange Coupet-Grimal, Line Jakubiec: Coq and Hardware Verification: A Case Study. TPHOLs 1996: 125-139

Selection of 4 from 6 records - Line Jakubiec has 7 coauthors

6		Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec: A Functional Scenario for Bytecode Verification of Resource Bounds. CSL 2004: 265-279
5		Solange Coupet-Grimal, Line Jakubiec: Certifying circuits in Type Theory. Formal Asp. Comput. 16(4): 352-373 (2004)
2		Solange Coupet-Grimal, Line Jakubiec: Hardware Verification Using Co-induction in COQ. TPHOLs 1999: 91-108
1		Solange Coupet-Grimal, Line Jakubiec: Coq and Hardware Verification: A Case Study. TPHOLs 1996: 125-139