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)
On Inconsistency and Unsatisfiability (2015)
Schröder L, Mossakowski T
Journal article, Original article
Unguarded Recursion on Coinductive Resumptions (2015)
Goncharov S, Rauch C, Schröder L
Conference contribution, Original article
A fibrational approach to automata theory (2015)
Urbat H, Chen LT
Conference contribution, Conference Contribution
Monodic Fragments of Probabilistic First-order Logic (2014)
Jung JC, Lutz C, Goncharov S, Schröder L
Conference contribution, Conference Contribution
Generalized Eilenberg Theorem I: Local Varieties of Languages (2014)
Adámek J, Milius S, Myers R, Urbat H, Urbat H
Conference contribution
Towards Ontological Support for Principle Solutions in Mechanical Engineering (2014)
Breitsprecher T, Codesci M, Jucovaschi C, Kohlhase M, Schröder L, Wartzack S
Conference contribution, Conference Contribution
COOL — A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) (2014)
Gorin D, Pattinson D, Schröder L, Widmann F, Wißmann T
Conference contribution, Original article
Towards a Coalgebraic Chomsky Hierarchy (2014)
Goncharov S, Milius S, Silva A
Conference contribution
Semantic Support for Engineering Design Processes (2014)
Breitsprecher T, Codescu SM, Schröder L, Wartzack S, jucovschi C, Kohlhase M
Conference contribution, Original article
How to Kill Epsilons with a Dagger: A Coalgebraic Take on Systems with Algebraic Label Structure (2014)
Bonchi F, Milius S, Silva A, Zanasi F
Conference contribution
‹
1
...
15
16
17
18
19
...
22
›