Stefano Quer

1.3k total citations
100 papers, 839 citations indexed

About

Stefano Quer is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Software. According to data from OpenAlex, Stefano Quer has authored 100 papers receiving a total of 839 indexed citations (citations by other indexed papers that have themselves been cited), including 57 papers in Computational Theory and Mathematics, 40 papers in Hardware and Architecture and 39 papers in Software. Recurrent topics in Stefano Quer's work include Formal Methods in Verification (54 papers), Software Testing and Debugging Techniques (32 papers) and VLSI and Analog Circuit Testing (26 papers). Stefano Quer is often cited by papers focused on Formal Methods in Verification (54 papers), Software Testing and Debugging Techniques (32 papers) and VLSI and Analog Circuit Testing (26 papers). Stefano Quer collaborates with scholars based in Italy, United States and Austria. Stefano Quer's co-authors include Gianpiero Cabodi, P. Camurati, Sergio Nocco, Massimo Poncino, Enrico Macii, Giovanni De Micheli, Luca Benini, Luciano Lavagno, Edoardo Patti and Lorenzo Bottaccioli and has published in prestigious journals such as IEEE Access, Sensors and IEEE Transactions on Vehicular Technology.

In The Last Decade

Stefano Quer

86 papers receiving 797 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Stefano Quer Italy 15 413 340 300 288 153 100 839
Gianpiero Cabodi Italy 14 481 1.2× 176 0.5× 246 0.8× 336 1.2× 191 1.2× 110 709
Martin Fränzle Germany 15 499 1.2× 155 0.5× 159 0.5× 236 0.8× 209 1.4× 98 1.0k
Anastasios Viglas Australia 12 244 0.6× 241 0.7× 186 0.6× 115 0.4× 117 0.8× 30 604
Iain Bate United Kingdom 21 283 0.7× 128 0.4× 807 2.7× 148 0.5× 138 0.9× 142 1.3k
Jan Olaf Blech Australia 12 165 0.4× 66 0.2× 133 0.4× 76 0.3× 167 1.1× 79 595
Sadegh Soudjani United Kingdom 16 510 1.2× 209 0.6× 76 0.3× 172 0.6× 194 1.3× 84 881
Stefan Leue Germany 15 415 1.0× 52 0.2× 71 0.2× 397 1.4× 263 1.7× 70 727
Anders P. Ravn Denmark 15 673 1.6× 44 0.1× 420 1.4× 367 1.3× 468 3.1× 89 1.3k

Countries citing papers authored by Stefano Quer

Since Specialization
Citations

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

Fields of papers citing papers by Stefano Quer

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Stefano Quer

This figure shows the co-authorship network connecting the top 25 collaborators of Stefano Quer. A scholar is included among the top collaborators of Stefano Quer 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 Stefano Quer. Stefano Quer 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.
Quer, Stefano, et al.. (2025). Flying-Probe Testing: A Trajectory Planner and a Benchmark Suite. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44(12). 4807–4817.
2.
3.
Quer, Stefano, et al.. (2024). Improving Data Quality of Low-Cost Light-Scattering PM Sensors: Toward Automatic Air Quality Monitoring in Urban Environments. IEEE Internet of Things Journal. 11(17). 28409–28420. 1 indexed citations
4.
5.
6.
Bottaccioli, Lorenzo, et al.. (2023). A Framework for Economic and Environmental Benefit Through Renewable Energy Community. IEEE Systems Journal. 1–10. 7 indexed citations
7.
Bernardi, Paolo, et al.. (2022). An innovative Strategy to Quickly Grade Functional Test Programs. 355–364. 7 indexed citations
8.
9.
Chen, Yukai, Sara Vinco, Donkyu Baek, et al.. (2020). Cost-Aware Design and Simulation of Electrical Energy Systems. Energies. 13(11). 2949–2949. 4 indexed citations
10.
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
11.
Nocco, Sergio, et al.. (2008). Strengthening Model Checking Techniques With Inductive Invariants. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 28(1). 154–158. 11 indexed citations
12.
Nocco, Sergio & Stefano Quer. (2008). A Probabilistic and Approximated Approach to Circuit-Based Formal Verification. 5(1-4). 111–132. 2 indexed citations
13.
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
14.
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
15.
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
16.
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
17.
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
18.
Cabodi, Gianpiero, Stefano Quer, & P. Camurati. (1995). Computing subsets of equivalence classes for large FSMs. European Design Automation Conference. 288–293. 1 indexed citations
19.
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
20.
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

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 Gianpiero Cabodi Breakdown of academic impact, for papers by Martin Fränzle Breakdown of academic impact, for papers by Anastasios Viglas Breakdown of academic impact, for papers by Iain Bate Breakdown of academic impact, for papers by Jan Olaf Blech Breakdown of academic impact, for papers by Sadegh Soudjani Breakdown of academic impact, for papers by Stefan Leue Breakdown of academic impact, for papers by Anders P. Ravn
Rankless by CCL
2026