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)
Bialgebraic Reasoning on Higher-order Program Equivalence (2024)
Goncharov S, Milius S, Tsampas S, Urbat H
Conference contribution
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda (2024)
Wißmann T, Milius S
Conference contribution
Leveraging High-Precision Corpus Queries for Text Classification via Large Language Models (2024)
Dykes N, Evert S, Heinrich P, Humml M, Schröder L
Conference contribution
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach (2024)
Beohar H, Gurke S, König B, Messing K, Forster J, Schröder L, Wild P
Conference contribution
Monoidal Extended Stone Duality (2024)
Birkmann F, Urbat H, Milius S
Conference contribution
Generic Model Checking for Modal Fixpoint Logics in COOL-MC (2024)
Hausmann D, Humml M, Prucker S, Schröder L, Strahlberger A
Conference contribution
Öffentliche Wahrnehmung von Palliativversorgung vor, während und nach der COVID-19-Pandemie – eine empirische Untersuchung von Online-Diskursen (2024)
Peters J, Rabenstein U, Heckel M, Breindl E, Ostgathe C
Journal article
Finding Argument Fragments on Social Media with Corpus Queries and LLMs (2024)
Dykes N, Evert S, Heinrich P, Humml M, Schröder L
Conference contribution
On Kripke, Vietoris and Hausdorff Polynomial Functors (2023)
Adámek J, Milius S, Moss LS
Conference contribution
CRDTs, Coalgebraically (2023)
Liittschwager N, Tsampas S, Castello J, Kuper L
Conference contribution
‹
1
2
3
...
22
›