Uwe Waldmann
About
Uwe Waldmann has authored 22 papers that have received a total of 143 indexed citations.
This includes 17 papers in Computational Theory and Mathematics, 16 papers in Artificial Intelligence and 3 papers in Geometry and Topology. The topics of these papers are Logic, programming, and type systems (16 papers), Formal Methods in Verification (12 papers) and Logic, Reasoning, and Knowledge (12 papers). Uwe Waldmann is often cited by papers focused on Logic, programming, and type systems (16 papers), Formal Methods in Verification (12 papers) and Logic, Reasoning, and Knowledge (12 papers) and collaborates with scholars based in Germany, France and The Netherlands. Uwe Waldmann's co-authors include Harald Ganzinger, Jasmin Christian Blanchette, Leo Bachmair, Werner Damm and Christoph Scholl and has published in prestigious journals such as Communications of the ACM, Theoretical Computer Science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Abdelmajid Hannoum are published in Top fields papers by Samiha Ayed are about Top fields papers by Xiaojuan Zha are about Top authors papers by Jerome B. Wiesner are co-authored with Top fields papers by William L. Benedict are about Top journals papers by Samuel Gerald Collins are published in Top authors papers by Jane M. Ferguson are co-authored with Top journals papers by Y.P. Viyogi are published in