Richard Rudell

9 papers and 1.6k indexed citations i.

About

Richard Rudell has authored 9 papers that have received a total of 1.6k indexed citations. This includes 4 papers in Electrical and Electronic Engineering, 3 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (3 papers), VLSI and FPGA Design Techniques (3 papers) and Low-power high-performance VLSI design (3 papers). Richard Rudell is often cited by papers focused on Formal Methods in Verification (3 papers), VLSI and FPGA Design Techniques (3 papers) and Low-power high-performance VLSI design (3 papers) and collaborates with scholars based in United States, Switzerland and The Netherlands. Richard Rudell's co-authors include Alberto Sangiovanni‐Vincentelli, Robert K. Brayton, Gary D. Hachtel, R. Jacoby and Karl S. Brace and has published in prestigious journals such as Pharmacology Biochemistry and Behavior and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

In The Last Decade

Rankless by CCL
2025