Norbert Manthey

554 total citations
14 papers, 54 citations indexed

About

Norbert Manthey is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Norbert Manthey has authored 14 papers receiving a total of 54 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. Recurrent topics in Norbert Manthey's work include Formal Methods in Verification (7 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (3 papers). Norbert Manthey is often cited by papers focused on Formal Methods in Verification (7 papers), Logic, programming, and type systems (4 papers) and Logic, Reasoning, and Knowledge (3 papers). Norbert Manthey collaborates with scholars based in Germany, Italy and Austria. Norbert Manthey's co-authors include Sarah Alice Gaggl, Julian Stecklina, Johannes Wallner, Stefan Woltran, Steffen Hölldobler, Ari Saptawijaya, Sebastian Rudolph, Rafael Peñaloza, Byron Cook and Davide Lanti and has published in prestigious journals such as Theory and Practice of Logic Programming, KI - Künstliche Intelligenz and View.

In The Last Decade

Norbert Manthey

11 papers receiving 51 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Norbert Manthey Germany 5 40 20 20 7 7 14 54
Mate Soos Singapore 4 57 1.4× 20 1.0× 24 1.2× 9 1.3× 13 1.9× 7 69
Vitaly Lagoon Australia 5 52 1.3× 35 1.8× 37 1.9× 8 1.1× 12 1.7× 9 65
Friedrich Slivovsky Austria 6 39 1.0× 23 1.1× 48 2.4× 3 0.4× 6 0.9× 15 72
Larissa Meinicke Australia 4 29 0.7× 10 0.5× 24 1.2× 4 0.6× 6 0.9× 11 41
Liana Hadarean United States 4 35 0.9× 9 0.5× 21 1.1× 7 1.0× 15 2.1× 8 52
Jacob M. Howe United Kingdom 6 36 0.9× 10 0.5× 27 1.4× 10 1.4× 10 1.4× 17 49
Diego Figueira France 6 65 1.6× 17 0.8× 48 2.4× 6 0.9× 9 1.3× 19 78
Daniel Hirschkoff France 5 60 1.5× 25 1.3× 47 2.4× 2 0.3× 4 0.6× 18 70
Romain Demangeon France 3 36 0.9× 16 0.8× 34 1.7× 2 0.3× 5 0.7× 3 47
David Nowak Japan 5 55 1.4× 7 0.3× 44 2.2× 5 0.7× 7 1.0× 11 68

Countries citing papers authored by Norbert Manthey

Since Specialization
Citations

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

Fields of papers citing papers by Norbert Manthey

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Norbert Manthey

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

All Works

14 of 14 papers shown
1.
Cook, Byron, et al.. (2020). Using model checking tools to triage the severity of security bugs in the Xen hypervisor. Queen Mary Research Online (Queen Mary University of London). 185–193. 2 indexed citations
2.
Manthey, Norbert, Rafael Peñaloza, & Sebastian Rudolph. (2020). SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. KI - Künstliche Intelligenz. 34(3). 389–394.
3.
Manthey, Norbert, et al.. (2019). Checking Unsatisfiability Proofs in Parallel. EPiC series in computing. 59. 34–17.
4.
Hölldobler, Steffen, et al.. (2018). Generic CDCL -- A Formalization of Modern Propositional Satisfiability Solvers. EPiC series in computing. 27. 89–74. 1 indexed citations
5.
Manthey, Norbert & Ari Saptawijaya. (2018). Towards Improving the Resource Usage of SAT-solvers. EPiC series in computing. 8. 28–14. 1 indexed citations
6.
Heule, Marijn J. H., et al.. (2018). Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. EPiC series in computing. 27. 12. 1 indexed citations
7.
Manthey, Norbert, et al.. (2018). Modern Cooperative Parallel SAT Solving. EPiC series in computing. 29. 41–26.
8.
Manthey, Norbert, et al.. (2018). New CNF Features and Formula Classification. EPiC series in computing. 27. 57–41. 5 indexed citations
9.
Manthey, Norbert, Rafael Peñaloza, & Sebastian Rudolph. (2016). Efficient Axiom Pinpointing in EL using SAT Technology.. View. 4 indexed citations
10.
Gaggl, Sarah Alice, et al.. (2015). Improved answer-set programming encodings for abstract argumentation. Theory and Practice of Logic Programming. 15(4-5). 434–448. 16 indexed citations
11.
Gaggl, Sarah Alice & Norbert Manthey. (2015). ASPARTIX-D: ASP Argumentation Reasoning Tool - Dresden. 1 indexed citations
12.
Manthey, Norbert. (2015). Towards Next Generation Sequential and Parallel SAT Solvers. KI - Künstliche Intelligenz. 30(3-4). 339–342. 2 indexed citations
13.
Manthey, Norbert. (2012). Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation).. 436–441. 8 indexed citations
14.
Hölldobler, Steffen, et al.. (2011). A short overview on modern parallel SAT-solvers. 201–206. 13 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 Mate Soos Breakdown of academic impact, for papers by Vitaly Lagoon Breakdown of academic impact, for papers by Friedrich Slivovsky Breakdown of academic impact, for papers by Larissa Meinicke Breakdown of academic impact, for papers by Liana Hadarean Breakdown of academic impact, for papers by Jacob M. Howe Breakdown of academic impact, for papers by Diego Figueira Breakdown of academic impact, for papers by Daniel Hirschkoff Breakdown of academic impact, for papers by Romain Demangeon Breakdown of academic impact, for papers by David Nowak
Rankless by CCL
2026