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)
Higher-Order Mathematical Operational Semantics (2023)
Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H
Conference contribution
Positive Data Languages (2023)
Frank F, Milius S, Urbat H
Journal article, Online publication
A Formal Treatment of Expressiveness and Relevance of Digital Evidence (2023)
Gruber J, Humml M
Journal article
Nominal Topology for Data Languages (2023)
Birkmann F, Milius S, Urbat H
Conference contribution
As if Time Had Stopped – Checking Memory Dumps for Quasi-Instantaneous Consistency (2023)
Ottmann J, Cengiz Ü, Breitinger F, Freiling F
Conference contribution, Conference Contribution
Common Knowledge of Abstract Groups (2023)
Humml M, Schröder L
Conference contribution
Representing Guardedness in Call-By-Value (2023)
Goncharov S
Conference contribution
Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction (2023)
Gruber J, Humml M, Schröder L, Freiling F
Conference contribution, Conference Contribution
Duality theory for enriched Priestley spaces (2023)
Hofmann D, Nora P
Journal article
Quantitative Hennessy-Milner Theorems via Notions of Density (2023)
Forster J, Goncharov S, Hofmann D, Nora P, Schröder L, Wild P
Conference contribution
‹
1
2
3
4
...
22
›