| 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 | 55 | 2022 |
| Nominal automata with name binding L Schröder, D Kozen, S Milius, T Wißmann Foundations of Software Science and Computation Structures: 20th …, 2017 | 36 | 2017 |
| Efficient coalgebraic partition refinement U Dorsch, S Milius, L Schröder, T Wißmann arXiv preprint arXiv:1705.08362, 2017 | 29 | 2017 |
| On finitary functors J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1902.05788, 2019 | 25 | 2019 |
| 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 | 18 | 2019 |
| Efficient and modular coalgebraic partition refinement T Wißmann, U Dorsch, S Milius, L Schröder Logical Methods in Computer Science 16, 2020 | 17 | 2020 |
| 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 | 17 | 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 | 14 | 2014 |
| A new foundation for finitary corecursion: The locally finite fixpoint and its properties S Milius, D Pattinson, T Wißmann International Conference on Foundations of Software Science and Computation …, 2016 | 13 | 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 | 11 | 2019 |
| Fast coalgebraic bisimilarity minimization J Jacobs, T Wißmann Proceedings of the ACM on Programming Languages 7 (POPL), 1514-1541, 2023 | 10 | 2023 |
| Finitely presentable algebras for finitary monads J Adámek, S Milius, L Sousa, T Wißmann arXiv preprint arXiv:1909.02524, 2019 | 10 | 2019 |
| Finitary corecursion for the infinitary lambda calculus S Milius, T Wißmann arXiv preprint arXiv:1505.07736, 2015 | 10 | 2015 |
| A new foundation for finitary corecursion and iterative algebras S Milius, D Pattinson, T Wißmann Information and Computation 271, 104456, 2020 | 9 | 2020 |
| 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 | 8 | 2021 |
| 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 |
| Coalgebraic semantics and minimization in sets and beyond T Wißmann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020 | 6 | 2020 |
| Quasilinear-time computation of generic modal witnesses for behavioural inequivalence T Wißmann, S Milius, L Schröder Logical Methods in Computer Science 18, 2022 | 5 | 2022 |
| 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 |
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
