Lutz Schröder

2.4k total citations
87 papers, 723 citations indexed

About

Lutz Schröder is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Mathematical Physics. According to data from OpenAlex, Lutz Schröder has authored 87 papers receiving a total of 723 indexed citations (citations by other indexed papers that have themselves been cited), including 73 papers in Artificial Intelligence, 55 papers in Computational Theory and Mathematics and 7 papers in Mathematical Physics. Recurrent topics in Lutz Schröder's work include Logic, Reasoning, and Knowledge (58 papers), Logic, programming, and type systems (52 papers) and Formal Methods in Verification (30 papers). Lutz Schröder is often cited by papers focused on Logic, Reasoning, and Knowledge (58 papers), Logic, programming, and type systems (52 papers) and Formal Methods in Verification (30 papers). Lutz Schröder collaborates with scholars based in Germany, United Kingdom and Australia. Lutz Schröder's co-authors include Dirk Pattinson, Udo Frese, Christoph Hertzberg, René Wagner, Till Mossakowski, Carsten Lutz, Jean Christoph Jung, Yde Venema, Michael Megrelishvili and Víctor Gutiérrez-Basulto and has published in prestigious journals such as SHILAP Revista de lepidopterología, Information Fusion and Theoretical Computer Science.

In The Last Decade

Lutz Schröder

76 papers receiving 679 citations

Peers

Lutz Schröder
Comparison fields: 5 of 55
  • Artificial Intelligence 483
  • Computational Theory and Mathematics 307
  • Aerospace Engineering 207
  • Computer Vision and Pattern Recognition 119
  • Electrical and Electronic Engineering 60
Replace Abderrahim Saaidi with:
Abderrahim Saaidi Morocco
Sergio Cabello Slovenia
Yinian Mao United States
Amir massoud Farahmand Canada
Kumar S. Ray India
Tomáš Werner Czechia
Roberto Lublinerman United States
Ferrán Hurtado Spain
Vasileios Tzoumas United States
Daojun Han China
Abderrahim Saaidi Morocco View profile →
Citations per field, relative to Lutz Schröder
Lutz Schröder · 1×
Citations per year, relative to Lutz Schröder
Lutz Schröder · 1×

Countries citing papers authored by Lutz Schröder

Since Specialization
Citations

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

Fields of papers citing papers by Lutz Schröder

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Lutz Schröder

This figure shows the co-authorship network connecting the top 25 collaborators of Lutz Schröder. A scholar is included among the top collaborators of Lutz Schröder 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 Lutz Schröder. Lutz Schröder 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
# Work Indexed citations
1 1
2 1
3 0
4 2
5 2
6 1
7 4
8 1
9
A Coalgebraic Paige-Tarjan Algorithm.
0
10
On Inconsistency and Unsatisfiability.
1
11
(Co-)Algebraic Foundations for Effect Handling and Iteration.
1
12
Syntactic labelled tableaux for Łukasiewicz fuzzy ALC
4
13
Extending ALCQ with Bounded Self-Reference.
0
14
A closer look at the probabilistic description logic prob- EL
12
15 7
16
The complexity of probabilistic EL
1
17
How many toes do I have? parthood and number restrictions in description logics
10
18
An Institutional View on Categorical Logic.
2
19
Isomorphisms and splitting of idempotents in semicategories
1
20
Specifying Real Numbers in CASL
1

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

Rankless by CCL
2026