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)
Finitely presentable algebras for finitary monads (2019)
Adámek J, Milius S, Sousa L, Wißmann T
Journal article
A modal characterization theorem for a probabilistic fuzzy description logic (2019)
Wild P, Schröder L, Pattinson D, König B
Conference contribution
Generic Partition Refinement and Weighted Tree Automata (2019)
Deifel HP, Milius S, Schröder L, Wißmann T
Conference contribution, Original article
A new foundation for finitary corecursion and iterative algebras (2019)
Wißmann T, Pattinson D, Milius S
Journal article
Guarded and Unguarded Iteration for Generalized Processes (2019)
Goncharov S, Schröder L, Rauch C, Pirog M
Journal article
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures (2019)
Evert S, Heinrich P, Henselmann K, Rabenstein U, Scherr E, Schmitt M, Schröder L
Journal article
Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching (2019)
Wißmann T, Dubut J, Katsumata Sy, Hasuo I
Conference contribution
Optimal Satisfiability Checking for Arithmetic µ-Calculi (2019)
Hausmann D, Schröder L
Conference contribution
Equational Axiomatization of Algebras with Structure (2019)
Milius S, Urbat H
Conference contribution
Generalized Eilenberg Theorem: Varieties of Languages in a Category (2019)
Adámek J, Milius S, Myers R, Urbat H
Journal article
‹
1
...
7
8
9
10
11
...
22
›