Martin Mundhenk

26 papers and 228 indexed citations i.

Martin Mundhenk has authored 26 papers that have received a total of 228 indexed citations. This includes 24 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 3 papers in Management Science and Operations Research. The topics of these papers are Logic, Reasoning, and Knowledge (15 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (15 papers). Martin Mundhenk is often cited by papers focused on Logic, Reasoning, and Knowledge (15 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (15 papers) and collaborates with scholars based in Germany, United Kingdom and United States. Martin Mundhenk's co-authors include Judy Goldsmith, Michael E. Thomas, Arne Meier, Thomas Schneider and Heribert Vollmer and has published in prestigious journals such as Journal of the ACM, Mathematics of Operations Research and Theoretical Computer Science