Martin Pollet

552 total citations
12 papers, 55 citations indexed

About

Martin Pollet is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Civil and Structural Engineering. According to data from OpenAlex, Martin Pollet has authored 12 papers receiving a total of 55 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 1 paper in Civil and Structural Engineering. Recurrent topics in Martin Pollet's work include Logic, programming, and type systems (6 papers), Logic, Reasoning, and Knowledge (3 papers) and Semantic Web and Ontologies (3 papers). Martin Pollet is often cited by papers focused on Logic, programming, and type systems (6 papers), Logic, Reasoning, and Knowledge (3 papers) and Semantic Web and Ontologies (3 papers). Martin Pollet collaborates with scholars based in Germany and United Kingdom. Martin Pollet's co-authors include Volker Sorge, Christoph Benzmüller, Armin Fiedler, Andreas Meier, Andreas Meier, Manfred Kerber, Erica Melis⋆, Jörg H. Siekmann, Mateja Jamnik and Helmut Horacek and has published in prestigious journals such as Computers & Structures, Journal of Symbolic Computation and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Martin Pollet

9 papers receiving 31 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Martin Pollet Germany	5	47	23	9	6	4	12	55
Jan Leike Australia	4	36 0.8×	15 0.7×	8 0.9×	4 0.7×	2 0.5×	11	44
Christian Sternagel Austria	5	42 0.9×	27 1.2×	6 0.7×	7 1.2×		19	43
Harald Zankl Austria	4	50 1.1×	41 1.8×	8 0.9×	6 1.0×		19	51
Tobias Heindel Germany	4	22 0.5×	20 0.9×	17 1.9×	6 1.0×		11	37
Edmund Clarke United States	3	23 0.5×	27 1.2×	12 1.3×	7 1.2×		3	40
Jacob M. Howe United Kingdom	6	36 0.8×	27 1.2×	10 1.1×	10 1.7×		17	49
Arnaud Sangnier France	4	28 0.6×	34 1.5×	13 1.4×	7 1.2×		18	45
Dav M. Gabbay United Kingdom	6	112 2.4×	45 2.0×	4 0.4×	7 1.2×	2 0.5×	9	115
Maximilian Bolingbroke United Kingdom	3	29 0.6×	20 0.9×	4 0.4×	5 0.8×		6	32
Benjamin Monmege France	5	32 0.7×	40 1.7×	13 1.4×	2 0.3×		12	55

Countries citing papers authored by Martin Pollet

Since Specialization

Citations

This map shows the geographic impact of Martin Pollet'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 Pollet with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Martin Pollet more than expected).

Fields of papers citing papers by Martin Pollet

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Martin Pollet. 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 Pollet. The network helps show where Martin Pollet may publish in the future.

Co-authorship network of co-authors of Martin Pollet

This figure shows the co-authorship network connecting the top 25 collaborators of Martin Pollet. A scholar is included among the top collaborators of Martin Pollet 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 Pollet. Martin Pollet is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

12 of 12 papers shown

1.

Pollet, Martin, et al.. (2025). Fast structural analysis of concrete thin-shells using deep learning. Computers & Structures. 320. 108042–108042.

2.

Pollet, Martin, et al.. (2022). Real Time Modelling of Burden Components Distribution During Hopper Outflow and Burdening Via a Rotating Chute. BHM Berg- und Hüttenmännische Monatshefte. 167(3). 107–113.

3.

Kerber, Manfred & Martin Pollet. (2007). Informal and Formal Representations in Mathematics. 3 indexed citations

4.

Dennis, Louise A., Mateja Jamnik, & Martin Pollet. (2006). On the Comparison of Proof Planning Systems: , Ωmega and IsaPlanner. Electronic Notes in Theoretical Computer Science. 151(1). 93–110. 2 indexed citations

5.

Meier, Andreas, Erica Melis⋆, & Martin Pollet. (2004). Adaptable Mixed-Initiative Proof Planning for Educational Interaction. Electronic Notes in Theoretical Computer Science. 103. 105–120. 3 indexed citations

6.

Jamnik, Mateja, Manfred Kerber, & Martin Pollet. (2002). Automatic learning in proof planning. European Conference on Artificial Intelligence. 282–286. 4 indexed citations

7.

Meier, Andreas, Martin Pollet, & Volker Sorge. (2002). Comparing Approaches to the Exploration of the Domain of Residue Classes. Journal of Symbolic Computation. 34(4). 287–306. 8 indexed citations

8.

Siekmann, Jörg H., Christoph Benzmüller, Armin Fiedler, Andreas Meier, & Martin Pollet. (2002). Proof Development with Omega-MEGA: sqrt(2) Is Irrational. International Conference on Logic Programming. 367–387. 10 indexed citations

9.

Benzmüller, Christoph, Armin Fiedler, Andreas Meier, & Martin Pollet. (2002). Irrationality of square root of 2 -- A case study in OMEGA. 2 indexed citations

10.

Benzmüller, Christoph, Andreas Meier, Erica Melis⋆, Martin Pollet, & Volker Sorge. (2001). Proof Planning: A Fresh Start?. 3 indexed citations

11.

Benzmüller, Christoph, Armin Fiedler, Andreas Franke, et al.. (2000). Adaptive Course Generation and Presentation. 5 indexed citations

12.

Hess, Stephan, Christoph Benzmüller, Armin Fiedler, et al.. (1999). LΩUI: Lovely ΩMEGA User Interface. Formal Aspects of Computing. 11(3). 326–342. 15 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