apl. Prof. Dr. Stefan Milius


Personal Website: http://www.stefan-milius.eu



Organisation


Technische Fakultät
Lehrstuhl für Informatik 8 (Theoretische Informatik)



Project lead

Go to first page Go to previous page 1 of 2 Go to next page Go to last page

Koinduktion und Algebra in der Axiomatisierung und Algorithmik von Systemäquivalenzen
apl. Prof. Dr. Stefan Milius
(01/06/2019 - 31/05/2022)

Coinduction meets algebra for the axiomatization and algorithmics of system equivalences
apl. Prof. Dr. Stefan Milius; Prof. Dr. Lutz Schröder
(01/02/2019 - 31/01/2022)

DAAD Reisekostenbeihilfe - Eingeladener Vortrag auf dem Workshop “{Symmetry, Logic, Computation}” des Simons Institutes in Berkeley CA, USA
apl. Prof. Dr. Stefan Milius
(07/11/2016 - 10/11/2016)

Advances in Coalgebraic Automata Theory
apl. Prof. Dr. Stefan Milius
(01/01/2015 - 31/12/2015)

COAX: Coinduction Meets Algebra For the Axiomatization of System Equivalence
apl. Prof. Dr. Stefan Milius; Prof. Dr. Lutz Schröder
(01/10/2014 - 31/07/2018)


Project member


DAAD Reisekostenbeihilfe - Eingeladener Vortrag auf dem Workshop “{Symmetry, Logic, Computation}” des Simons Institutes in Berkeley CA, USA
apl. Prof. Dr. Stefan Milius
(07/11/2016 - 10/11/2016)

Advances in Coalgebraic Automata Theory
apl. Prof. Dr. Stefan Milius
(01/01/2015 - 31/12/2015)

DAAD Reisekostenbeihilfe - eingeladener Vortrag auf dem Workshop über “Coalgebras in Computation, Logic, Probability and Quantum Physics”
apl. Prof. Dr. Stefan Milius
(18/03/2013 - 22/03/2013)


Publications (Download BibTeX)

Go to first page Go to previous page 6 of 6 Go to next page Go to last page

Adámek, J., Milius, S., Moss, L., & Sousa, L. (2013). Well-pointed Coalgebras. Logical Methods in Computer Science, 9((3:2)), 51. https://dx.doi.org/10.2168/LMCS-9(3:2)2013
Adámek, J., Bonchi, F., Hülsbusch, M., König, B., Milius, S., & Silva, A. (2012). A Coalgebraic Perspective on Minimization and Determinization. In Foundations of Software Science and Computational Structures (pp. 58-73). Tallin, Estonia, EE: Berlin Heidelberg: Springer-verlag.
Günther, H., Hedayati, R., Löding, H., Milius, S., Möller, O., Peleska, J.,... Zechner, A. (2012). A framework for formal verification of systems of synchronous components. In Tagungsband Modellbasierte Entwicklung eingebetteter Systeme (MBEES’12) (pp. 145-154). Dagstuhl: München: fortiss GmbH.
Adámek, J., Bowler, N., Levy, P., & Milius, S. (2012). Coproducts of Monads on Set. In Proc. 27th Annual Symposium on Logic in Computer Science (LICS’12) (pp. 45-54). Dubrovnik: Dubrovnik: IEEE Computer Society.
Adámek, J., Milius, S., & Moss, L. (2012). On Finitary Functors and Their Presentations. In Coalgebraic Methods in Computer Science (pp. 51-70). Tallin, Estonia, EE: Berlin Heidelberg: Springer-verlag.
Günther, H., Milius, S., & Möller, O. (2012). On the Formal Verification of Systems of Synchronous Software Components. In Computer Safety, Reliability, and Security (pp. 291-304). Magdeburg: Berlin Heidelberg: Springer-verlag.
Bonsangue, M., Milius, S., & Rot, J. (2012). On the specification of operations on the rational behaviour of systems. In Proc. Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS’12) (pp. 3-18). Newcastle upon Tyne.
Adámek, J., Milius, S., Moss, L., & Sousa, L. (2012). Wellpointed coalgebras. In Proc. Foundations of Software Science and Computation Structures (FoSSaCS) (pp. 89-103). Tallin, Estonia, EE: Berlin Heidelberg: Springer-Verlag.
Adámek, J., Milius, S., Moss, L., & Sousa, L. (2012). Well-Pointed Coalgebras (Extended Abstract). In Foundations of Software Science and Computational Structures (pp. 89-103). Tallinn, Estonia, EE: Berlin/Heidelberg: Springer-Verlag.

Last updated on 2019-26-02 at 22:51