Concepedia

Alberto Ciaffaglione

AC

Statistics

Publications

2

Citations

49

H-Index

2

Active since

2005

Affiliations

University of Udine(Current)

Alberto Ciaffaglione is an author at University of Udine specializing in formal methods, mathematics, and computing.

Publications per year

2005–2007

2

Publications

2

A certified, corecursive implementation of exact real numbers

Alberto Ciaffaglione, Pietro Di Gianantonio · Theoretical Computer Science · 2005 · 35 citations

, , +9

Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan · Journal of Automated Reasoning · 2007 · 14 citations · Full text

, , +11

1–2 of 2