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)
Global Caching for the Alternation-free mu-Calculus (2016)
Hausmann D, Schröder L, Egger C
Conference contribution, Original article
Relational Lattices: From Databases to Universal Algebra (2016)
Litak T, Mikulás S, Hidders J
Journal article, Original article
Towards an Efficient High-Level Modeling of Heterogeneous Image Processing Systems (2016)
Deitsch A, Schneider V, Kane J, Dulz W, German R
Conference contribution, Original article
Global Caching for the Alternation-free Coalgebraic mu-calculus (2016)
Hausmann D, Schröder L, Egger C
Conference contribution
Complete Elgot Monads and Coalgebraic Resumptions (2016)
Goncharov S, Milius S, Rauch C
Journal article, Original article
Profinite Monads, Profinite Equations and Reitermann's Theorem (2016)
Chen LT, Adámek J, Milius S, Urbat H, Urbat H
Conference contribution
An implementation of global caching for the alternation-free coalgebraic μ-calculus (2016)
Egger C
Thesis
Schützenberger products in a category (2016)
Chen LT, Urbat H
Conference contribution
Hardware-Software Co-Simulation of Self-Organizing Smart Home Networks: Who am I and where are the others? (2016)
Kleinert B, Schäfer F, Weiß S, Bakakeu Ngassam RJ, Fey D
Conference contribution
Adaptive Synchronization Interface for Hardware-Software Co-Simulation based on SystemC and QEMU (2016)
Kleinert B, Weiß S, Schäfer F, Bakakeu Ngassam RJ, Fey D
Conference contribution
‹
1
...
12
13
14
15
16
...
22
›