Edit Profile Zaffanella, Enea Compute Distance To: Compute Author ID: zaffanella.enea Published as: Zaffanella, Enea Documents Indexed: 26 Publications since 1999 all top 5 Co-Authors 0 single-authored 24 Bagnara, Roberto 22 Hill, Patricia M. 3 Gori, Roberta 3 Ricci, Elisa 1 Amato, Gianluca 1 Becchi, Anna 1 Dobson, Katy 1 Mazzi, Elena 1 Mesnard, Fred 1 Mundell, Matthew 1 Pescetti, Andrea 1 Rodríguez-Carbonell, Enric 1 Scozzari, Francesca all top 5 Serials 4 Theory and Practice of Logic Programming 3 Information and Computation 2 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Computational Geometry 1 Formal Methods in System Design Fields 25 Computer science (68-XX) 6 Convex and discrete geometry (52-XX) 2 Operations research, mathematical programming (90-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 25 Publications have been cited 138 times in 81 Documents Cited by ▼ Year ▼ Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. 14 2002 Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 13 2009 An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 11 2008 Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 10 2005 Precise widening operators for convex polyhedra. Zbl 1088.68173Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea 10 2005 Widening operators for powerset domains. Zbl 1202.68242Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 10 2004 Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 9 2009 Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea 8 2005 Set-sharing is redundant for pair-sharing. Zbl 0997.68021Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 8 2002 A new look at the automatic synthesis of linear ranking functions. Zbl 1251.68073Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea 7 2012 Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea 5 2005 Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. 5 2005 A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Zbl 1088.68027Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto 5 2004 Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea 4 2007 Precise widening operators for convex polyhedra. Zbl 1067.68578Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea 4 2003 Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea 3 2002 Widening sharing. Zbl 0956.68023Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M. 3 1999 Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 2 2010 Efficient constraint/generator removal from double description of polyhedra. Zbl 1337.68262Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea 1 2014 Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea 1 2004 Decomposing non-redundant sharing by complementation. Zbl 1087.68535Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto 1 2002 Boolean functions for finite-tree dependencies. Zbl 1275.68043Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M. 1 2001 Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea 1 2001 Efficient structural information analysis for real CLP languages. Zbl 0988.68035Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 1 2000 Decomposing non-redundant sharing by complementation. Zbl 0957.68057Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto 1 1999 Efficient constraint/generator removal from double description of polyhedra. Zbl 1337.68262Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea 1 2014 A new look at the automatic synthesis of linear ranking functions. Zbl 1251.68073Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea 7 2012 Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 2 2010 Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 13 2009 Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 9 2009 An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 11 2008 Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea 4 2007 Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 10 2005 Precise widening operators for convex polyhedra. Zbl 1088.68173Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea 10 2005 Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea 8 2005 Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea 5 2005 Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. 5 2005 Widening operators for powerset domains. Zbl 1202.68242Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 10 2004 A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages. Zbl 1088.68027Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto 5 2004 Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea 1 2004 Precise widening operators for convex polyhedra. Zbl 1067.68578Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea 4 2003 Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M. 14 2002 Set-sharing is redundant for pair-sharing. Zbl 0997.68021Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 8 2002 Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea 3 2002 Decomposing non-redundant sharing by complementation. Zbl 1087.68535Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto 1 2002 Boolean functions for finite-tree dependencies. Zbl 1275.68043Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M. 1 2001 Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea 1 2001 Efficient structural information analysis for real CLP languages. Zbl 0988.68035Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea 1 2000 Widening sharing. Zbl 0956.68023Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M. 3 1999 Decomposing non-redundant sharing by complementation. Zbl 0957.68057Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto 1 1999 all cited Publications top 5 cited Publications all top 5 Cited by 140 Authors 8 Zaffanella, Enea 6 Bagnara, Roberto 6 King, Andy 6 Subramani, Krishnan 6 Wojciechowski, Piotr J. 5 Amato, Gianluca 5 Hill, Patricia M. 5 Scozzari, Francesca 4 Miné, Antoine 4 Sankaranarayanan, Sriram 4 Simon, Axel 3 Ben-Amram, Amir M. 3 Brauer, Jörg 3 Cousot, Patrick 3 Genaim, Samir 2 Azgomi, Mohammad Abdollahi 2 Chakraborty, Supratik 2 Chandrasekaran, Ramaswamy 2 Chen, Liqian 2 Comini, Marco 2 Cortesi, Agostino 2 del Mar Gallardo, María 2 Fähndrich, Manuel 2 Gallagher, John P. 2 Halbwachs, Nicolas 2 Hermenegildo, Manuel V. 2 Howe, Jacob M. 2 Kowalewski, Stefan 2 Logozzo, Francesco 2 Lu, Qi 2 Monniaux, David P. 2 Motallebi, Hassan 2 Titolo, Laura 2 Villanueva, Alicia 2 Wang, Ji 1 Ackley, Elena S. 1 Balakrishnan, Gogul 1 Banda, Gourinath 1 Becchi, Anna 1 Becker, Stephen R. 1 Beckschulze, Eva 1 Ben Sassi, Mohamed Amin 1 Benerecetti, Massimo 1 Bonatti, Piero Andrea 1 Borralleras, Cristina 1 Boutonnet, Rémy 1 Bozga, Marius 1 Brockschmidt, Marc 1 Chawdhary, Aziem 1 Chechik, Marsha 1 Colón, Michael A. 1 Costantini, Giulia 1 Cousot, Radhia 1 Doménech, Jesús J. 1 Elder, Matthew 1 Faella, Marco 1 Fahrenberg, Uli 1 Feret, Jérôme 1 Ferrara, Pietro 1 Forrest, Stephanie 1 Fribourg, Laurent 1 Ghorbal, Khalil 1 Gîrlea, Codruţa 1 Gonnord, Laure 1 Gopan, Denis 1 Gori, Roberta 1 Goubault, Eric 1 Gras, Daniel Cabeza 1 Gronski, Jessica A. 1 Gulavani, Bhargav S. 1 Gupta, Aarti 1 Gurfinkel, Arie 1 Hagemann, Willem 1 Hamilton, Geoff W. 1 Hampe, Simon 1 Horbach, Matthias 1 Iosif, Radu 1 Ivančić, Franjo 1 Jakubczyk, Krzysztof 1 Jeannet, Bertrand 1 Joswig, Michael 1 Jourdan, Jacques-Henri 1 Kapur, Deepak 1 Kimura, Kei 1 Kühne, Ulrich 1 Larraz, Daniel 1 Larsen, Kim Guldstrand 1 Lawrence-Jones, Charles 1 Le Guen, Julien 1 Levi, Giorgio 1 Li, Yi 1 Lin, Wang 1 Madsen, Michael 1 Maeda, Naoto 1 Makino, Kazuhisa 1 Marchiori, Elena 1 Maréchal, Alexandre 1 Masud, Abu Naser 1 Mauborgne, Laurent 1 Mekie, Joycee ...and 40 more Authors all top 5 Cited in 24 Serials 10 Formal Methods in System Design 7 Theoretical Computer Science 7 Information and Computation 4 Theory and Practice of Logic Programming 3 Higher-Order and Symbolic Computation 2 Science of Computer Programming 2 Journal of Symbolic Computation 2 Computer Languages, Systems & Structures 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Journal of Optimization Theory and Applications 1 Algorithmica 1 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Computational Geometry 1 International Journal of Foundations of Computer Science 1 Journal of Combinatorial Optimization 1 Journal of the ACM 1 The Journal of Logic and Algebraic Programming 1 Mathematics in Computer Science 1 Logical Methods in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Frontiers of Computer Science all top 5 Cited in 11 Fields 75 Computer science (68-XX) 10 Operations research, mathematical programming (90-XX) 8 Convex and discrete geometry (52-XX) 4 Mathematical logic and foundations (03-XX) 4 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Ordinary differential equations (34-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year