Follow
Thorsten Wißmann
Title
Cited by
Cited by
Year
Nominal automata with name binding
L Schröder, D Kozen, S Milius, T Wißmann
Foundations of Software Science and Computation Structures: 20th …, 2017
292017
Efficient coalgebraic partition refinement
U Dorsch, S Milius, L Schröder, T Wißmann
arXiv preprint arXiv:1705.08362, 2017
252017
On finitary functors
J Adámek, S Milius, L Sousa, T Wißmann
arXiv preprint arXiv:1902.05788, 2019
182019
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
172022
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
142016
Efficient and modular coalgebraic partition refinement
L Schröder, S Milius, U Dorsch, T Wißmann
Logical Methods in Computer Science 16, 2020
132020
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
132019
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
112014
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
102016
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
92019
Finitary corecursion for the infinitary lambda calculus
S Milius, T Wißmann
arXiv preprint arXiv:1505.07736, 2015
92015
A coalgebraic view on reachability
T Wißmann, S Milius, S Katsumata, J Dubut
arXiv preprint arXiv:1901.10717, 2019
82019
Explaining behavioural inequivalence generically in quasilinear time
T Wißmann, S Milius, L Schröder
arXiv preprint arXiv:2105.00669, 2021
62021
A new foundation for finitary corecursion and iterative algebras
S Milius, D Pattinson, T Wißmann
Information and Computation 271, 104456, 2020
62020
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
62018
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
52021
Coalgebraic semantics and minimization in sets and beyond
T Wißmann
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2020
52020
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
42016
Finitely presentable algebras for finitary monads
J Adámek, S Milius, L Sousa, T Wißmann
arXiv preprint arXiv:1909.02524, 2019
32019
On finitary functors and finitely presentable algebras
J Adámek, S Milius, L Sousa, T Wißmann
preprint, 1902
31902
The system can't perform the operation now. Try again later.
Articles 1–20