CUFinder

Lutz Schröder

About Lutz Schröder

Lutz Schröder, With an exceptional h-index of 29 and a recent h-index of 17 (since 2020), a distinguished researcher at Friedrich-Alexander-Universität Erlangen-Nürnberg, specializes in the field of Logic in Computer Science, Knowledge Representation, Formal Methods, Theoretical Computer Science.

His recent articles reflect a diverse array of research interests and contributions to the field:

Logical Predicates in Higher-Order Mathematical Operational Semantics

A Point-free Perspective on Lax extensions and Predicate liftings

Generic Model Checking for Modal Fixpoint Logics in COOL-MC

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

COOL 2–A Generic Reasoner for Modal Fixpoint Logics (System Description)

Weak similarity in higher-order mathematical operational semantics

Common knowledge of abstract groups

Lutz Schröder Information

University

Position

Professor of Computer Science

Citations(all)

3297

Citations(since 2020)

1133

Cited By

2670

hIndex(all)

29

hIndex(since 2020)

17

i10Index(all)

94

i10Index(since 2020)

34

Email

University Profile Page

Google Scholar

Lutz Schröder Skills & Research Interests

Logic in Computer Science

Knowledge Representation

Formal Methods

Theoretical Computer Science

Top articles of Lutz Schröder

Logical Predicates in Higher-Order Mathematical Operational Semantics

2024/4/6

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Lutz Schröder
Lutz Schröder

H-Index: 16

Stelios Tsampas
Stelios Tsampas

H-Index: 3

A Point-free Perspective on Lax extensions and Predicate liftings

Mathematical Structures in Computer Science

2024/2

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Dirk Hofmann
Dirk Hofmann

H-Index: 12

Lutz Schröder
Lutz Schröder

H-Index: 16

Generic Model Checking for Modal Fixpoint Logics in COOL-MC

2023/12/30

Daniel Hausmann
Daniel Hausmann

H-Index: 4

Lutz Schröder
Lutz Schröder

H-Index: 16

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach

arXiv preprint arXiv:2310.05711

2023/10/9

Barbara König
Barbara König

H-Index: 13

Lutz Schröder
Lutz Schröder

H-Index: 16

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras

arXiv preprint arXiv:2307.14826

2023/7/27

Lutz Schröder
Lutz Schröder

H-Index: 16

Barbara König
Barbara König

H-Index: 13

COOL 2–A Generic Reasoner for Modal Fixpoint Logics (System Description)

2023/7/1

Daniel Hausmann
Daniel Hausmann

H-Index: 4

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Lutz Schröder
Lutz Schröder

H-Index: 16

Weak similarity in higher-order mathematical operational semantics

2023/6/26

Stelios Tsampas
Stelios Tsampas

H-Index: 3

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Lutz Schröder
Lutz Schröder

H-Index: 16

Common knowledge of abstract groups

Proceedings of the AAAI Conference on Artificial Intelligence

2023/6/26

Lutz Schröder
Lutz Schröder

H-Index: 16

Quantitative Graded Semantics and Spectra of Behavioural Metrics

arXiv preprint arXiv:2306.01487

2023/6/2

Lutz Schröder
Lutz Schröder

H-Index: 16

The Alternating-Time\mu-Calculus With Disjunctive Explicit Strategies

arXiv preprint arXiv:2305.18795

2023/5/30

Lutz Schröder
Lutz Schröder

H-Index: 16

Dirk Pattinson
Dirk Pattinson

H-Index: 16

COOL 2--A Generic Reasoner for Modal Fixpoint Logics

arXiv preprint arXiv:2305.11015

2023/5/18

Daniel Hausmann
Daniel Hausmann

H-Index: 4

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Lutz Schröder
Lutz Schröder

H-Index: 16

Kantorovich Functors and Characteristic Logics for Behavioural Distances.

2023/4/21

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Dirk Hofmann
Dirk Hofmann

H-Index: 12

Lutz Schröder
Lutz Schröder

H-Index: 16

Towards a higher-order mathematical operational semantics

Proceedings of the ACM on Programming Languages

2023/1/9

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Lutz Schröder
Lutz Schröder

H-Index: 16

Stelios Tsampas
Stelios Tsampas

H-Index: 3

Higher-Order Mathematical Operational Semantics (Early Ideas)

2023

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Lutz Schröder
Lutz Schröder

H-Index: 16

Stelios Tsampas
Stelios Tsampas

H-Index: 3

Formal verification of necessary and sufficient evidence in forensic event reconstruction

Proceedings of Digital Forensics Research Conference Europe (DFRWS EU)

2023

Lutz Schröder
Lutz Schröder

H-Index: 16

Quantitative Hennessy-Milner theorems via notions of density

arXiv preprint arXiv:2207.09187

2022/7/19

Sergey Goncharov
Sergey Goncharov

H-Index: 8

Dirk Hofmann
Dirk Hofmann

H-Index: 12

Lutz Schröder
Lutz Schröder

H-Index: 16

Coalgebraic Satisfiability Checking for Arithmetic -Calculi

arXiv preprint arXiv:2212.11055

2022/12/21

Daniel Hausmann
Daniel Hausmann

H-Index: 4

Lutz Schröder
Lutz Schröder

H-Index: 16

Quasilinear-time computation of generic modal witnesses for behavioural inequivalence

Logical Methods in Computer Science

2022/11/17

Lutz Schröder
Lutz Schröder

H-Index: 16

Graded monads and behavioural equivalence games

2022/8/2

Lutz Schröder
Lutz Schröder

H-Index: 16

Barbara König
Barbara König

H-Index: 13

Characteristic logics for behavioural hemimetrics via fuzzy lax extensions

Logical Methods in Computer Science

2022/6/15

Lutz Schröder
Lutz Schröder

H-Index: 16

See List of Professors in Lutz Schröder University(Friedrich-Alexander-Universität Erlangen-Nürnberg)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine