×

zbMATH — the first resource for mathematics

Bagnara, Roberto

Compute Distance To:
Author ID: bagnara.roberto Recent zbMATH articles by "Bagnara, Roberto"
Published as: Bagnara, Roberto
External Links: MGP
Documents Indexed: 29 Publications since 1995

Publications by Year

Citations contained in zbMATH

28 Publications have been cited 160 times in 92 Documents Cited by Year
Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215
Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
14
2002
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
13
2009
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Zbl 0891.68056
Bagnara, Roberto
12
1998
An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
11
2008
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
Widening operators for powerset domains. Zbl 1202.68242
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2004
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
9
2009
Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea
8
2005
Set-sharing is redundant for pair-sharing. Zbl 0997.68021
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
8
2002
A new look at the automatic synthesis of linear ranking functions. Zbl 1251.68073
Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea
7
2012
cTI: a constraint-based termination inference tool for ISO-PROLOG. Zbl 1093.68559
Mesnard, Fred; Bagnara, Roberto
7
2005
Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea
5
2005
Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015
Bagnara, 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.68027
Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto
5
2004
Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042
Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea
4
2007
Precise widening operators for convex polyhedra. Zbl 1067.68578
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
4
2003
Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530
Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea
3
2002
Widening sharing. Zbl 0956.68023
Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.
3
1999
A unified proof for the convergence of Jacobi and Gauss-Seidel methods. Zbl 0824.65013
Bagnara, Roberto
3
1995
Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
2
2010
Exploiting binary floating-point representations for constraint propagation. Zbl 1357.68010
Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud
1
2016
Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2004
Decomposing non-redundant sharing by complementation. Zbl 1087.68535
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
2002
Boolean functions for finite-tree dependencies. Zbl 1275.68043
Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M.
1
2001
Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2001
Efficient structural information analysis for real CLP languages. Zbl 0988.68035
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
1
2000
Decomposing non-redundant sharing by complementation. Zbl 0957.68057
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
1999
Exploiting binary floating-point representations for constraint propagation. Zbl 1357.68010
Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud
1
2016
A new look at the automatic synthesis of linear ranking functions. Zbl 1251.68073
Bagnara, Roberto; Mesnard, Fred; Pescetti, Andrea; Zaffanella, Enea
7
2012
Exact join detection for convex polyhedra and other numerical abstractions. Zbl 1187.65018
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
2
2010
Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness. Zbl 1185.68405
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
13
2009
Applications of polyhedral computations to the analysis and verification of hardware and software systems. Zbl 1187.68311
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
9
2009
An improved tight closure algorithm for integer octagonal constraints. Zbl 1138.68474
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
11
2008
Grids: a domain for analyzing the distribution of numerical values. Zbl 1196.68042
Bagnara, Roberto; Dobson, Katy; Hill, Patricia M.; Mundell, Matthew; Zaffanella, Enea
4
2007
Not necessarily closed convex polyhedra and the double description method. Zbl 1101.68674
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
10
2005
Precise widening operators for convex polyhedra. Zbl 1088.68173
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
10
2005
Widening operators for weakly-relational numeric abstractions. Zbl 1141.68445
Bagnara, Roberto; Hill, Patricia M.; Mazzi, Elena; Zaffanella, Enea
8
2005
cTI: a constraint-based termination inference tool for ISO-PROLOG. Zbl 1093.68559
Mesnard, Fred; Bagnara, Roberto
7
2005
Generation of basic semi-algebraic invariants using convex polyhedra. Zbl 1141.68446
Bagnara, Roberto; Rodríguez-Carbonell, Enric; Zaffanella, Enea
5
2005
Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015
Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M.
5
2005
Widening operators for powerset domains. Zbl 1202.68242
Bagnara, 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.68027
Hill, Patricia M.; Zaffanella, Enea; Bagnara, Roberto
5
2004
Finite-tree analysis for constraint logic-based languages. Zbl 1088.68025
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2004
Precise widening operators for convex polyhedra. Zbl 1067.68578
Bagnara, Roberto; Hill, Patricia M.; Ricci, Elisa; Zaffanella, Enea
4
2003
Possibly not closed convex polyhedra and the Parma Polyhedra Library. Zbl 1015.68215
Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.
14
2002
Set-sharing is redundant for pair-sharing. Zbl 0997.68021
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
8
2002
Soundness, idempotence and commutativity of set-sharing. Zbl 1087.68530
Hill, Patricia M.; Bagnara, Roberto; Zaffanella, Enea
3
2002
Decomposing non-redundant sharing by complementation. Zbl 1087.68535
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
2002
Boolean functions for finite-tree dependencies. Zbl 1275.68043
Bagnara, Roberto; Zaffanella, Enea; Gori, Roberta; Hill, Patricia M.
1
2001
Finite-tree analysis for constraint logic-based languages. Zbl 0997.68510
Bagnara, Roberto; Gori, Roberta; Hill, Patricia M.; Zaffanella, Enea
1
2001
Efficient structural information analysis for real CLP languages. Zbl 0988.68035
Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
1
2000
Widening sharing. Zbl 0956.68023
Zaffanella, Enea; Bagnara, Roberto; Hill, Patricia M.
3
1999
Decomposing non-redundant sharing by complementation. Zbl 0957.68057
Zaffanella, Enea; Hill, Patricia M.; Bagnara, Roberto
1
1999
A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Zbl 0891.68056
Bagnara, Roberto
12
1998
A unified proof for the convergence of Jacobi and Gauss-Seidel methods. Zbl 0824.65013
Bagnara, Roberto
3
1995
all top 5

Cited by 161 Authors

8 Zaffanella, Enea
7 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 De Schreye, Danny
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 Gori, Roberta
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 Voets, Dean
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 Carlier, Matthieu
1 Carrasco, Juan Antonio
1 Chawdhary, Aziem
1 Chechik, Marsha
1 Colón, Michael A.
1 Costantini, Giulia
1 Cousot, Radhia
1 Doménech, Jesús J.
1 Drabent, Włodzimierz
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 Giacobazzi, Roberto
1 Giesl, Jürgen
1 Gîrlea, Codruţa
1 Gonnord, Laure
1 Gopan, Denis
1 Gotlieb, Arnaud
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 Huang, Daniel Z.
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
...and 61 more Authors

Citations by Year