PD Dr. Stefan Milius


Publications (Download BibTeX)
1 of 2

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)

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

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
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
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
Milius S, Pattinson D, Wißmann T (2016)
A New Foundation for Finitary Corecursion
Foundations of Software Science and Computation Structures

Journal article
Bonchi F, Milius S, Silva A, et al. (2015)
Killing Epsilons with a Dagger: A Coalgebraic Study of Systems with Algebraic Label Structure
Theoretical Computer Science

Conference contribution
Milius S, Wißmann T (2015)
Finitary Corecursion for the Infinitary Lambda Calculus
Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 -

Journal article
Myers R, Adámek J, Milius S, et al. (2015)
Coalgebraic Constructions of Canonical Nondeterministic Automata
Theoretical Computer Science

Conference contribution
Milius S, Pattinson D, Schröder L (2015)
Generic Trace Semantics and Graded Monads
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015

Journal article
Adámek J, Levy P, Milius S, et al. (2015)
On Final Coalgebras of Power-Set Functors and Saturated Trees
Applied Categorical Structures

Journal article
Adámek J, Milius S, Moss L, et al. (2015)
On Finitary Functors and Their Presentation
Journal of Computer and System Sciences

Article in Edited Volumes
Kurz A, Milius S, Pattinson D, et al. (2015)
Simplified Coalgebraic Trace Equivalence
Software, Services, and Systems - Lecture Notes in Computer Science

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
Milius S, Adámek J, Haddadi M (2014)
Corecursive Algebras, Corecursive Monads and Bloom Monads
Logical Methods in Computer Science

Journal article
Adámek J, Milius S, Velebil J (2014)
Base modules for parametrized iterativity
Theoretical Computer Science

Journal article
Adámek J, Milius S, Myers R, et al. (2014)
On Continuous Nondeterminism and State Minimality
Electronic Notes in Theoretical Computer Science

Share link Get in contact
Last updated on 2017-11-04 at 01:00
PDF downloaded successfully