| 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 | 26 | 2017 |
| Efficient coalgebraic partition refinement U Dorsch, S Milius, L Schröder, T Wißmann arXiv preprint arXiv:1705.08362, 2017 | 24 | 2017 |
| On finitary functors J Adámek, S Milius, L Sousa, T Wissmann arXiv preprint arXiv:1902.05788, 2019 | 15 | 2019 |
| Regular behaviours with names S Milius, L Schröder, T Wißmann Applied Categorical Structures 24 (5), 663-701, 2016 | 14 | 2016 |
| 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 | 12 | 2019 |
| Efficient and modular coalgebraic partition refinement T Wißmann, U Dorsch, S Milius, L Schröder arXiv preprint arXiv:1806.05654, 2018 | 12 | 2018 |
| 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 |
| A coalgebraic view on reachability T Wißmann, S Milius, S Katsumata, J Dubut arXiv preprint arXiv:1901.10717, 2019 | 8 | 2019 |
| A new foundation for finitary corecursion and iterative algebras S Milius, D Pattinson, T Wißmann Information and Computation 271, 104456, 2020 | 7 | 2020 |
| Path category for free T Wißmann, J Dubut, S Katsumata, I Hasuo International Conference on Foundations of Software Science and Computation …, 2019 | 7 | 2019 |
| A new approach for active automata learning based on apartness F Vaandrager, B Garhewal, J Rot, T Wißmann International Conference on Tools and Algorithms for the Construction and …, 2022 | 6 | 2022 |
| Coalgebraic semantics and minimization in sets and beyond T Wißmann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020 | 6 | 2020 |
| 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 | 5 | 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), 695-727, 2021 | 4 | 2021 |
| Explaining Behavioural Inequivalence Generically in Quasilinear Time T Wißmann, S Milius, L Schröder arXiv preprint arXiv:2105.00669, 2021 | 3 | 2021 |
| Finitely presentable algebras for finitary monads J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1909.02524, 2019 | 3 | 2019 |
| 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 | 3 | 2016 |
| On finitary functors and finitely presentable algebras J Adámek, S Milius, L Sousa, T Wißmann preprint, 1902 | 3 | 1902 |
