Roberto Bagnara

1.7k total citations
36 papers, 450 citations indexed

About

Roberto Bagnara is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Roberto Bagnara has authored 36 papers receiving a total of 450 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 11 papers in Software. Recurrent topics in Roberto Bagnara's work include Logic, programming, and type systems (22 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (9 papers). Roberto Bagnara is often cited by papers focused on Logic, programming, and type systems (22 papers), Formal Methods in Verification (20 papers) and Logic, Reasoning, and Knowledge (9 papers). Roberto Bagnara collaborates with scholars based in Italy, United Kingdom and France. Roberto Bagnara's co-authors include Enea Zaffanella, Patricia M. Hill, Fred Mesnard, Elisa Ricci, Giorgio Levi, Roberto Giacobazzi, R. Divià, Tim Berners‐Lee, Arnaud Gotlieb and C Parkman and has published in prestigious journals such as SIAM Review, Theoretical Computer Science and ACM Transactions on Software Engineering and Methodology.

In The Last Decade

Roberto Bagnara

32 papers receiving 416 citations

Peers

Roberto Bagnara

CTM

AI

SOFTW

HA

CNC

Jean-Claude Fernandez France

Ichiro Hasuo Japan

Sylvie Boldo France

Thorsten Theobald Germany

Pierre Castéran France

W. H. J. Feijen Netherlands

J. E. L. Peck Canada

Éric Goubault France

Todd L. Veldhuizen Canada

Roland Backhouse United Kingdom

Jean-Claude Fernandez France

Roberto Bagnara

328 ×1.0

CTM

210 ×0.9

AI

227 ×1.5

SOFTW

111 ×0.9

HA

127 ×2.2

CNC

Citations per year, relative to Roberto Bagnara Roberto Bagnara (= 1×) peers Jean-Claude Fernandez

Countries citing papers authored by Roberto Bagnara

Since Specialization

Citations

This map shows the geographic impact of Roberto Bagnara's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Roberto Bagnara with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Roberto Bagnara more than expected).

Fields of papers citing papers by Roberto Bagnara

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Roberto Bagnara. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Roberto Bagnara. The network helps show where Roberto Bagnara may publish in the future.

Co-authorship network of co-authors of Roberto Bagnara

This figure shows the co-authorship network connecting the top 25 collaborators of Roberto Bagnara. A scholar is included among the top collaborators of Roberto Bagnara based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Roberto Bagnara. Roberto Bagnara is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Bagnara, Roberto, et al.. (2022). Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints. 27(1-2). 29–69. 1 indexed citations

2.

Bagnara, Roberto, et al.. (2020). A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. ACM Transactions on Software Engineering and Methodology. 30(1). 1–53. 1 indexed citations

3.

Bagnara, Roberto, et al.. (2013). Exploiting Binary Floating-Point Representations for Constraint Propagation. arXiv (Cornell University). 1 indexed citations

4.

Bagnara, Roberto, et al.. (2012). A new look at the automatic synthesis of linear ranking functions. Information and Computation. 215. 47–67. 12 indexed citations

5.

Bagnara, Roberto, Patricia M. Hill, & Enea Zaffanella. (2009). Applications of polyhedral computations to the analysis and verification of hardware and software systems. Theoretical Computer Science. 410(46). 4672–4691. 13 indexed citations

6.

Bagnara, Roberto, Patricia M. Hill, & Enea Zaffanella. (2009). Exact join detection for convex polyhedra and other numerical abstractions. Computational Geometry. 43(5). 453–473. 4 indexed citations

7.

Bagnara, Roberto, Patricia M. Hill, & Enea Zaffanella. (2009). Weakly-relational shapes for numeric abstractions: improved algorithms and proofs of correctness. Formal Methods in System Design. 35(3). 279–323. 17 indexed citations

8.

Bagnara, Roberto, Patricia M. Hill, & Enea Zaffanella. (2008). The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming. 72(1-2). 3–21. 184 indexed citations

9.

Bagnara, Roberto, Patricia M. Hill, Elisa Ricci, & Enea Zaffanella. (2005). Precise widening operators for convex polyhedra. Science of Computer Programming. 58(1-2). 28–56. 23 indexed citations

10.

Bagnara, Roberto, Enea Zaffanella, & Patricia M. Hill. (2005). Enhanced sharing analysis techniques: a comprehensive evaluation. Theory and Practice of Logic Programming. 5(1-2). 1–43. 6 indexed citations

11.

Bagnara, Roberto, Penny Hill, & Enea Zaffanella. (2002). A New Encoding and Implementation of Not Necessarily Closed Convex Polyhedra. 1 indexed citations

12.

Bagnara, Roberto, Patricia M. Hill, & Enea Zaffanella. (2002). Set-sharing is redundant for pair-sharing. Theoretical Computer Science. 277(1-2). 3–46. 8 indexed citations

13.

Bagnara, Roberto. (2002). Foreign Language Interfaces for Prolog: A Terse Survey. 88(1). 54–9. 6 indexed citations

14.

Bagnara, Roberto, Roberto Giacobazzi, & Giorgio Levi. (2002). An application of constraint propagation to data-flow analysis. 270–276. 1 indexed citations

15.

Bagnara, Roberto. (1998). A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages. Science of Computer Programming. 30(1-2). 119–155. 10 indexed citations

16.

Bagnara, Roberto. (1997). Structural Information Analysis for CLP Languages.. 81–92. 2 indexed citations

17.

Bagnara, Roberto, et al.. (1996). The And-compositionality of CLP Computed Answer Constraints.. 355–366. 1 indexed citations

18.

Bagnara, Roberto. (1996). Straight ROBDDs are not the Best for Pos.. 493–498. 1 indexed citations

19.

Bagnara, Roberto, Roberto Giacobazzi, & Giorgio Levi. (1992). Static Analysis of CLP Programs over Numeric Domains.. 43–50. 8 indexed citations

20.

Carena, W., L. Tremblet, B. W. Wessels, et al.. (1988). THE VALET-PLUS EMBEDDED IN LARGE PHYSICS EXPERIMENTS. CERN Bulletin. 7 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact