Richard Rudell

9 papers and 1.6k indexed citations i.

Richard Rudell is a scholar working on Electrical and Electronic Engineering, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Richard Rudell has authored 9 papers receiving a total of 1.6k indexed citations (citations by other indexed papers that have themselves been cited), including 4 papers in Electrical and Electronic Engineering, 3 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. Recurrent topics in Richard Rudell’s work include 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). Richard Rudell collaborates with scholars based in United States, Switzerland and The Netherlands. Richard Rudell's co-authors include Alberto Sangiovanni‐Vincentelli, Robert K. Brayton, Peter A. Santi, R. Jacoby and Gary D. Hachtel and has published in prestigious journals such as Pharmacology Biochemistry and Behavior and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.