Manfred Kerber

846 total citations
48 papers, 166 citations indexed

About

Manfred Kerber is a scholar working on Artificial Intelligence, Management Science and Operations Research and Economics and Econometrics. According to data from OpenAlex, Manfred Kerber has authored 48 papers receiving a total of 166 indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Artificial Intelligence, 10 papers in Management Science and Operations Research and 10 papers in Economics and Econometrics. Recurrent topics in Manfred Kerber's work include Logic, Reasoning, and Knowledge (16 papers), Logic, programming, and type systems (13 papers) and Semantic Web and Ontologies (11 papers). Manfred Kerber is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Logic, programming, and type systems (13 papers) and Semantic Web and Ontologies (11 papers). Manfred Kerber collaborates with scholars based in United Kingdom, Germany and Denmark. Manfred Kerber's co-authors include Michael Kohlhase, Volker Sorge, Mateja Jamnik, Christoph Benzmüller, Florian Kammüller, Tim Kovacs, Martin Pollet, Christoph Lange, Erica Melis⋆ and Christian W. Probst and has published in prestigious journals such as Evolutionary Computation, International Journal of Game Theory and Mathematical Social Sciences.

In The Last Decade

Manfred Kerber

41 papers receiving 140 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Manfred Kerber United Kingdom	8	116	48	27	26	19	48	166
Philippe Codognet France	6	95 0.8×	52 1.1×	58 2.1×	8 0.3×	7 0.4×	26	143
Nils Bulling Germany	11	232 2.0×	129 2.7×	23 0.9×	27 1.0×	8 0.4×	34	258
Salvador Abreu Portugal	7	97 0.8×	16 0.3×	57 2.1×	6 0.2×	9 0.5×	34	142
Yaron Velner Israel	5	39 0.3×	39 0.8×	29 1.1×	8 0.3×	4 0.2×	11	105
Eric Balkanski United States	8	94 0.8×	85 1.8×	61 2.3×	48 1.8×	15 0.8×	26	165
Kedian Mu China	10	184 1.6×	55 1.1×	26 1.0×	13 0.5×	3 0.2×	25	204
Silvia Crafà Italy	7	100 0.9×	41 0.9×	72 2.7×	6 0.2×	5 0.3×	27	144
Andrey Kolobov United States	4	88 0.8×	23 0.5×	21 0.8×	18 0.7×	2 0.1×	6	105
Paulo A. S. Veloso Brazil	7	131 1.1×	88 1.8×	42 1.6×	7 0.3×	2 0.1×	51	166
Haodi Feng China	8	89 0.8×	37 0.8×	51 1.9×	12 0.5×	27 1.4×	20	200

Countries citing papers authored by Manfred Kerber

Since Specialization

Citations

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

Fields of papers citing papers by Manfred Kerber

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Manfred Kerber

This figure shows the co-authorship network connecting the top 25 collaborators of Manfred Kerber. A scholar is included among the top collaborators of Manfred Kerber 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 Manfred Kerber. Manfred Kerber 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:

20 of 20 papers shown

Kammüller, Florian & Manfred Kerber. (2021). Applying the Isabelle insider framework to airplane security. Middlesex University Research Repository (Middlesex University Of London).

Kerber, Manfred, et al.. (2019). Using formal verification to develop higher assurance, more maintainable financial software. Journal of risk management in financial institutions. 13(1). 35–35. 1 indexed citations

Kerber, Manfred, et al.. (2017). Insider threats for auctions: formalization, mechanized proof, and code generation. Middlesex University Research Repository (Middlesex University Of London). 2 indexed citations

Kerber, Manfred, et al.. (2015). VCG - Combinatorial Vickrey-Clarke-Groves Auctions. Lancaster EPrints (Lancaster University). 2015. 1–134. 1 indexed citations

Kerber, Manfred, et al.. (2015). Sound Auction Specification and Implementation. Fraunhofer-Publica (Fraunhofer-Gesellschaft). 547–564. 4 indexed citations

Kerber, Manfred, et al.. (2009). A Ramsey Bound on Stable Sets in Jordan Pillage Games. SSRN Electronic Journal. 2 indexed citations

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

Benzmüller, Christoph, Volker Sorge, Mateja Jamnik, & Manfred Kerber. (2007). Combined reasoning by automated cooperation. Journal of Applied Logic. 6(3). 318–342. 15 indexed citations

Kovacs, Tim & Manfred Kerber. (2006). A Study of Structural and Parametric Learning in XCS. Evolutionary Computation. 14(1). 1–19. 7 indexed citations

10.

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

11.

Jamnik, Mateja, et al.. (2001). Learning Method Outlines in Proof Planning. OpenGrey (Institut de l'Information Scientifique et Technique). 2 indexed citations

12.

Kerber, Manfred & Michael Kohlhase. (2001). Symbolic computation and automated reasoning. 7 indexed citations

13.

Jamnik, Mateja, Manfred Kerber, & Christoph Benzmüller. (2001). Towards learning new methods in proof planning. OpenGrey (Institut de l'Information Scientifique et Technique). 142–158. 3 indexed citations

14.

Kovacs, Tim, et al.. (2000). Proceedings of the Third International Workshop on Learning Classifier Systems (IWLCS-2000), in the Joint Workshops of SAB 2000 and PPSN 2000. 2 indexed citations

15.

Kerber, Manfred, Michael Kohlhase, & Volker Sorge. (1999). An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs. OpenGrey (Institut de l'Information Scientifique et Technique). 1 indexed citations

16.

Benzmüller, Christoph, Mateja Jamnik, Manfred Kerber, & Volker Sorge. (1999). Agent Based Mathematical Reasoning. Electronic Notes in Theoretical Computer Science. 23(3). 340–351. 2 indexed citations

17.

Kerber, Manfred, Michael Kohlhase, & Volker Sorge. (1998). Integrating Computer Algebra into Proof Planning. Journal of Automated Reasoning. 21(3). 327–355. 23 indexed citations

18.

Kerber, Manfred & Michael Kohlhase. (1996). A Resolution Calculus for Presuppositions. OpenGrey (Institut de l'Information Scientifique et Technique). 375–379. 1 indexed citations

19.

Kerber, Manfred. (1994). On the translation of higher-order problems into first-order logic. European Conference on Artificial Intelligence. 149(1). 145–149. 1 indexed citations

20.

Kerber, Manfred, et al.. (1993). Reasoning with Assertions and Examples. Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology). 1 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