Concepedia

Lutz Schröder

LS

Statistics

Publications

39

Citations

1.4K

H-Index

18

Active since

2003

Affiliations

University of Bremen(Current)

Friedrich-Alexander-Universität Erlangen-Nürnberg

Imperial College London

University of Amsterdam

Australian National University

Lutz Schröder is an author at University of Bremen specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceFormal VerificationSemanticsLanguageLinguisticsProgram AnalysisSyntax

Publications per year

2003–2023

39

Publications

39

Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds

Christoph Hertzberg, René Wagner, Udo Frese et al. · Information Fusion · 2011 · 283 citations

Decision Fusion, Engineering, Data Fusion +10

Expressivity of coalgebraic modal logic: The limits and beyond

Lutz Schröder · Theoretical Computer Science · 2007 · 126 citations

Automated Reasoning, Modal Logic, Classical Logic +1

Probabilistic Description Logics for Subjective Uncertainty

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz et al. · Journal of Artificial Intelligence Research · 2017 · 121 citations · Full text

New Family, Probabilistic Ontology, Engineering +15

Modal Logics are Coalgebraic

Alexander Kurz, Dirk Pattinson, Lutz Schröder et al. · The Computer Journal · 2009 · 79 citations · Full text

Closing a Million-Landmarks Loop

Udo Frese, Lutz Schröder · 2006 · 63 citations

Hierarchical Tree, Engineering, Graph Bisection +17

1–5 of 39