Wolf Zimmermann
About
Wolf Zimmermann has authored 16 papers that have received a total of 60 indexed citations.
This includes 8 papers in Artificial Intelligence, 6 papers in Computer Networks and Communications and 5 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (5 papers), Parallel Computing and Optimization Techniques (5 papers) and Logic, programming, and type systems (4 papers). Wolf Zimmermann is often cited by papers focused on Formal Methods in Verification (5 papers), Parallel Computing and Optimization Techniques (5 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Germany, Italy and Cyprus. Wolf Zimmermann's co-authors include Welf Löwe, R. Neumann, Arne Frick, George Α. Papadopoulos and Gerhard Goos and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Ron Sass are co-authored with Top journals papers by Christophe Petit are published in Top fields papers by R. Piandani are about Top countries impacted by papers by Tiziano Piccardi Top authors papers by Graham Zanker are co-authored with Top journals papers by Dietrich Harth are published in Top journals papers by Allen P. Britton are published in Top authors papers by Deping Wu are co-authored with