Gianpiero Cabodi

1.2k total citations
110 papers, 709 citations indexed

About

Gianpiero Cabodi is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Gianpiero Cabodi has authored 110 papers receiving a total of 709 indexed citations (citations by other indexed papers that have themselves been cited), including 69 papers in Computational Theory and Mathematics, 51 papers in Hardware and Architecture and 50 papers in Software. Recurrent topics in Gianpiero Cabodi's work include Formal Methods in Verification (69 papers), Software Testing and Debugging Techniques (39 papers) and VLSI and Analog Circuit Testing (34 papers). Gianpiero Cabodi is often cited by papers focused on Formal Methods in Verification (69 papers), Software Testing and Debugging Techniques (39 papers) and VLSI and Analog Circuit Testing (34 papers). Gianpiero Cabodi collaborates with scholars based in Italy, United States and France. Gianpiero Cabodi's co-authors include Stefano Quer, P. Camurati, Sergio Nocco, Luciano Lavagno, Syed Tahir Hussain Rizvi, M. Sonza Reorda, Shan Gai, P. Prinetto, Edoardo Fadda and Daniele Manerba and has published in prestigious journals such as SHILAP Revista de lepidopterología, Applied Sciences and Transportation Research Part E Logistics and Transportation Review.

In The Last Decade

Gianpiero Cabodi

98 papers receiving 678 citations

Peers

Gianpiero Cabodi

CTM

SOFTW

EEE

Olivier Coudert United States

P. Camurati Italy

Arne Skou Denmark

Stefan Leue Germany

Abhishek Udupa India

Bent Thomsen Denmark

Khaled El‐Fakih United Arab Emirates

Béatrice Bérard France

Anastasios Viglas Australia

Augusto Sampaio Brazil

Olivier Coudert United States

Gianpiero Cabodi

591 ×1.2

CTM

346 ×1.0

SOFTW

444 ×1.8

307 ×1.6

460 ×2.6

EEE

Citations per year, relative to Gianpiero Cabodi Gianpiero Cabodi (= 1×) peers Olivier Coudert

Countries citing papers authored by Gianpiero Cabodi

Since Specialization

Citations

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

Fields of papers citing papers by Gianpiero Cabodi

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Gianpiero Cabodi

This figure shows the co-authorship network connecting the top 25 collaborators of Gianpiero Cabodi. A scholar is included among the top collaborators of Gianpiero Cabodi 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 Gianpiero Cabodi. Gianpiero Cabodi 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

Cabodi, Gianpiero, et al.. (2021). Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. HAL (Le Centre pour la Communication Scientifique Directe). 1122–1125. 6 indexed citations

Sterpone, Luca, et al.. (2016). Scalable FPGA graph model to detect routing faults. 2. 155–160. 1 indexed citations

Cabodi, Gianpiero, et al.. (2016). Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks. 9(1). 135–172. 7 indexed citations

Cabodi, Gianpiero, et al.. (2015). Accurate and Efficient Visual Search on Embedded Systems. 61–66. 2 indexed citations

Cabodi, Gianpiero, et al.. (2013). Optimization techniques for craig interpolant compaction in unbounded model checking. Design, Automation, and Test in Europe. 46. 1417–1422. 2 indexed citations

Cabodi, Gianpiero, Sergio Nocco, & Stefano Quer. (2013). Thread-based multi-engine model checking for multicore platforms. ACM Transactions on Design Automation of Electronic Systems. 18(3). 1–28. 2 indexed citations

Cabodi, Gianpiero, et al.. (2009). Speeding up model checking by exploiting explicit and hidden verification constraints. Design, Automation, and Test in Europe. 1686–1691. 10 indexed citations

Cabodi, Gianpiero, et al.. (2008). Automated abstraction by incremental refinement in interpolant-based model checking. International Conference on Computer Aided Design. 129–136. 6 indexed citations

Cabodi, Gianpiero, et al.. (2008). Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. 1785. 1–8. 8 indexed citations

10.

Cabodi, Gianpiero, Sergio Nocco, & Stefano Quer. (2007). Boosting the role of inductive invariants in model checking. Design, Automation, and Test in Europe. 1319–1324. 4 indexed citations

11.

Cabodi, Gianpiero, Sergio Nocco, & Stefano Quer. (2003). Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. Design, Automation, and Test in Europe. 10. 10898–10905. 27 indexed citations

12.

Cabodi, Gianpiero, P. Camurati, & Stefano Quer. (2002). Dynamic Scheduling and Clustering in Symbolic Image Computation. Design, Automation, and Test in Europe. 150–156. 1 indexed citations

13.

Cabodi, Gianpiero, P. Camurati, & Stefano Quer. (2001). Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring. Journal of Systems Architecture. 47(2). 163–179. 1 indexed citations

14.

Quer, Stefano, Gianpiero Cabodi, & P. Camurati. (1996). Decomposed symbolic forward traversals of large finite state machines. European Design Automation Conference. 170–175. 3 indexed citations

15.

Cabodi, Gianpiero, P. Camurati, & Stefano Quer. (1996). Improved reachability analysis of large finite state machines. International Conference on Computer Aided Design. 354–360. 38 indexed citations

16.

Cabodi, Gianpiero, Stefano Quer, & P. Camurati. (1995). Computing subsets of equivalence classes for large FSMs. European Design Automation Conference. 288–293. 1 indexed citations

17.

Cabodi, Gianpiero, P. Camurati, & Stefano Quer. (1994). Symbolic exploration of large circuits with enhanced forward/backward traversals. European Design Automation Conference. 22–27. 16 indexed citations

18.

Cabodi, Gianpiero, P. Camurati, & Stefano Quer. (1993). Boolean Function Decomposition in Symbolic FSM Traversal. PORTO Publications Open Repository TOrino (Politecnico di Torino). 3. 265–268. 3 indexed citations

19.

Cabodi, Gianpiero, P. Camurati, Fulvio Corno, P. Prinetto, & M. Sonza Reorda. (1992). Cross-fertilizing FSM verification techniques and sequential diagnosis. European Design Automation Conference. 306–311. 1 indexed citations

20.

Cabodi, Gianpiero, P. Camurati, Fulvio Corno, et al.. (1992). A new model for improving symbolic product machine traversal. Design Automation Conference. 614–619. 15 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