Kurt Rohloff

32 papers and 342 indexed citations i.

Kurt Rohloff has authored 32 papers that have received a total of 342 indexed citations. This includes 16 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 13 papers in Computer Networks and Communications. The topics of these papers are Cryptography and Data Security (12 papers), Petri Nets in System Modeling (12 papers) and Formal Methods in Verification (10 papers). Kurt Rohloff is often cited by papers focused on Cryptography and Data Security (12 papers), Petri Nets in System Modeling (12 papers) and Formal Methods in Verification (10 papers) and collaborates with scholars based in United States, Türkiye and China. Kurt Rohloff's co-authors include Yuriy Polyakov, Stéphane Lafortune, Erkay Savaş, David Bruce Cousins and Richard Schantz and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Computers and SIAM Journal on Control and Optimization