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)
Coalgebraic Predicate Logic (2012)
Litak T, Pattinson D, Sano K, Schröder L
Conference contribution, Original article
A framework for formal verification of systems of synchronous components (2012)
Günther H, Hedayati R, Löding H, Milius S, Möller O, Peleska J, Sulzmann M, Zechner A
Conference contribution
A Coalgebraic Perspective on Minimization and Determinization (2012)
Adámek J, Bonchi F, Hülsbusch M, König B, Milius S, Silva A
Conference contribution
Towards logical frameworks in the heterogeneous tool set hets (2012)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F, Sojakova K
Conference contribution, Original article
A proof theoretic interpretation of model theoretic hiding (2012)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F
Conference contribution, Original article
Project abstract: Logic atlas and integrator (LATIN) (2011)
Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F
Conference contribution, Original article
Formal management of CAD/CAM processes (2009)
Kohlhase M, Schröder L
Conference contribution, Original article
‹
1
...
20
21
22
›