Wolf Kohn

22 papers and 253 indexed citations i.

Wolf Kohn has authored 22 papers that have received a total of 253 indexed citations. This includes 8 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Advanced Optimization Algorithms Research (3 papers), Petri Nets in System Modeling (3 papers) and Formal Methods in Verification (2 papers). Wolf Kohn is often cited by papers focused on Advanced Optimization Algorithms Research (3 papers), Petri Nets in System Modeling (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Germany and The Netherlands. Wolf Kohn's co-authors include Anil Nerode, Zelda B. Zabinsky, Jeffrey B. Remmel, Panos J. Antsaklis and Shankar Sastry and has published in prestigious journals such as Communications of the ACM, IEEE Transactions on Systems Man and Cybernetics Systems and Theoretical Computer Science