E. Cerny

41 papers and 335 indexed citations i.

E. Cerny has authored 41 papers that have received a total of 335 indexed citations. This includes 27 papers in Hardware and Architecture, 17 papers in Electrical and Electronic Engineering and 17 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (16 papers), VLSI and Analog Circuit Testing (15 papers) and Embedded Systems Design Techniques (15 papers). E. Cerny is often cited by papers focused on Formal Methods in Verification (16 papers), VLSI and Analog Circuit Testing (15 papers) and Embedded Systems Design Techniques (15 papers) and collaborates with scholars based in Canada, United States and France. E. Cerny's co-authors include Gregor von Bochmann, Bożena Kamińska, J. Gecsei, N.C. Rumin and Zijian Zhou and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Computers and Computers & Mathematics with Applications