FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(266)
Research Grants
(23)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Towards a Higher-Order Mathematical Operational Semantics (2023)
Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H
Journal article
A point-free perspective on lax extensions and predicate liftings (2023)
Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Journal article
Shades of Iteration: From Elgot to Kleene (2023)
Goncharov S
Conference contribution
Morphism Equality in Theory Graphs (2023)
Rabe F, Weber F
Conference contribution
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (2023)
Görlitz O, Hausmann D, Humml M, Pattinson D, Prucker S, Schröder L
Conference contribution
Weak Similarity in Higher-Order Mathematical Operational Semantics (2023)
Urbat H, Tsampas S, Goncharov S, Milius S, Schröder L
Conference contribution
Kantorovich Functors and Characteristic Logics for Behavioural Distances (2023)
Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Conference contribution
Weighted and Branching Bisimilarities from Generalized Open Maps (2023)
Dubut J, Wißmann T
Conference contribution
Graded Monads and Behavioural Equivalence Games (2022)
Ford M, Milius S, Schröder L, Beohar H, König B
Conference contribution
Stateful Structural Operational Semantics (2022)
Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H
Conference contribution
‹
1
2
3
4
5
...
22
›