Works by STEFAN MILIUS

Results: 17

Regular Behaviours with Names.

Published in:

Applied Categorical Structures, 2016, v. 24, n. 5, p. 663, doi. 10.1007/s10485-016-9457-8

By:

Milius, Stefan;
Schröder, Lutz;
Wißmann, Thorsten

Publication type:

Article

On Final Coalgebras of Power-Set Functors and Saturated Trees.

Published in:

Applied Categorical Structures, 2015, v. 23, n. 4, p. 609, doi. 10.1007/s10485-014-9372-9

By:

Adámek, Jiří;
Levy, Paul;
Milius, Stefan;
Moss, Lawrence;
Sousa, Lurdes

Publication type:

Article

Some Remarks on Finitary and Iterative Monads.

Published in:

Applied Categorical Structures, 2003, v. 11, n. 6, p. 521

By:

Jiří Adámek;
Stefan Milius;
Jiří Velebil

Publication type:

Article

On Colimits in Categories of Relations.

Published in:

Applied Categorical Structures, 2003, v. 11, n. 3, p. 287

By:

Stefan Milius

Publication type:

Article

QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE.

Published in:

Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:6)2022

By:

WISSMANN, THORSTEN;
MILIUS, STEFAN;
SCHRÖDER, LUTZ

Publication type:

Article

A CATEGORICAL APPROACH TO SYNTACTIC MONOIDS.

Published in:

Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:9)2018

By:

ADAMEK, JIŘÍ;
MILIUS, STEFAN;
URBAT, HENNING

Publication type:

Article

CORECURSIVE ALGEBRAS, CORECURSIVE MONADS AND BLOOM MONADS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:19)2014

By:

ADÁMEK, JIRÍ;
HADDADI, MAHDIE;
MILIUS, STEFAN

Publication type:

Article

On the behaviour of coalgebras with side effects and algebras with effectful iteration.

Published in:

Journal of Logic & Computation, 2021, v. 31, n. 6, p. 1429, doi. 10.1093/logcom/exab049

By:

Adámek, Jiří;
Milius, Stefan;
Urbat, Henning

Publication type:

Article

On Algebras with Iteration.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 6, p. 1047

By:

#x0158;Í^ADAMEK, JI;
BLOOM, STEPHEN L.;
MILIUS, STEFAN

Publication type:

Article

A PRESENTATION OF BASES FOR PARAMETRIZED ITERATIVITY.

Published in:

Theory & Applications of Categories, 2017, v. 32, n. 16-19, p. 682

By:

ADÁMEK, JIŘÍ;
MILIUS, STEFAN;
VELEBIL, JIŘÍ

Publication type:

Article

Finitary monads on the category of posets.

Published in:

Mathematical Structures in Computer Science, 2021, v. 31, n. 7, p. 799, doi. 10.1017/S0960129521000360

By:

Adámek, Jiří;
Ford, Chase;
Milius, Stefan;
Schröder, Lutz

Publication type:

Article

Elgot theories: a new perspective on the equational properties of iteration.

Published in:

Mathematical Structures in Computer Science, 2011, v. 21, n. 2, p. 417, doi. 10.1017/S0960129510000496

By:

ADÁMEK, JIŘÍ;
MILIUS, STEFAN;
VELEBIL, JIŘÍ

Publication type:

Article

Iterative reflections of monads.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 419, doi. 10.1017/S0960129509990326

By:

Adámek, Jiří;
Milius, Stefan;
Velebil, Jiří

Publication type:

Article

A general final coalgebra theorem.

Published in:

Mathematical Structures in Computer Science, 2005, v. 15, n. 3, p. 409

By:

JIR ADMEK;
STEFAN MILIUS;
JIR VELEBIL

Publication type:

Article

Free iterative theories: a coalgebraic view.

Published in:

Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 259

By:

JIR˘Í ADÁMEK;
STEFAN MILIUS;
JIR˘Í VELEBIL

Publication type:

Article

ABSTRACT GSOS RULES AND A MODULAR TREATMENT OF RECURSIVE DEFINITIONS.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/LMCS-9(3:28)2013

By:

MILIUS, STEFAN;
MOSS, LAWRENCE S.;
SCHWENCKE, DANIEL

Publication type:

Article

WELL-POINTED COALGEBRAS.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 3, p. 1, doi. 10.2168/LMCS-9(3:2)2013

By:

ADÁMEK, JIŘÍ;
MILIUS, STEFAN;
MOSS, LAWRENCE S.;
SOUSA, LURDES

Publication type:

Article