Lehrstuhl für Informatik 8 (Theoretische Informatik)

Address:
Martensstraße 3
91058 Erlangen


Publications (Download BibTeX)
1 of 4

Journal article
Gutierreiz-Basulto V, Jung JC, Lutz C, et al. (2017)
Probabilistic Description Logics for Subjective Uncertainty
Journal of Artificial Intelligence Research

Conference contribution
Schröder L, Rauch C, Goncharov S, et al. - Ed.: Esparza Javier , Murawski Andrzej (2017)
Unifying Guarded and Unguarded Iteration
Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) -

Conference contribution
Evert S, Heinrich P, Henselmann K, et al. - Ed.: Loukanova R, Liefke K (2017)
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures
Proceedings of the Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017)

Journal article
Milius S, Litak TM (2017)
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion
Fundamenta Informaticae

Conference contribution
Schröder L, Kozen D, Milius S, et al. - Ed.: Esparza Javier, Murawski Andrzej (2017)
Nominal Automata with Name binding
Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)

Conference contribution
Kleinert B, Weiß S, Schäfer F, et al. (2016)
Adaptive Synchronization Interface for Hardware-Software Co-Simulation based on SystemC and QEMU
Simutools: 9th EAI International Conference on Simulation Tools and Techniques

Conference contribution
Goncharov S, Milius S, Rauch C - Ed.: Lars Birkedal (2016)
Complete Elgot Monads and Coalgebraic Resumptions
MFPS XXXII

Conference contribution
Teichel K, Sibold D, Milius S (2016)
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms
Proceedings of the 12th International Conference on Information Systems Security, ICISS 2016 -

Conference contribution
Hausmann D, Schröder L, Egger C - Ed.: Josée Desharnais, Radha Jagadeesan (2016)
Global Caching for the Alternation-free mu-Calculus
27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{é}}bec City, Canada

Conference contribution
Chen LT, Adámek J, Milius S, et al. (2016)
Profinite Monads, Profinite Equations and Reitermann's Theorem
Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016

Conference contribution
Deitsch A, Schneider V, Kane J, et al. - Ed.: Society for Computer Simulation International (2016)
Towards an Efficient High-Level Modeling of Heterogeneous Image Processing Systems
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative (DEVS '16)

Conference contribution
Kleinert B, Schäfer F, Weiß S, et al. - Ed.: Yuri Merkuryev; Tuncer Ören; Mohammed s. Obaidat (2016)
Hardware-Software Co-Simulation of Self-Organizing Smart Home Networks: Who am I and where are the others?


Conference contribution
Schröder L, Pattinson D - Ed.: Martin Grohe, Eric Koskinen, Natarajan Shankar (2016)
Program Equivalence is Coinductive
Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016

Conference contribution
Milius S, Pattinson D, Wißmann T (2016)
A New Foundation for Finitary Corecursion
Foundations of Software Science and Computation Structures

Journal article
Milius S, Schröder L, Wißmann T (2016)
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets
Applied Categorical Structures

Conference contribution
Adámek J, Milius S, Myers R, et al. (2015)
Varieties of Languages in a Category
30th Annual Symposium on Logic in Computer Science (LICS'15)

Conference contribution
Adámek J, Milius S, Urbat H (2015)
Syntactic Monoids in a Category
Coalgebraic and Algebraic Methods in Computer Science (CALCO'15) -

Journal article
Schröder L, Litak TM, Pattinson D (2015)
A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic
Journal of Logic and Computation

Share link
Last updated on 2016-05-05 at 04:58
PDF downloaded successfully