Stefan Milius
发表
J. Adámek,
L. Sousa,
S. Milius,
2019
.
J. Adámek,
S. Milius,
Henning Urbat,
2021,
ACM Trans. Comput. Log..
Stefan Milius,
Dirk Pattinson,
Thorsten Wißmann,
2018,
Inf. Comput..
Fabian Birkmann,
Stefan Milius,
Hans-Peter Deifel,
2022,
TACAS.
Lutz Schröder,
S. Milius,
Thorsten Wißmann,
2022,
Log. Methods Comput. Sci..
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2021,
CONCUR.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
Log. Methods Comput. Sci..
Stefan Milius,
Lutz Schröder,
Ulrich Dorsch,
2018,
CONCUR.
Lutz Schröder,
S. Milius,
Ulrich Dorsch,
2019
.
Stefan Milius,
Lutz Schröder,
Ulrich Dorsch,
2018,
ArXiv.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2017,
CONCUR.
Reiko Heckel,
Stefan Milius,
R. Heckel,
2013,
Lecture Notes in Computer Science.
Alexandra Silva,
Marcello M. Bonsangue,
Stefan Milius,
2011,
TOCL.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2007,
MFCS.
L. Moss,
J. Adámek,
S. Milius,
2019,
FoSSaCS.
Stefan Milius,
Henning Günther,
Oliver Möller,
2012,
SAFECOMP.
Stefan Milius,
Jan Peleska,
Martin Sulzmann,
2012,
MBEES.
Stefan Milius,
Michaela Huhn,
Ilyas Daskaya,
2011,
FMICS.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2006,
CMCS.
Stefan Milius,
J. Ad,
R. B ¨ Orger,
2008
.
Stefan Milius,
Christian Dietrich,
Daniel Lohmann,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Stefan Milius,
Lawrence S. Moss,
Daniel Schwencke,
2013,
Log. Methods Comput. Sci..
Jirí Adámek,
Stefan Milius,
Lawrence S. Moss,
2015,
Appl. Categorical Struct..
Jirí Adámek,
Stefan Milius,
Lawrence S. Moss,
2011,
CSL.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2009,
CALCO.
Alexandra Silva,
Barbara König,
Filippo Bonchi,
2012,
FoSSaCS.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
FM.
Lutz Schröder,
B. König,
S. Milius,
2022,
LICS.
Lutz Schröder,
Chase Ford,
Stefan Milius,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Stefan Milius,
Dirk Pattinson,
Lutz Schröder,
2015,
CALCO.
S. Goncharov,
Alexandra Silva,
S. Milius,
2014,
ACM Trans. Comput. Log..
Stefan Milius,
Alexander Kurz,
Dirk Pattinson,
2014,
Software, Services, and Systems.
Stefan Milius,
Hans-Peter Deifel,
Thorsten Wissmann,
2021,
FSCD.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2018,
ArXiv.
Stefan Milius,
Kristof Teichel,
Dieter Sibold,
2015,
SSR.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2003,
Mathematical Structures in Computer Science.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2006,
Mathematical Structures in Computer Science.
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2013,
MFPS.
Jurriaan Rot,
Marcello M. Bonsangue,
Stefan Milius,
2012,
EXPRESS/SOS.
Stefan Milius,
Henning Urbat,
Henning Urbat,
2018,
FoSSaCS.
Jirí Adámek,
Stefan Milius,
Henning Urbat,
2016,
MFCS.
Stefan Milius,
Henning Urbat,
Jiří Adámek,
2015,
FoSSaCS.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2020,
Formal Aspects of Computing.
Stefan Milius,
Michaela Huhn,
M. Huhn,
2014,
Sci. Comput. Program..
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2002,
CMCS.
Jirí Adámek,
Stefan Milius,
Lawrence S. Moss,
2012,
FoSSaCS.
Stefan Milius,
Henning Urbat,
Robert S. R. Myers,
2021,
FoSSaCS.
Stefan Milius,
Stefan Milius,
2000
.
Henning Urbat,
Florian Frank,
Stefan Milius,
2022,
CMCS.
Henning Urbat,
J. Ad'amek,
Stefan Milius,
2019,
J. Log. Comput..
Jirí Adámek,
Stefan Milius,
Henning Urbat,
2018,
CMCS.
Stefan Milius,
Stefan Milius,
2017,
Log. Methods Comput. Sci..
Stefan Milius,
Stefan Milius,
2017,
CALCO.
Lutz Schröder,
S. Milius,
Thorsten Wißmann,
2016,
Applied Categorical Structures.
Stefan Milius,
Lutz Schröder,
Thorsten Wißmann,
2016,
Appl. Categorical Struct..
Alexandra Silva,
Filippo Bonchi,
Stefan Milius,
2014,
Theor. Comput. Sci..
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2010,
CMCS@ETAPS.
Lutz Schröder,
S. Milius,
Thorsten Wißmann,
2016
.
Stefan Milius,
Kristof Teichel,
Dieter Sibold,
2016,
ICISS.
Alexandra Silva,
Stefan Milius,
Sergey Goncharov,
2014,
IFIP TCS.
L. Moss,
J. Ad'amek,
Stefan Milius,
2021,
ArXiv.
Jirí Adámek,
Stefan Milius,
Lawrence S. Moss,
2018,
J. Log. Algebraic Methods Program..
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2006,
MFPS.
P. Aczel,
J. Adámek,
J. Velebil,
2003,
Theor. Comput. Sci..
L. Moss,
J. Adámek,
Stefan Milius,
2021
.
Stefan Milius,
Jiri Velebil,
Jirí Adámek,
2006
.
S. Milius,
Stefan Milius,
2017
.
Stefan Milius,
Lawrence S. Moss,
Daniel Schwencke,
2010,
FoSSaCS.
Stefan Milius,
Lutz Schröder,
Chase Ford,
2021,
CALCO.
Jirí Adámek,
Stefan Milius,
Jiri Velebil,
2009,
MFPS.