Thorsten Wißmann

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 46

Top Topics

Top Venues

Log. Methods Comput. Sci.

Publications

Thorsten Wißmann, Stefan Milius
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. CoRR (2024)
Thorsten Wißmann, Stefan Milius
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. LICS (2024)
Jurriaan Rot, Thorsten Wißmann
Bisimilar States in Uncertain Structures. CALCO (2023)
Frits W. Vaandrager, Thorsten Wißmann
Action Codes. CoRR (2023)
Jurriaan Rot, Thorsten Wißmann
Bisimilar States in Uncertain Structures. CoRR (2023)
Jérémy Dubut, Thorsten Wißmann
Weighted and Branching Bisimilarities from Generalized Open Maps. CoRR (2023)
Jérémy Dubut, Thorsten Wißmann
Weighted and Branching Bisimilarities from Generalized Open Maps. FoSSaCS (2023)
Frits W. Vaandrager, Thorsten Wißmann
Action Codes. ICALP (2023)
Thorsten Wißmann
Supported Sets - A New Foundation for Nominal Sets and Automata. CSL (2023)
Jules Jacobs, Thorsten Wißmann
Fast Coalgebraic Bisimilarity Minimization. Proc. ACM Program. Lang. 7 (POPL) (2023)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
A New Approach for Active Automata Learning Based on Apartness. TACAS (1) (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. Log. Methods Comput. Sci. 18 (4) (2022)
Jules Jacobs, Thorsten Wißmann
Coalgebraic Partition Refinement For All Functors. CoRR (2022)
Thorsten Wißmann
Minimality Notions via Factorization Systems and Examples. CoRR (2022)
Thorsten Wißmann
Minimality Notions via Factorization Systems and Examples. Log. Methods Comput. Sci. 18 (3) (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence. CoRR (2022)
Joshua Moerman, Thorsten Wißmann
State Identification and Verification with Satisfaction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Thorsten Wißmann
Supported Sets - A New Foundation For Nominal Sets And Automata. CoRR (2022)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Explaining Behavioural Inequivalence Generically in Quasilinear Time. CONCUR (2021)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From generic partition refinement to weighted tree automata minimization. Formal Aspects Comput. 33 (4-5) (2021)
Thorsten Wißmann
Minimality Notions via Factorization Systems. CoRR (2021)
Thorsten Wißmann
Minimality Notions via Factorization Systems ((Co)algebraic pearls). CALCO (2021)
Thorsten Wißmann, Stefan Milius, Lutz Schröder
Explaining Behavioural Inequivalence Generically in Quasilinear Time. CoRR (2021)
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
Coalgebra Encoding for Efficient Minimization. FSCD (2021)
Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann
Coalgebra Encoding for Efficient Minimization. CoRR (2021)
Frits W. Vaandrager, Bharat Garhewal, Jurriaan Rot, Thorsten Wißmann
A New Approach for Active Automata Learning Based on Apartness. CoRR (2021)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. Log. Methods Comput. Sci. 16 (1) (2020)
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
From Generic Partition Refinement to Weighted Tree Automata Minimization. CoRR (2020)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A new foundation for finitary corecursion and iterative algebras. Inf. Comput. 271 (2020)
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
Path Category for Free - Open Morphisms from Coalgebras with Non-deterministic Branching. FoSSaCS (2019)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Generic Partition Refinement and Weighted Tree Automata. FM (2019)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CoRR (2018)
Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder
Efficient and Modular Coalgebraic Partition Refinement. CoRR (2018)
Hans-Peter Deifel, Stefan Milius, Lutz Schröder, Thorsten Wißmann
CoPaR: An Efficient Generic Partition Refiner. CoRR (2018)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion and Iterative Algebras. CoRR (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages. CMCS (2018)
Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo
Path category for free - Open morphisms from coalgebras with non-deterministic branching. CoRR (2018)
Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann
A coalgebraic treatment of conditional transition systems with upgrades. Log. Methods Comput. Sci. 14 (1) (2018)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Efficient Coalgebraic Partition Refinement. CONCUR (2017)
Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
A Coalgebraic Paige-Tarjan Algorithm. CoRR (2017)
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Nominal Automata with Name Binding. FoSSaCS (2017)
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Regular Behaviours with Names. CoRR (2016)
Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Nominal Automata with Name Binding. CoRR (2016)
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Regular Behaviours with Names - On Rational Fixpoints of Endofunctors on Nominal Sets. Appl. Categorical Struct. 24 (5) (2016)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion. CoRR (2016)
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
A New Foundation for Finitary Corecursion - The Locally Finite Fixpoint and Its Properties. FoSSaCS (2016)
Stefan Milius, Thorsten Wißmann
Finitary Corecursion for the Infinitary Lambda Calculus. CALCO (2015)
Stefan Milius, Thorsten Wißmann
Finitary Corecursion for the Infinitary Lambda Calculus. CoRR (2015)
Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). IJCAR (2014)
Daniel Gorín, Lutz Schröder, Thorsten Wißmann
Reasoning with Bounded Self-reference Using Logical Interpreters. Description Logics (2013)