Concepedia

Stefano Quer

SQ

Statistics

Publications

35

Citations

1.1K

H-Index

19

Active since

1994

Affiliations

Polytechnic University of Turin(Current)

University of Udine

Stanford University

Stefano Quer is an author at Polytechnic University of Turin specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationAutomated ReasoningVerificationProgram AnalysisComputational ComplexitySoftware Analysis

Publications per year

1994–2022

35

Publications

35

A Smart Meter Infrastructure for Smart Grid IoT Applications

Matteo Orlando, Abouzar Estebsari, Enrico Pons et al. · IEEE Internet of Things Journal · 2021 · 132 citations · Full text

Power optimization of core-based systems by address bus encoding

Luca Benini, Giovanni De Micheli, Enrico Macii et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1998 · 106 citations

Hardware Security, Bus Transition Activity, Power-aware Computing +15

System-level power optimization of special purpose applications

Luca Benini, Giovanni De Micheli, Enrico Macii et al. · 1997 · 84 citations

Engineering, Energy Efficiency, Power Optimization (Eda) +20

Disjunctive partitioning and partial iterative squaring

Gianpiero Cabodi, P. Camurati, Luciano Lavagno et al. · 1997 · 63 citations · Full text

Mathematical Programming, Circuit Complexity, Engineering +22

Improved reachability analysis of large finite state machines

Gianpiero Cabodi, P. Camurati, Stefano Quer · International Conference on Computer Aided Design · 1996 · 58 citations

Circuit Complexity, Bdd-based Symbolic Traversals, Engineering +22

1–5 of 35