P. Camurati

1.2k total citations
93 papers, 745 citations indexed

About

P. Camurati is a scholar working on Hardware and Architecture, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, P. Camurati has authored 93 papers receiving a total of 745 indexed citations (citations by other indexed papers that have themselves been cited), including 58 papers in Hardware and Architecture, 50 papers in Computational Theory and Mathematics and 40 papers in Electrical and Electronic Engineering. Recurrent topics in P. Camurati's work include Formal Methods in Verification (50 papers), VLSI and Analog Circuit Testing (46 papers) and Software Testing and Debugging Techniques (22 papers). P. Camurati is often cited by papers focused on Formal Methods in Verification (50 papers), VLSI and Analog Circuit Testing (46 papers) and Software Testing and Debugging Techniques (22 papers). P. Camurati collaborates with scholars based in Italy, France and United States. P. Camurati's co-authors include Gianpiero Cabodi, P. Prinetto, Stefano Quer, M. Sonza Reorda, Antonio Lioy, Luciano Lavagno, Fulvio Corno, Andrea Burri, S. Barbagallo and Sergio Nocco and has published in prestigious journals such as SHILAP Revista de lepidopterología, Computer and Transportation Research Part E Logistics and Transportation Review.

In The Last Decade

P. Camurati

85 papers receiving 713 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
P. Camurati Italy 14 468 365 360 240 132 93 745
Karl S. Brace United States 4 603 1.3× 453 1.2× 583 1.6× 246 1.0× 176 1.3× 6 979
Gianpiero Cabodi Italy 14 246 0.5× 176 0.5× 481 1.3× 336 1.4× 191 1.4× 110 709
Nagisa Ishiura Japan 14 403 0.9× 268 0.7× 422 1.2× 289 1.2× 143 1.1× 53 767
Thomas Kröpf Germany 12 265 0.6× 105 0.3× 337 0.9× 189 0.8× 129 1.0× 77 521
Wolfgang Ecker Germany 15 518 1.1× 272 0.7× 144 0.4× 118 0.5× 89 0.7× 123 704
Pranav Ashar United States 24 914 2.0× 683 1.9× 707 2.0× 402 1.7× 208 1.6× 73 1.4k
Avi Ziv Israel 17 715 1.5× 351 1.0× 313 0.9× 477 2.0× 129 1.0× 67 1.1k
John A. Darringer United States 16 526 1.1× 408 1.1× 185 0.5× 71 0.3× 69 0.5× 28 730
Anastasios Viglas Australia 12 186 0.4× 241 0.7× 244 0.7× 115 0.5× 117 0.9× 30 604
Arne Skou Denmark 14 172 0.4× 73 0.2× 376 1.0× 247 1.0× 167 1.3× 55 620

Countries citing papers authored by P. Camurati

Since Specialization
Citations

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

Fields of papers citing papers by P. Camurati

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of P. Camurati

This figure shows the co-authorship network connecting the top 25 collaborators of P. Camurati. A scholar is included among the top collaborators of P. Camurati 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 P. Camurati. P. Camurati 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.
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
2.
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
3.
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
4.
Cabodi, Gianpiero, et al.. (2008). Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. 1785. 1–8. 8 indexed citations
5.
Camurati, P., Fulvio Corno, P. Prinetto, & M. Sonza Reorda. (2003). A simulation-based approach to test pattern generation for synchronous sequential circuits. 263–267. 2 indexed citations
6.
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
7.
Camurati, P., et al.. (2002). System-level modeling and verification: a comprehensive design methodology. 92. 636–640. 2 indexed citations
8.
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
9.
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
10.
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
11.
Cabodi, Gianpiero, Stefano Quer, & P. Camurati. (1995). Computing subsets of equivalence classes for large FSMs. European Design Automation Conference. 288–293. 1 indexed citations
12.
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
13.
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
14.
Camurati, P., Fulvio Corno, P. Prinetto, & M. Sonza Reorda. (1992). A simulation-based approach to test pattern generation for synchronous circuits. PORTO Publications Open Repository TOrino (Politecnico di Torino). 4 indexed citations
15.
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
16.
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
17.
Camurati, P., Marco Gilli, P. Prinetto, & M. Sonza Reorda. (1991). The Product Machine and Implicit Enumeration to prove FSMs correct. PORTO Publications Open Repository TOrino (Politecnico di Torino). 31(5). 51–62. 1 indexed citations
18.
Camurati, P., Tiziana Margaria, & P. Prinetto. (1991). Resolution-based correctness proofs of synchronous circuits. European Design Automation Conference. 11–15. 2 indexed citations
19.
Camurati, P., Antonio Lioy, P. Prinetto, & M. Sonza Reorda. (1990). Diagnosis oriented test pattern generation. European Design Automation Conference. 470–474. 40 indexed citations
20.
Camurati, P., et al.. (1990). A diagnostic test pattern generation algorithm. 52–58. 84 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 Karl S. Brace Breakdown of academic impact, for papers by Gianpiero Cabodi Breakdown of academic impact, for papers by Nagisa Ishiura Breakdown of academic impact, for papers by Thomas Kröpf Breakdown of academic impact, for papers by Wolfgang Ecker Breakdown of academic impact, for papers by Pranav Ashar Breakdown of academic impact, for papers by Avi Ziv Breakdown of academic impact, for papers by John A. Darringer Breakdown of academic impact, for papers by Anastasios Viglas Breakdown of academic impact, for papers by Arne Skou
Rankless by CCL
2026