Thorsten Wi▀mann
Title
Cited by
Cited by
Year
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
252017
Efficient coalgebraic partition refinement
U Dorsch, S Milius, L Schr÷der, T Wi▀mann
arXiv preprint arXiv:1705.08362, 2017
152017
On finitary functors
J Adßmek, S Milius, L Sousa, T Wi▀mann
arXiv preprint arXiv:1902.05788, 2019
132019
Regular behaviours with names
S Milius, L Schr÷der, T Wi▀mann
Applied Categorical Structures 24 (5), 663-701, 2016
122016
A new foundation for finitary corecursion
S Milius, D Pattinson, T Wi▀mann
International Conference on Foundations of Software Science and Computationá…, 2016
102016
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
102014
Finitary corecursion for the infinitary lambda calculus
S Milius, T Wi▀mann
arXiv preprint arXiv:1505.07736, 2015
92015
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
72019
Path category for free
T Wi▀mann, J Dubut, S Katsumata, I Hasuo
Foundations of Software Science and Computation Structures, M. Bojanczyk andá…, 2019
52019
Efficient and modular coalgebraic partition refinement
T Wi▀mann, U Dorsch, S Milius, L Schr÷der
arXiv preprint arXiv:1806.05654, 2018
52018
A new foundation for finitary corecursion and iterative algebras
S Milius, D Pattinson, T Wi▀mann
Information and Computation 271, 104456, 2020
42020
Coalgebraic semantics and minimization in sets and beyond
T Wi▀mann
32020
A coalgebraic view on reachability
T Wi▀mann, S Milius, S Katsumata, J Dubut
arXiv preprint arXiv:1901.10717, 2019
32019
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
32018
Finitely Presentable Algebras For Finitary Monads
J Adßmek, S Milius, L Sousa, T Wi▀mann
arXiv preprint arXiv:1909.02524, 2019
22019
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
22018
A coalgebraic paige-tarjan algorithm
U Dorsch, S Milius, L Schr÷der, T Wi▀mann
CoRR, abs/1705.08362, 2017
22017
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
22016
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
12021
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
12021
The system can't perform the operation now. Try again later.
Articles 1–20