Martin Wehrle

790 total citations
34 papers, 404 citations indexed

About

Martin Wehrle is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Martin Wehrle has authored 34 papers receiving a total of 404 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 13 papers in Software. Recurrent topics in Martin Wehrle's work include AI-based Problem Solving and Planning (19 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (13 papers). Martin Wehrle is often cited by papers focused on AI-based Problem Solving and Planning (19 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (13 papers). Martin Wehrle collaborates with scholars based in Switzerland, Germany and United Kingdom. Martin Wehrle's co-authors include Malte Helmert, Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Michael Katz, Robert Mattmüller, Florian Pommerening, Radu Grosu, Goran Frehse and Alexandre Donzé and has published in prestigious journals such as Journal of Artificial Intelligence Research, International Journal on Software Tools for Technology Transfer and edoc (University of Basel).

In The Last Decade

Martin Wehrle

34 papers receiving 383 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Martin Wehrle Switzerland 13 318 97 92 81 41 34 404
Luca Pulina Italy 11 253 0.8× 120 1.2× 58 0.6× 87 1.1× 25 0.6× 53 372
Massimo Benerecetti Italy 9 227 0.7× 128 1.3× 39 0.4× 66 0.8× 43 1.0× 46 330
Alexey Ignatiev Australia 12 368 1.2× 93 1.0× 53 0.6× 55 0.7× 23 0.6× 38 433
Christian Wirth Austria 9 217 0.7× 39 0.4× 58 0.6× 49 0.6× 21 0.5× 23 306
Charles Pecheur Belgium 12 167 0.5× 205 2.1× 147 1.6× 53 0.7× 13 0.3× 41 367
Helen Treharne United Kingdom 11 142 0.4× 94 1.0× 78 0.8× 52 0.6× 33 0.8× 45 269
J. Scott Penberthy United States 5 603 1.9× 70 0.7× 91 1.0× 197 2.4× 48 1.2× 7 660
Falk Howar Germany 10 121 0.4× 85 0.9× 138 1.5× 36 0.4× 16 0.4× 45 260
Marcello M. Bersani Italy 11 136 0.4× 128 1.3× 92 1.0× 82 1.0× 14 0.3× 42 266
Sergiy Bogomolov Germany 11 138 0.4× 119 1.2× 68 0.7× 29 0.4× 38 0.9× 32 287

Countries citing papers authored by Martin Wehrle

Since Specialization
Citations

This map shows the geographic impact of Martin Wehrle's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Martin Wehrle with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Martin Wehrle more than expected).

Fields of papers citing papers by Martin Wehrle

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Martin Wehrle. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Martin Wehrle. The network helps show where Martin Wehrle may publish in the future.

Co-authorship network of co-authors of Martin Wehrle

This figure shows the co-authorship network connecting the top 25 collaborators of Martin Wehrle. A scholar is included among the top collaborators of Martin Wehrle based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Martin Wehrle. Martin Wehrle is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Wehrle, Martin, et al.. (2021). On Weak Stubborn Sets in Classical Planning. edoc (University of Basel). 4167–4174. 2 indexed citations
2.
Pommerening, Florian, et al.. (2021). Improved Pattern Selection for PDB Heuristics in Classical Planning (Extended Abstract). Proceedings of the International Symposium on Combinatorial Search. 6(1). 216–217. 1 indexed citations
3.
Hoffmann, Jörg, et al.. (2019). Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search. Journal of Artificial Intelligence Research. 65. 343–392. 4 indexed citations
4.
Katz, Michael, et al.. (2017). Stubborn Sets for Fully Observable Nondeterministic Planning. Proceedings of the International Conference on Automated Planning and Scheduling. 27. 330–338. 5 indexed citations
5.
Wehrle, Martin, et al.. (2016). Decoupled Strong Stubborn Sets. edoc (University of Basel). 3110–3116. 4 indexed citations
6.
Podelski, Andreas, et al.. (2015). System Testing and Program Verification.. 71–72. 1 indexed citations
7.
Holte, Robert C., et al.. (2015). A Generalization of Sleep Sets Based on Operator Sequence Redundancy. Proceedings of the AAAI Conference on Artificial Intelligence. 29(1). 3 indexed citations
8.
Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, et al.. (2015). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. 18(4). 449–467. 14 indexed citations
9.
Wehrle, Martin, et al.. (2015). Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning. edoc (University of Basel). 1712–1718. 10 indexed citations
10.
Wehrle, Martin, et al.. (2015). Factored Symmetries for Merge-and-Shrink Abstractions. Proceedings of the AAAI Conference on Artificial Intelligence. 29(1). 15 indexed citations
11.
Bogomolov, Sergiy, et al.. (2015). PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. Proceedings of the International Conference on Automated Planning and Scheduling. 25. 42–46. 8 indexed citations
12.
Bogomolov, Sergiy, Daniele Magazzeni, Andreas Podelski, & Martin Wehrle. (2014). Planning as model checking in hybrid domains. National Conference on Artificial Intelligence. 2228–2234. 15 indexed citations
13.
Wehrle, Martin & Malte Helmert. (2014). Efficient Stubborn Sets: Generalized Algorithms and Selection Strategies. Proceedings of the International Conference on Automated Planning and Scheduling. 24. 323–331. 35 indexed citations
14.
Bogomolov, Sergiy, Daniele Magazzeni, Andreas Podelski, & Martin Wehrle. (2014). Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14). 44 indexed citations
15.
Wehrle, Martin, et al.. (2014). Under-Approximation Refinement for Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling. 24. 365–369. 3 indexed citations
16.
Katz, Michael, et al.. (2014). Metis: Arming Fast Downward with Pruning and Incremental Computation. 9 indexed citations
17.
Wehrle, Martin, et al.. (2014). Generalized Label Reduction for Merge-and-Shrink Heuristics. Proceedings of the AAAI Conference on Artificial Intelligence. 28(1). 31 indexed citations
18.
Wehrle, Martin, et al.. (2014). Downward pattern refinement for timed automata. International Journal on Software Tools for Technology Transfer. 18(1). 41–56. 1 indexed citations
19.
Wehrle, Martin, et al.. (2008). Useless actions are useful. International Conference on Automated Planning and Scheduling. 388–395. 1 indexed citations
20.
Wehrle, Martin, et al.. (2007). Professor Untat : was faul ist hinter den Hochschulkulissen. 6 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Luca Pulina Breakdown of academic impact, for papers by Massimo Benerecetti Breakdown of academic impact, for papers by Alexey Ignatiev Breakdown of academic impact, for papers by Christian Wirth Breakdown of academic impact, for papers by Charles Pecheur Breakdown of academic impact, for papers by Helen Treharne Breakdown of academic impact, for papers by J. Scott Penberthy Breakdown of academic impact, for papers by Falk Howar Breakdown of academic impact, for papers by Marcello M. Bersani Breakdown of academic impact, for papers by Sergiy Bogomolov
Rankless by CCL
2026