Alberto Griggio

9.2k total citations
40 papers, 361 citations indexed

About

Alberto Griggio is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Alberto Griggio has authored 40 papers receiving a total of 361 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 22 papers in Software. Recurrent topics in Alberto Griggio's work include Formal Methods in Verification (31 papers), Logic, programming, and type systems (21 papers) and Software Testing and Debugging Techniques (18 papers). Alberto Griggio is often cited by papers focused on Formal Methods in Verification (31 papers), Logic, programming, and type systems (21 papers) and Software Testing and Debugging Techniques (18 papers). Alberto Griggio collaborates with scholars based in Italy, United Kingdom and United States. Alberto Griggio's co-authors include Alessandro Cimatti, Roberto Sebastiani, Marco Roveri, Stefano Tonetta, Martin Brain, Leopold Haller, Daniel Kroening, Sergio Mover, Dirk Beyer and M. Erkan Keremoğlu and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on Nuclear Science and Journal of Artificial Intelligence Research.

In The Last Decade

Alberto Griggio

35 papers receiving 338 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Alberto Griggio Italy 11 263 188 183 58 39 40 361
Enea Zaffanella Italy 9 275 1.0× 129 0.7× 205 1.1× 106 1.8× 32 0.8× 31 364
Karen Yorav Israel 7 300 1.1× 244 1.3× 146 0.8× 134 2.3× 51 1.3× 21 424
Salvatore La Torre Italy 12 367 1.4× 172 0.9× 224 1.2× 102 1.8× 37 0.9× 53 462
Frédéric Lang France 7 169 0.6× 107 0.6× 126 0.7× 57 1.0× 47 1.2× 22 274
Farhad Mehta Switzerland 3 190 0.7× 133 0.7× 197 1.1× 46 0.8× 81 2.1× 5 333
Kedar S. Namjoshi United States 11 233 0.9× 121 0.6× 191 1.0× 72 1.2× 52 1.3× 24 350
Laurent Voisin France 3 166 0.6× 127 0.7× 163 0.9× 41 0.7× 79 2.0× 4 301
Henrik Reif Andersen Denmark 9 226 0.9× 116 0.6× 160 0.9× 32 0.6× 19 0.5× 20 278
Shoham Ben-David Canada 8 198 0.8× 171 0.9× 130 0.7× 55 0.9× 67 1.7× 17 299

Countries citing papers authored by Alberto Griggio

Since Specialization
Citations

This map shows the geographic impact of Alberto Griggio'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 Alberto Griggio with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alberto Griggio more than expected).

Fields of papers citing papers by Alberto Griggio

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Alberto Griggio. 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 Alberto Griggio. The network helps show where Alberto Griggio may publish in the future.

Co-authorship network of co-authors of Alberto Griggio

This figure shows the co-authorship network connecting the top 25 collaborators of Alberto Griggio. A scholar is included among the top collaborators of Alberto Griggio 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 Alberto Griggio. Alberto Griggio is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Marini, F., M. Bellato, Antonio Bergnoli, et al.. (2025). FPGA-Based RoCEv2-RDMA Readout Electronics for the CTAO-LST Advanced Camera. IEEE Transactions on Nuclear Science. 73(2). 448–459.
2.
Bellato, M., et al.. (2024). Radiation hardness and quality validation of the on-detector electronics for the CMS Drift Tubes upgrade. Journal of Instrumentation. 19(6). C06001–C06001.
3.
Griggio, Alberto, et al.. (2024). System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. Science of Computer Programming. 242. 103253–103253. 1 indexed citations
4.
Griggio, Alberto, et al.. (2023). Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. Electronic Proceedings in Theoretical Computer Science. 395. 113–129. 9 indexed citations
5.
Cimatti, Alessandro, Alberto Griggio, Sergio Mover, Marco Roveri, & Stefano Tonetta. (2022). Verification modulo theories. Formal Methods in System Design. 60(3). 452–481. 1 indexed citations
6.
Cimatti, Alessandro, et al.. (2022). LTL falsification in infinite-state systems. Information and Computation. 289. 104977–104977. 1 indexed citations
7.
Frehse, Goran, Alessandro Abate, Dieky Adzkiya, et al.. (2019). ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. EPiC series in computing. 61. 1. 2 indexed citations
8.
Davenport, James H., Matthew England, Alberto Griggio, Thomas Sturm, & Cesare Tinelli. (2019). Symbolic computation and satisfiability checking. Journal of Symbolic Computation. 100. 1–10. 5 indexed citations
9.
Griggio, Alberto, Marco Roveri, & Stefano Tonetta. (2018). Certifying Proofs for LTL Model Checking. Institutional Research Information System (Università degli Studi di Trento). 1–9. 6 indexed citations
10.
Bozzano, Marco, et al.. (2014). Towards Pareto-optimal parameter synthesis for monotonie cost functions. 23–30. 1 indexed citations
11.
Brain, Martin, Vijay D’Silva, Alberto Griggio, Leopold Haller, & Daniel Kroening. (2013). Deciding floating-point logic with abstract conflict driven clause learning. Formal Methods in System Design. 45(2). 213–245. 22 indexed citations
12.
Bruttomesso, Roberto & Alberto Griggio. (2012). Broadening the Scope of SMT-COMP: the Application Track. Compare A Journal of Comparative and International Education. 18–27. 2 indexed citations
13.
Haller, Leopold, Alberto Griggio, Martin Brain, & Daniel Kroening. (2012). Deciding floating-point logic with systematic abstraction. Oxford University Research Archive (ORA) (University of Oxford). 131–140. 28 indexed citations
14.
Griggio, Alberto. (2012). A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic. INFM-OAR (INFN Catania). 8(1-2). 1–27. 22 indexed citations
15.
Griggio, Alberto, et al.. (2012). Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Logical Methods in Computer Science. Volume 8, Issue 3. 2 indexed citations
16.
Griggio, Alberto. (2011). Effective word-level interpolation for software verification. 28–36. 9 indexed citations
17.
Cimatti, Alessandro, et al.. (2010). Tighter integration of BDDs and SMT for predicate abstraction. Design, Automation, and Test in Europe. 1707–1712. 3 indexed citations
18.
Cimatti, Alessandro, et al.. (2010). Tighter integration of BDDs and SMT for Predicate Abstraction. Institutional Research Information System (Università degli Studi di Trento). 1254. 1707–1712. 3 indexed citations
19.
Beyer, Dirk, et al.. (2009). Software model checking via large-block encoding. Institutional Research Information System (Università degli Studi di Trento). 25–32. 60 indexed citations
20.
Bruttomesso, Roberto, et al.. (2006). To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ∪ T). 3 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

Breakdown of academic impact, for papers by Enea Zaffanella Breakdown of academic impact, for papers by Karen Yorav Breakdown of academic impact, for papers by Salvatore La Torre Breakdown of academic impact, for papers by Frédéric Lang Breakdown of academic impact, for papers by Farhad Mehta Breakdown of academic impact, for papers by Kedar S. Namjoshi Breakdown of academic impact, for papers by Laurent Voisin Breakdown of academic impact, for papers by Henrik Reif Andersen Breakdown of academic impact, for papers by Shoham Ben-David
Rankless by CCL
2026