| 2026 | ETS | Fast Circuit Analysis via Neighborhood-Guided Maximum Common Subgraph. | Paolo Bernardi, Lorenzo Cardone, Stefano Quer |
| 2026 | ICSoft | Beyond the Black Box: Neuro-Symbolic Integration for Interpretable Video-Based Reinforcement Learning. | Lorenzo Cardone, Giorgia Ghisolfo, Giorgio Mongardi, Stefano Quer, Giovanni Squillero |
| 2026 | ICSoft | Cooperative Multi-Heuristic Parallelization for the Maximum Common Induced Subgraph Problem. | Lorenzo Cardone, Stefano Quer |
| 2024 | DATE | VeriBug: An Attention-Based Framework for Bug Localization in Hardware Designs. | Giuseppe Stracquadanio, Sourav Medya, Stefano Quer, Debjit Pal |
| 2024 | GECCO | Towards an Evolutionary Approach for Exploting Core Knowledge in Artificial Intelligence. | Andrea Calabrese, Stefano Quer, Giovanni Squillero, Alberto Tonda |
| 2024 | ICSoft | Efficiently Computing Maximum Clique of Sparse Graphs with Many-Core Graphical Processing Units. | Lorenzo Cardone, Salvatore Di Martino, Stefano Quer |
| 2023 | ICSoft | A Web Scraping Algorithm to Improve the Computation of the Maximum Common Subgraph. | Andrea Calabrese, Lorenzo Cardone, Salvatore Licata, Marco Porro, Stefano Quer |
| 2022 | ITC | An innovative Strategy to Quickly Grade Functional Test Programs. | Francesco Angione, Paolo Bernardi, Andrea Calabrese, Lorenzo Cardone, A. Niccoletti, Davide Piumatti, Stefano Quer, Davide Appello, Vincenzo Tancorre, Roberto Ugioli |
| 2021 | DDECS | Accelerated Analysis of Simulation Dumps through Parallelization on Multicore Architectures. | Davide Appello, Paolo Bernardi, Andrea Calabrese, Stefano Littardi, Giorgio Pollaccia, Stefano Quer, Vincenzo Tancorre, Roberto Ugioli |
| 2021 | ICSoft | Smart Techniques for Flying-probe Testing. | Andrea Calabrese, Stefano Quer, Giovanni Squillero |
| 2020 | ICSoft | A Parallel Many-core CUDA-based Graph Labeling Computation. | Stefano Quer |
| 2019 | ICSoft | Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors. | Tatsuya Harada, Antonio Tejero-de-Pablos, Stefano Quer, Francesco Savarese |
| 2019 | ICSoft | Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots. | Francesco Savarese, Antonio Tejero-de-Pablos, Stefano Quer, Tatsuya Harada |
| 2016 | CPM | A 7/2-Approximation Algorithm for the Maximum Duo-Preservation String Mapping Problem. | Nicolas Boria, Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Stefano Quer |
| 2014 | DATE | Tightening BDD-based approximate reachability with SAT-based clause generalization | Gianpiero Cabodi, Paolo Pasini, Stefano Quer, Danilo Vendraminetto |
| 2013 | DATE | Fast cone-of-influence computation and estimation in problems with multiple properties. | Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Stefano Ricossa, Danilo Vendraminetto, Jason Baumgartner |
| 2011 | DATE | Interpolation sequences revisited. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2009 | DATE | Speeding up model checking by exploiting explicit and hidden verification constraints. | Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer |
| 2008 | FMCAD | Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking. | Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer |
| 2007 | DATE | Boosting the role of inductive invariants in model checking. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2006 | ICCAD | Stepping forward with interpolants in unbounded model checking. | Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer |
| 2005 | DATE | Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. | Gianpiero Cabodi, Marco Crivellari, Sergio Nocco, Stefano Quer |
| 2003 | DATE | Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2002 | CAV | Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification. | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
| 2002 | DAC | Can BDDs compete with SAT solvers on bounded model checking? | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 2002 | DATE | Dynamic Scheduling and Clustering in Symbolic Image Computation. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 2001 | DATE | Biasing symbolic search by means of dynamic activity profiles. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 2000 | DAC | Optimizing sequential verification by retiming transformations. | Gianpiero Cabodi, Stefano Quer, Fabio Somenzi |
| 1999 | DAC | Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits. | Valeria Bertacco, Maurizio Damiani, Stefano Quer |
| 1999 | DAC | Improving Symbolic Traversals by Means of Activity Profiles. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1999 | DATE | Computing Timed Transition Relations for Sequential Cycle-Based Simulation. | Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer |
| 1997 | DAC | Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
| 1997 | DATE | Verification and synthesis of counters based on symbolic techniques. | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
| 1997 | ISLPED | System-level power optimization of special purpose applications: the beach solution. | Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer |
| 1996 | ICCAD | Improved reachability analysis of large finite state machines. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1996 | ICCD | Enhancing FSM Traversal by Temporary Re-Encoding. | Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich |
| 1994 | DAC | Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | ICCD | Efficient State Space Pruning in Symbolic Backward Traversal. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | ISCAS | Detecting hard faults with combined approximate forward/backward symbolic techniques. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |
| 1994 | ITC | Full-Symbolic ATPG for Large Circuits. | Gianpiero Cabodi, Paolo Camurati, Stefano Quer |