→ Adámek, J., Milius, S., & Urbat, H. (2018). A Categorical Approach to Syntactic Monoids. Logical Methods in Computer Science, 14(2:9), 34 pp.. https://dx.doi.org/10.23638/LMCS14(2:9)2018  → Harsh, B., König, B., Küpper, S., Silva, A., & Wißmann, T. (2018). A coalgebraic treatment of conditional transition systems with upgrades. Logical Methods in Computer Science, Volume 14, Issue 1. https://dx.doi.org/10.23638/LMCS14(1:19)2018  → Adámek, J., Milius, S., & Moss, L. (2018). Fixed Points of Functors. Journal of Logical and Algebraic Methods in Programming, 95, 4181.  → Milius, S., Adámek, J., & Urbat, H. (2018). On Algebras with Effectful Iteration. In Corina Cîrstea (Eds.), Proc.~Coalgebraic Methods in Computer Science (CMCS'18). Thessaloniki: Heidelberg: Springer.  → Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2018). Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. In Corina Cîrstea (Eds.), Proc.~Coalgebraic Methods in Computer Science (CMCS'18). Thessaloniki: Springer.  → Milius, S. (2018). Proper Functors and Fixed Points for Finite Behaviour. Logical Methods in Computer Science, 14(3), 32 pp..  → Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2017). Efficient Coalgebraic Partition Refinement. In Meyer R, Nestmann U (Eds.), Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) (pp. 28:128:16). Schloss Dagstuhl.  → Urbat, H., Adámek, J., Chen, L.T., & Milius, S. (2017). Eilenberg Theorems for Free. In G.~Larsen K, L.~Bodlaender H, Raskin J (Eds.), Proc.~42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (pp. 43:143:14). Schloss Dagstuhl.  → Milius, S., & Litak, T.M. (2017). Guard Your Daggers and Traces: Properties of Guarded (Co)recursion. Fundamenta Informaticae, 150, 407449. https://dx.doi.org/10.3233/FI20171475  → Schröder, L., Kozen, D., Milius, S., & Wißmann, T. (2017). Nominal Automata with Name binding. In Esparza Javier, Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Springer. 
