Edit Profile (opens in new tab) Ranzato, Francesco Compute Distance To: Compute Author ID: ranzato.francesco Published as: Ranzato, Francesco; Ranzato, F. Documents Indexed: 46 Publications since 1996 2 Contributions as Editor Co-Authors: 10 Co-Authors with 35 Joint Publications 215 Co-Co-Authors all top 5 Co-Authors 13 single-authored 18 Giacobazzi, Roberto 11 Tapparo, Francesco 5 Crafa, Silvia 3 Scozzari, Francesca 2 Logozzo, Francesco 1 Delzanno, Giorgio 1 Dissegna, Stefano 1 Filé, Gilberto 1 Palamidessi, Catuscia 1 Rossi-Doria, Olivia all top 5 Serials 6 Information and Computation 4 Algebra Universalis 3 Formal Methods in System Design 2 Theoretical Computer Science 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Discrete Mathematics 1 Science of Computer Programming 1 Journal of Logic and Computation 1 Journal of the ACM 1 Fundamenta Informaticae 1 Portugaliae Mathematica. Nova Série 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science Fields 39 Computer science (68-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 4 Mathematical logic and foundations (03-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 172 times in 102 Documents Cited by ▼ Year ▼ Making abstract interpretations complete. Zbl 1133.68370Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca 38 2000 Generalizing the Paige-Tarjan algorithm by abstract interpretation. Zbl 1197.68054Ranzato, Francesco; Tapparo, Francesco 16 2008 Refining and compressing abstract domains. Zbl 1401.68197Giacobazzi, Roberto; Ranzato, Francesco 14 1997 Optimal domains for disjunctive abstract interpretation. Zbl 0942.68020Giacobazzi, Roberto; Ranzato, Francesco 14 1998 Weak relative pseudo-complements of closure operators. Zbl 0901.06003Giacobazzi, R.; Palamidessi, C.; Ranzato, F. 9 1996 Generalized strong preservation by abstract interpretation. Zbl 1120.68074Ranzato, Francesco; Tapparo, Francesco 9 2007 A spectrum of behavioral relations over LTSs on probability distributions. Zbl 1344.68162Crafa, Silvia; Ranzato, Francesco 7 2011 Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. Zbl 0921.68057Giacobazzi, Roberto; Ranzato, Francesco 5 1998 The reduced relative power operation on abstract domains. Zbl 0914.68129Giacobazzi, Roberto; Ranzato, Francesco 5 1999 Strong preservation as completeness in abstract interpretation. Zbl 1126.68485Ranzato, Francesco; Tapparo, Francesco 5 2004 An abstract interpretation-based refinement algorithm for strong preservation. Zbl 1087.68058Ranzato, Francesco; Tapparo, Francesco 4 2005 An efficient simulation algorithm based on abstract interpretation. Zbl 1188.68197Ranzato, Francesco; Tapparo, Francesco 4 2010 Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Zbl 1290.68093Crafa, Silvia; Ranzato, Francesco 4 2012 Probabilistic bisimulation and simulation algorithms by abstract interpretation. Zbl 1333.68196Crafa, Silvia; Ranzato, Francesco 4 2011 The powerset operator on abstract interpretations. Zbl 0930.68033Filé, Gilberto; Ranzato, Francesco 3 1999 Computing stuttering simulations. Zbl 1254.68179Ranzato, Francesco; Tapparo, Francesco 3 2009 Complementing logic program semantics. Zbl 1355.68037Giacobazzi, Roberto; Ranzato, Francesco 3 1996 A more efficient simulation algorithm on Kripke structures. Zbl 1400.68143Ranzato, Francesco 3 2013 On the completeness of model checking. Zbl 0977.68056Ranzato, Francesco 2 2001 Strong preservation of temporal fixpoint-based operators by abstract interpretation. Zbl 1176.68127Ranzato, Francesco; Tapparo, Francesco 2 2006 Saving space in a time efficient simulation algorithm. Zbl 1255.68100Crafa, Silvia; Ranzato, Francesco; Tapparo, Francesco 2 2011 States vs. traces in model checking by abstract interpretation. Zbl 1015.68124Giacobazzi, Roberto; Ranzato, Francesco 2 2002 A forward-backward abstraction refinement algorithm. Zbl 1138.68458Ranzato, Francesco; Doria, Olivia Rossi; Tapparo, Francesco 2 2008 Abstract interpretation of supermodular games. Zbl 1394.91022Ranzato, Francesco 1 2016 A new characterization of complete Heyting and co-Heyting algebras. Zbl 1459.06006Ranzato, Francesco 1 2017 Analyzing program analyses. Zbl 1345.68106Giacobazzi, Roberto; Logozzo, Francesco; Ranzato, Francesco 1 2015 Logical characterizations of behavioral relations on transition systems of probability distributions. Zbl 1354.68192Crafa, Silvia; Ranzato, Francesco 1 2015 Building complete abstract interpretations in a linear logic-based setting. Zbl 0912.03016Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca 1 1998 Example-guided abstraction simplification. Zbl 1288.68041Giacobazzi, Roberto; Ranzato, Francesco 1 2010 Making abstract model checking strongly preserving. Zbl 1015.68122Ranzato, Francesco; Tapparo, Francesco 1 2002 Incompleteness of states w.r.t. traces in model checking. Zbl 1103.68074Giacobazzi, Roberto; Ranzato, Francesco 1 2006 An abstract interpretation perspective on linear vs. branching time. Zbl 1159.68380Ranzato, Francesco; Tapparo, Francesco 1 2005 Correctness kernels of abstract interpretations. Zbl 1360.68363Giacobazzi, Roberto; Ranzato, Francesco 1 2014 Making abstract domains condensing. Zbl 1367.68065Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca 1 2005 Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Zbl 1369.68036 1 2017 A new characterization of complete Heyting and co-Heyting algebras. Zbl 1459.06006Ranzato, Francesco 1 2017 Static analysis. 24th international symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017. Proceedings. Zbl 1369.68036 1 2017 Abstract interpretation of supermodular games. Zbl 1394.91022Ranzato, Francesco 1 2016 Analyzing program analyses. Zbl 1345.68106Giacobazzi, Roberto; Logozzo, Francesco; Ranzato, Francesco 1 2015 Logical characterizations of behavioral relations on transition systems of probability distributions. Zbl 1354.68192Crafa, Silvia; Ranzato, Francesco 1 2015 Correctness kernels of abstract interpretations. Zbl 1360.68363Giacobazzi, Roberto; Ranzato, Francesco 1 2014 A more efficient simulation algorithm on Kripke structures. Zbl 1400.68143Ranzato, Francesco 3 2013 Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation. Zbl 1290.68093Crafa, Silvia; Ranzato, Francesco 4 2012 A spectrum of behavioral relations over LTSs on probability distributions. Zbl 1344.68162Crafa, Silvia; Ranzato, Francesco 7 2011 Probabilistic bisimulation and simulation algorithms by abstract interpretation. Zbl 1333.68196Crafa, Silvia; Ranzato, Francesco 4 2011 Saving space in a time efficient simulation algorithm. Zbl 1255.68100Crafa, Silvia; Ranzato, Francesco; Tapparo, Francesco 2 2011 An efficient simulation algorithm based on abstract interpretation. Zbl 1188.68197Ranzato, Francesco; Tapparo, Francesco 4 2010 Example-guided abstraction simplification. Zbl 1288.68041Giacobazzi, Roberto; Ranzato, Francesco 1 2010 Computing stuttering simulations. Zbl 1254.68179Ranzato, Francesco; Tapparo, Francesco 3 2009 Generalizing the Paige-Tarjan algorithm by abstract interpretation. Zbl 1197.68054Ranzato, Francesco; Tapparo, Francesco 16 2008 A forward-backward abstraction refinement algorithm. Zbl 1138.68458Ranzato, Francesco; Doria, Olivia Rossi; Tapparo, Francesco 2 2008 Generalized strong preservation by abstract interpretation. Zbl 1120.68074Ranzato, Francesco; Tapparo, Francesco 9 2007 Strong preservation of temporal fixpoint-based operators by abstract interpretation. Zbl 1176.68127Ranzato, Francesco; Tapparo, Francesco 2 2006 Incompleteness of states w.r.t. traces in model checking. Zbl 1103.68074Giacobazzi, Roberto; Ranzato, Francesco 1 2006 An abstract interpretation-based refinement algorithm for strong preservation. Zbl 1087.68058Ranzato, Francesco; Tapparo, Francesco 4 2005 An abstract interpretation perspective on linear vs. branching time. Zbl 1159.68380Ranzato, Francesco; Tapparo, Francesco 1 2005 Making abstract domains condensing. Zbl 1367.68065Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca 1 2005 Strong preservation as completeness in abstract interpretation. Zbl 1126.68485Ranzato, Francesco; Tapparo, Francesco 5 2004 States vs. traces in model checking by abstract interpretation. Zbl 1015.68124Giacobazzi, Roberto; Ranzato, Francesco 2 2002 Making abstract model checking strongly preserving. Zbl 1015.68122Ranzato, Francesco; Tapparo, Francesco 1 2002 On the completeness of model checking. Zbl 0977.68056Ranzato, Francesco 2 2001 Making abstract interpretations complete. Zbl 1133.68370Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca 38 2000 The reduced relative power operation on abstract domains. Zbl 0914.68129Giacobazzi, Roberto; Ranzato, Francesco 5 1999 The powerset operator on abstract interpretations. Zbl 0930.68033Filé, Gilberto; Ranzato, Francesco 3 1999 Optimal domains for disjunctive abstract interpretation. Zbl 0942.68020Giacobazzi, Roberto; Ranzato, Francesco 14 1998 Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements. Zbl 0921.68057Giacobazzi, Roberto; Ranzato, Francesco 5 1998 Building complete abstract interpretations in a linear logic-based setting. Zbl 0912.03016Giacobazzi, Roberto; Ranzato, Francesco; Scozzari, Francesca 1 1998 Refining and compressing abstract domains. Zbl 1401.68197Giacobazzi, Roberto; Ranzato, Francesco 14 1997 Weak relative pseudo-complements of closure operators. Zbl 0901.06003Giacobazzi, R.; Palamidessi, C.; Ranzato, F. 9 1996 Complementing logic program semantics. Zbl 1355.68037Giacobazzi, Roberto; Ranzato, Francesco 3 1996 all cited Publications top 5 cited Publications all top 5 Cited by 144 Authors 16 Giacobazzi, Roberto 16 Ranzato, Francesco 10 Mastroeni, Isabella 6 Ćirić, Miroslav D. 6 Ignjatović, Jelena 5 Cortesi, Agostino 5 Cousot, Patrick 4 Crafa, Silvia 4 Dalla Preda, Mila 4 Schmidt, David A. 4 Scozzari, Francesca 4 Sokolova, Ana 3 Amato, Gianluca 3 Arceri, Vincenzo 3 Bernardo, Marco 3 De Nicola, Rocco 3 Groote, Jan Friso 3 Loreti, Michele 3 Meo, Maria Chiara 3 Milius, Stefan 3 Miné, Antoine 3 Schröder, Lutz 3 Silva, Alexandra 3 Spoto, Fausto 3 Tapparo, Francesco 3 Wißmann, Thorsten 2 Banerjee, Anindya 2 Bašić, Milan 2 Bonchi, Filippo 2 Chen, Liqian 2 Cousot, Radhia 2 Damljanović, Nada 2 Dorsch, Ulrich 2 Gorrieri, Roberto 2 Halder, Raju 2 Jančić, Ivana 2 Jansen, David N. 2 Kilpack, Martha L. H. 2 Lettieri, Giuseppe 2 Levi, Giorgio 2 Magidin, Arturo 2 Stamenković, Aleksandar 2 Wang, Ji 2 Willemse, Tim A. C. 1 Abdulla, Parosh Aziz 1 Alpuente, María 1 Basin, David A. 1 Bodei, Chiara 1 Bogdanović, Stojan M. 1 Brauer, Jörg 1 Bruni, Roberto 1 Bu, Tianming 1 Bulychev, Peter E. 1 Buro, Samuele 1 Chen, Yixiang 1 Comini, Marco 1 Costa, Gabriele 1 Crole, Roy L. 1 de Boer, Frank S. 1 De Francesco, Nicoletta 1 de Vink, Erik P. 1 Debray, Saumya K. 1 Degano, Pierpaolo 1 Deifel, Hans-Peter 1 del Mar Gallardo, María 1 Deng, Yuxin 1 Derezaa, A. V. 1 Dovier, Agostino 1 D’silva, Vijay 1 Engelhardt, Kai 1 Fahrenberg, Uli 1 Feret, Jérôme 1 Ferrara, Pietro 1 Filé, Gilberto 1 Gabbrielli, Maurizio 1 Gallagher, John P. 1 Galletta, Letterio 1 Gange, Graeme 1 Gazda, Maciej W. 1 Gebler, Daniel E. 1 Gori, Roberta 1 Gregorio-Rodríguez, Carlos 1 Grumberg, Orna 1 Gu, Ming 1 Hashemi, Vahid 1 Hill, Patricia M. 1 Holík, Lukáš 1 Huuck, Ralf 1 Jacobs, Bart 1 Jančić, Zorana 1 Jensen, Thomas P. 1 Kaati, Lisa 1 Kafle, Bishoksan 1 Keiren, Jeroen J. A. 1 King, Andy 1 Larsen, Kim Guldstrand 1 Laveaux, Maurice 1 Llana, Luis 1 Lu, Qi 1 Luk’yanova, E. A. ...and 44 more Authors all top 5 Cited in 28 Serials 15 Information and Computation 14 Theoretical Computer Science 5 Fuzzy Sets and Systems 4 Logical Methods in Computer Science 3 Formal Aspects of Computing 3 MSCS. Mathematical Structures in Computer Science 3 Formal Methods in System Design 3 ACM Transactions on Computational Logic 2 Acta Informatica 2 Communications in Algebra 2 Information Sciences 2 Journal of Computer and System Sciences 2 Theory and Practice of Logic Programming 2 Computer Languages, Systems & Structures 1 Programming and Computer Software 1 Order 1 Journal of Automated Reasoning 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems 1 International Journal of Computer Mathematics 1 Cybernetics and Systems Analysis 1 Higher-Order and Symbolic Computation 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Science in China. Series F 1 Algorithms 1 Science China. Information Sciences 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 9 Fields 97 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Category theory; homological algebra (18-XX) 2 Group theory and generalizations (20-XX) 2 Probability theory and stochastic processes (60-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Systems theory; control (93-XX) Citations by Year