Concepedia

Venanzio Capretta

VC

6

Publications

427

Citations

6

H-Index

2000

Active since

Affiliations

University of Ottawa(Current)

Venanzio Capretta is an author at University of Ottawa specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationProgram AnalysisVerificationData SecurityHardware SecuritySoftware Analysis

Publications per year

2000–2007

6

Publications

6

General Recursion via Coinductive Types

Venanzio Capretta · Logical Methods in Computer Science · 2005 · 139 citations · Full text

Engineering, Operational Semantics, Computability Theory +10

Setoids in type theory

Gilles Barthe, Venanzio Capretta, Olivier Pons · Journal of Functional Programming · 2003 · 93 citations · Full text

Engineering, Automated Reasoning, Type Theory +9

Modelling general recursion in type theory

Ana Bove, Venanzio Capretta · Mathematical Structures in Computer Science · 2005 · 84 citations

Expressive Programming Language, Engineering, Generic Programming +13

Recursive coalgebras from comonads

Venanzio Capretta, Tarmo Uustalu, Varmo Vene · Information and Computation · 2006 · 52 citations

Recursive Coalgebras, Combinatorial Hopf Algebra

Formal correctness of conflict detection for firewalls

Venanzio Capretta, Bernard Stépien, Amy Felty et al. · 2007 · 49 citations

Engineering, Information Security, Next-generation Firewall +19

Rows per page

1–5 of 6