| Nominal automata with name binding L Schröder, D Kozen, S Milius, T Wißmann International Conference on Foundations of Software Science and Computation …, 2017 | 25 | 2017 |
| Efficient coalgebraic partition refinement U Dorsch, S Milius, L Schröder, T Wißmann arXiv preprint arXiv:1705.08362, 2017 | 15 | 2017 |
| On finitary functors J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1902.05788, 2019 | 13 | 2019 |
| Regular behaviours with names S Milius, L Schröder, T Wißmann Applied Categorical Structures 24 (5), 663-701, 2016 | 12 | 2016 |
| A new foundation for finitary corecursion S Milius, D Pattinson, T Wißmann International Conference on Foundations of Software Science and Computation …, 2016 | 10 | 2016 |
| Cool – A Generic Reasoner for Coalgebraic Hybrid Logics (System Description) D Gorín, D Pattinson, L Schröder, F Widmann, T Wißmann International Joint Conference on Automated Reasoning, 396-402, 2014 | 10 | 2014 |
| Finitary corecursion for the infinitary lambda calculus S Milius, T Wißmann arXiv preprint arXiv:1505.07736, 2015 | 9 | 2015 |
| Generic partition refinement and weighted tree automata HP Deifel, S Milius, L Schröder, T Wißmann International Symposium on Formal Methods, 280-297, 2019 | 7 | 2019 |
| Path category for free T Wißmann, J Dubut, S Katsumata, I Hasuo Foundations of Software Science and Computation Structures, M. Bojanczyk and …, 2019 | 5 | 2019 |
| Efficient and modular coalgebraic partition refinement T Wißmann, U Dorsch, S Milius, L Schröder arXiv preprint arXiv:1806.05654, 2018 | 5 | 2018 |
| A new foundation for finitary corecursion and iterative algebras S Milius, D Pattinson, T Wißmann Information and Computation 271, 104456, 2020 | 4 | 2020 |
| Coalgebraic semantics and minimization in sets and beyond T Wißmann | 3 | 2020 |
| A coalgebraic view on reachability T Wißmann, S Milius, S Katsumata, J Dubut arXiv preprint arXiv:1901.10717, 2019 | 3 | 2019 |
| Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages U Dorsch, S Milius, L Schröder, T Wißmann International Workshop on Coalgebraic Methods in Computer Science, 56-77, 2018 | 3 | 2018 |
| Finitely Presentable Algebras For Finitary Monads J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1909.02524, 2019 | 2 | 2019 |
| Path category for free-Open morphisms from coalgebras with non-deterministic branching T Wißmann, J Dubut, S Katsumata, I Hasuo arXiv preprint arXiv:1811.12294, 2018 | 2 | 2018 |
| A coalgebraic paige-tarjan algorithm U Dorsch, S Milius, L Schröder, T Wißmann CoRR, abs/1705.08362, 2017 | 2 | 2017 |
| 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 | 2 | 2016 |
| A new approach for active automata learning based on apartness F Vaandrager, B Garhewal, J Rot, T Wißmann arXiv preprint arXiv:2107.05419, 2021 | 1 | 2021 |
| From generic partition refinement to weighted tree automata minimization T Wißmann, HP Deifel, S Milius, L Schröder Formal Aspects of Computing, 1-33, 2021 | 1 | 2021 |
