Result 1 to 11 of 11 total
Secure distributed programming with value-dependent types (English)
ICFP, 266-278 (2011).
1
Coqmtu: A higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory (English)
LICS, 143-151 (2011).
2
Modular code-based cryptographic verification (English)
ACM Conference on Computer and Communications Security, 341-350 (2011).
3
Coq Modulo Theory. (English)
Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23‒27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 529-543 (2010).
4
Coq modulo theory (English)
CSL, 529-543 (2010).
5
From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures. (English)
Comput. Res. Repos. 2008, Article No. 0804.3762 (2008).
6
From formal proofs to mathematical proofs: A safe, incremental way for building in first-order decision procedures (English)
IFIP TCS, 349-365 (2008).
7
Building decision procedures in the calculus of inductive constructions. (English)
Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11‒15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 328-342 (2007).
8
Building decision procedures in the calculus of inductive constructions. (English)
Comput. Res. Repos. 2007, Article No. 0707.1266 (2007).
9
Building decision procedures in the calculus of inductive constructions (English)
CSL, 328-342 (2007).
10
Color image segmentation based on automatic morphological clustering (English)
ICIP (3), 70-73 (2001).
11
Result 1 to 11 of 11 total
Start
Contact
Print
General Help
