I agree that this site is using cookies. You can find further informations here.
X
Milius, Stefan
63  results:
Articles (Online) X
Search for persons X
?
1

Towards a Higher-Order Mathematical Operational Semantics:

Goncharov, Sergey ; Milius, Stefan ; Schröder, Lutz..
Proceedings of the ACM on Programming Languages.  7 (2023)  POPL - p. 632-658 , 2023
Link: https://doi.org/10.1145/..
 
?
2

Eilenberg's variety theorem without Boolean operations:

Birkmann, Fabian ; Milius, Stefan ; Urbat, Henning
Information and Computation.  295 (2023)  - p. 104916 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Quasilinear-time Computation of Generic Modal Witnesses for..:

Wißmann, Thorsten ; Milius, Stefan ; Schröder, Lutz
Logical Methods in Computer Science.  18, Issue 4 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
4

Reiterman's Theorem on Finite Algebras for a Monad:

Adámek, Jiří ; Chen, Liang-Ting ; Milius, Stefan.
ACM Transactions on Computational Logic.  22 (2021)  4 - p. 1-48 , 2021
Link: https://doi.org/10.1145/..
 
?
5

On the behaviour of coalgebras with side effects and algebr..:

Adámek, Jiří ; Milius, Stefan ; Urbat, Henning
Journal of Logic and Computation.  31 (2021)  6 - p. 1429-1481 , 2021
Link: https://doi.org/10.1093/..
 
?
6

Finitary monads on the category of posets:

Adámek, Jiří ; Ford, Chase ; Milius, Stefan.
Mathematical Structures in Computer Science.  31 (2021)  7 - p. 799-821 , 2021
Link: https://doi.org/10.1017/..
 
?
7

From generic partition refinement to weighted tree automata..:

Wißmann, Thorsten ; Deifel, Hans-Peter ; Milius, Stefan.
Formal Aspects of Computing.  33 (2021)  4-5 - p. 695-727 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Unifying Metadata-Based Storage Reconstruction and Carving ..:

Schneider, Janine ; Deifel, Hans-Peter ; Milius, Stefan.
Forensic Science International: Digital Investigation.  33 (2020)  - p. 301006 , 2020
Link: https://doi.org/10.1016/..
 
?
9

Toward a Uniform Theory of Effectful State Machines:

Goncharov, Sergey ; Milius, Stefan ; Silva, Alexandra
ACM Transactions on Computational Logic (TOCL).  21 (2020)  3 - p. 1-63 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

A new foundation for finitary corecursion and iterative alg..:

Milius, Stefan ; Pattinson, Dirk ; Wißmann, Thorsten
Information and Computation.  271 (2020)  - p. 104456 , 2020
Link: https://doi.org/10.1016/..
 
?
11

Toward a Uniform Theory of Effectful State Machines:

Goncharov, Sergey ; Milius, Stefan ; Silva, Alexandra
ACM Transactions on Computational Logic.  21 (2020)  3 - p. 1-63 , 2020
Link: https://doi.org/10.1145/..
 
?
12

On functors preserving coproducts and algebras with iterati..:

Adámek, Jiří ; Milius, Stefan
Theoretical Computer Science.  763 (2019)  - p. 66-87 , 2019
Link: https://doi.org/10.1016/..
 
?
13

Fixed points of functors:

Adámek, Jiří ; Milius, Stefan ; Moss, Lawrence S.
Journal of Logical and Algebraic Methods in Programming.  95 (2018)  - p. 41-81 , 2018
Link: https://doi.org/10.1016/..
 
?
14

Generalized Eilenberg Theorem : Varieties of Languages i..:

Adámek, Jiří ; Milius, Stefan ; Myers, Robert S.R..
ACM Transactions on Computational Logic (TOCL).  20 (2018)  1 - p. 1-47 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Generalized Eilenberg Theorem: Varieties of Languages in a ..:

Adámek, Jiří ; Milius, Stefan ; Myers, Robert S.R..
ACM Transactions on Computational Logic.  20 (2018)  1 - p. 1-47 , 2018
Link: https://doi.org/10.1145/..
 
1-15