O. Roig

15 papers and 127 indexed citations i.

O. Roig has authored 15 papers that have received a total of 127 indexed citations. This includes 7 papers in Computational Theory and Mathematics, 6 papers in Hardware and Architecture and 4 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (6 papers), Low-power high-performance VLSI design (4 papers) and VLSI and Analog Circuit Testing (4 papers). O. Roig is often cited by papers focused on Formal Methods in Verification (6 papers), Low-power high-performance VLSI design (4 papers) and VLSI and Analog Circuit Testing (4 papers) and collaborates with scholars based in Spain, Japan and United Kingdom. O. Roig's co-authors include Jordi Cortadella, Enric Pastor, A. Kondratyev, G. Boutoux and Michael Kishinevsky and has published in prestigious journals such as Energy and Buildings, IEEE Transactions on Computers and Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment