researcher

Lutz Schröder

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

66 papers hereh-index 262.8k citations191 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position

sole author1
first author6
middle author22
last author36

Across the 65 of 66 papers where every author was matched, so the position is known.

fields

cs.LO47
cs.FL6
cs.DS4
math.CT4
cs.AI2
cs.CC1

affiliations

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

Homepage

same name

Lutz Schröder — 9 papers, h 3
Lutz Schröder — 2 papers
Lutz Schröder — 1 paper, h 1
Lutz Schröder — 1 paper, h 2

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity

20072025

most citedPSPACE Bounds for Rank-1 Modal Logics

59 citations · 185 across the 53 of their papers we have counts for

collaborators

Showing 2013 · cs.LOShow all

2 papers · 2 filters

cs.LO2013★ 3 cited

Exploring the Boundaries of Monad Tensorability on Set

Nathan Bowler, Sergey Goncharov, Paul Blain Levy +1

We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theori…

cs.LO2013

Simulations and Bisimulations For Coalgebraic Modal Logics

Daniel Gorín, Lutz Schröder

We define a notion of Lambda-simulation for coalgebraic modal logics, parametric on the choice Lambda of predicate liftings for a functor T. We show this notion is adequate in seve…