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 Ellen Storey Vasu are published in Top fields papers by Véronique Mottier are about Top journals papers by Rajshree Ghosh Biswas are published in Top journals papers by Fotis Jannidis are published in Top journals papers by Éric Weil are published in Top fields papers by Haoji Zhang are about Top fields papers by Luis Alonso are about Top authors papers by Christopher Connery are co-authored with