Martin Wehrle
About
Martin Wehrle has authored 26 papers that have received a total of 250 indexed citations.
This includes 24 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 11 papers in Software. The topics of these papers are AI-based Problem Solving and Planning (16 papers), Formal Methods in Verification (13 papers) and Logic, Reasoning, and Knowledge (10 papers). Martin Wehrle is often cited by papers focused on AI-based Problem Solving and Planning (16 papers), Formal Methods in Verification (13 papers) and Logic, Reasoning, and Knowledge (10 papers) and collaborates with scholars based in Switzerland, Germany and United Kingdom. Martin Wehrle's co-authors include Malte Helmert, Sergiy Bogomolov, Michael Katz, Andreas Podelski and Daniele Magazzeni and has published in prestigious journals such as Journal of Artificial Intelligence Research and International Journal on Software Tools for Technology Transfer
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Igor Zmijarevic are about Top countries impacted by papers by George Liska Top fields papers by P. Kurtyka are about Top fields papers by Zakia Médiouni are about Top journals papers by B. D. Acharya are published in Top fields papers by Hiroshi Takiguchi are about Top authors papers by Musarrat Ramzan are co-authored with Top journals papers by G. L. Tyler are published in