Thorsten Wißmann -

Registered user since Tue 29 Jan 2019

Name:Thorsten Wißmann

Bio:

Personal Homepage

Country:Germany

Affiliation:Friedrich-Alexander University Erlangen-Nürnberg

Personal website: https://thorsten-wissmann.de

Contributions

2026

PLDI

Author of Intrinsically Correct Algorithms and Recursive Coalgebras within the PLDI Research Papers-track

2023

ICSE

Author of Generic Partition Refinement and Weighted Tree Automata within the Showcase-track

2019

FOSSACS

Author of Path category for free - Open morphisms from coalgebras with non-deterministic branching within the FOSSACS 2019-track