Paul Molitor

28 papers and 162 indexed citations i.

Paul Molitor has authored 28 papers that have received a total of 162 indexed citations. This includes 11 papers in Electrical and Electronic Engineering, 11 papers in Computational Theory and Mathematics and 11 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (8 papers), VLSI and Analog Circuit Testing (8 papers) and Low-power high-performance VLSI design (6 papers). Paul Molitor is often cited by papers focused on Formal Methods in Verification (8 papers), VLSI and Analog Circuit Testing (8 papers) and Low-power high-performance VLSI design (6 papers) and collaborates with scholars based in Germany, United States and Sweden. Paul Molitor's co-authors include Gerold Jäger, Bernd Becker, Sharad Malik, Rolf Drechsler and Ivo Große and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Discrete Applied Mathematics