| Nominal automata with name binding L Schröder, D Kozen, S Milius, T Wißmann Foundations of Software Science and Computation Structures: 20th …, 2017 | 29 | 2017 |
| Efficient coalgebraic partition refinement U Dorsch, S Milius, L Schröder, T Wißmann arXiv preprint arXiv:1705.08362, 2017 | 25 | 2017 |
| On finitary functors J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1902.05788, 2019 | 18 | 2019 |
| A new approach for active automata learning based on apartness F Vaandrager, B Garhewal, J Rot, T Wißmann Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | 17 | 2022 |
| Regular behaviours with names: On rational fixpoints of endofunctors on nominal sets S Milius, L Schröder, T Wißmann Applied Categorical Structures 24, 663-701, 2016 | 14 | 2016 |
| Efficient and modular coalgebraic partition refinement L Schröder, S Milius, U Dorsch, T Wißmann Logical Methods in Computer Science 16, 2020 | 13 | 2020 |
| Generic partition refinement and weighted tree automata HP Deifel, S Milius, L Schröder, T Wißmann Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 13 | 2019 |
| Cool – A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) D Gorín, D Pattinson, L Schröder, F Widmann, T Wißmann Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as …, 2014 | 11 | 2014 |
| A new foundation for finitary corecursion: The locally finite fixpoint and its properties S Milius, D Pattinson, T Wißmann Foundations of Software Science and Computation Structures: 19th …, 2016 | 10 | 2016 |
| Path Category for Free: Open Morphisms from Coalgebras with Non-deterministic Branching T Wißmann, J Dubut, S Katsumata, I Hasuo Foundations of Software Science and Computation Structures: 22nd …, 2019 | 9 | 2019 |
| Finitary corecursion for the infinitary lambda calculus S Milius, T Wißmann arXiv preprint arXiv:1505.07736, 2015 | 9 | 2015 |
| A coalgebraic view on reachability T Wißmann, S Milius, S Katsumata, J Dubut arXiv preprint arXiv:1901.10717, 2019 | 8 | 2019 |
| Explaining behavioural inequivalence generically in quasilinear time T Wißmann, S Milius, L Schröder arXiv preprint arXiv:2105.00669, 2021 | 6 | 2021 |
| A new foundation for finitary corecursion and iterative algebras S Milius, D Pattinson, T Wißmann Information and Computation 271, 104456, 2020 | 6 | 2020 |
| Predicate liftings and functor presentations in coalgebraic expression languages U Dorsch, S Milius, L Schröder, T Wißmann Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International …, 2018 | 6 | 2018 |
| From generic partition refinement to weighted tree automata minimization T Wißmann, HP Deifel, S Milius, L Schröder Formal Aspects of Computing 33 (4-5), 695-727, 2021 | 5 | 2021 |
| Coalgebraic semantics and minimization in sets and beyond T Wißmann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020 | 5 | 2020 |
| A coalgebraic treatment of conditional transition systems with upgrades H Beohar, B König, S Küpper, A Silva, T Wißmann arXiv preprint arXiv:1612.05002, 2016 | 4 | 2016 |
| Finitely presentable algebras for finitary monads J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1909.02524, 2019 | 3 | 2019 |
| On finitary functors and finitely presentable algebras J Adámek, S Milius, L Sousa, T Wißmann preprint, 1902 | 3 | 1902 |
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
