Edit Profile Ciaffaglione, Alberto Compute Distance To: Compute Author ID: ciaffaglione.alberto Published as: Ciaffaglione, Alberto Documents Indexed: 11 Publications since 2000 all top 5 Co-Authors 1 single-authored 4 Di Gianantonio, Pietro 4 Scagnetto, Ivan 2 Honsell, Furio 2 Lenisa, Marina 2 Liquori, Luigi 2 Miculan, Marino 1 Alessi, Fabio 1 Hennessy, Matthew C. B. 1 Rathke, Julian Serials 2 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Journal of Formalized Reasoning Fields 10 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 7 Publications have been cited 20 times in 15 Documents Cited by ▼ Year ▼ A certified, corecursive implementation of exact real numbers. Zbl 1086.68117Ciaffaglione, Alberto; Di Gianantonio, Pietro 6 2006 Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Zbl 1118.68046Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino 5 2007 Proof methodologies for behavioural equivalence in DPI. Zbl 1169.68538Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian 2 2005 Plug and play the theory of contexts in higher-order abstract syntax. Zbl 1271.68084Ciaffaglione, Alberto; Scagnetto, Ivan 2 2004 Imperative object-based calculi in co-inductive type theories. Zbl 1273.03105Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino 2 2003 A co-inductive approach to real numbers. Zbl 0988.68161Ciaffaglione, Alberto; Di Gianantonio, Pietro 2 2000 A tour with constructive real numbers. Zbl 1054.03038Ciaffaglione, Alberto; Di Gianantonio, Pietro 1 2002 Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts. Zbl 1118.68046Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino 5 2007 A certified, corecursive implementation of exact real numbers. Zbl 1086.68117Ciaffaglione, Alberto; Di Gianantonio, Pietro 6 2006 Proof methodologies for behavioural equivalence in DPI. Zbl 1169.68538Ciaffaglione, Alberto; Hennessy, Matthew; Rathke, Julian 2 2005 Plug and play the theory of contexts in higher-order abstract syntax. Zbl 1271.68084Ciaffaglione, Alberto; Scagnetto, Ivan 2 2004 Imperative object-based calculi in co-inductive type theories. Zbl 1273.03105Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino 2 2003 A tour with constructive real numbers. Zbl 1054.03038Ciaffaglione, Alberto; Di Gianantonio, Pietro 1 2002 A co-inductive approach to real numbers. Zbl 0988.68161Ciaffaglione, Alberto; Di Gianantonio, Pietro 2 2000 all cited Publications top 5 cited Publications all top 5 Cited by 27 Authors 3 Berger, Ulrich 3 Ciaffaglione, Alberto 2 Henrio, Ludovic 2 Kammüller, Florian 1 Blanchette, Jasmin Christian 1 Boldo, Sylvie 1 Brain, Martin 1 Di Gianantonio, Pietro 1 Felty, Amy P. 1 Francalanza, Adrian 1 Hennessy, Matthew C. B. 1 Hou, Tie 1 Lelay, Catherine 1 Liquori, Luigi 1 Lutz, Bianca 1 Mccleeary, Ryan 1 Melquiond, Guillaume 1 Miculan, Marino 1 Miyamoto, Kenji 1 Momigliano, Alberto 1 Popescu, Andrei 1 Pous, Damien 1 Scagnetto, Ivan 1 Schwichtenberg, Helmut 1 Seisenberger, Monika 1 Stump, Aaron 1 Traytel, Dmitry all top 5 Cited in 7 Serials 3 Theoretical Computer Science 3 Journal of Automated Reasoning 2 MSCS. Mathematical Structures in Computer Science 2 Theory of Computing Systems 1 Science of Computer Programming 1 The Journal of Logic and Algebraic Programming 1 ACM Communications in Computer Algebra Cited in 4 Fields 14 Computer science (68-XX) 7 Mathematical logic and foundations (03-XX) 1 Real functions (26-XX) 1 Numerical analysis (65-XX) Citations by Year