Heinz Riener

26 papers and 161 indexed citations i.

Heinz Riener has authored 26 papers that have received a total of 161 indexed citations. This includes 16 papers in Computational Theory and Mathematics, 11 papers in Electrical and Electronic Engineering and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Software Testing and Debugging Techniques (6 papers) and Quantum Computing Algorithms and Architecture (5 papers). Heinz Riener is often cited by papers focused on Formal Methods in Verification (13 papers), Software Testing and Debugging Techniques (6 papers) and Quantum Computing Algorithms and Architecture (5 papers) and collaborates with scholars based in Switzerland, Germany and United States. Heinz Riener's co-authors include Giovanni De Micheli, Mathias Soeken, Alan Mishchenko, Görschwin Fey and Eleonora Testa and has published in prestigious journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and International Journal on Software Tools for Technology Transfer