Gidon Ernst

19 papers and 126 indexed citations i.

Gidon Ernst has authored 19 papers that have received a total of 126 indexed citations. This includes 17 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 8 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (12 papers), Security and Verification in Computing (9 papers) and Physical Unclonable Functions (PUFs) and Hardware Security (6 papers). Gidon Ernst is often cited by papers focused on Formal Methods in Verification (12 papers), Security and Verification in Computing (9 papers) and Physical Unclonable Functions (PUFs) and Hardware Security (6 papers) and collaborates with scholars based in Germany, Japan and United States. Gidon Ernst's co-authors include Paolo Arcaini, Zhenya Zhang, Georgios Fainekos, Shakiba Yaghoubi and Wolfgang Reif and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Science of Computer Programming and ACM Transactions on Modeling and Computer Simulation