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 fields papers by R. Ribeiro are about Top journals papers by E.L. Ruden are published in Top journals papers by M. R. Fenske are published in Top countries impacted by papers by Ignacio Álvarez Top fields papers by Puneet Mathur are about Top countries impacted by papers by Reiner Schürmann Top journals papers by Sergio Tessaris are published in Top journals papers by Alexander Burstein are published in