Showing 1 - 4 results of 4 for search 'Thorsten Wißmann', query time: 0.02s Refine Results
  1. 1
    Minimality Notions via Factorization Systems and Examples

    Minimality Notions via Factorization Systems and Examples by Thorsten Wißmann

    Published 2022-09-01
    Get full text
    Article
  2. 2
    Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence

    Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence by Thorsten Wißmann, Stefan Milius, Lutz Schröder

    Published 2022-11-01
    Get full text
    Article
  3. 3
    Efficient and Modular Coalgebraic Partition Refinement

    Efficient and Modular Coalgebraic Partition Refinement by Thorsten Wißmann, Ulrich Dorsch, Stefan Milius, Lutz Schröder

    Published 2020-01-01
    Get full text
    Article
  4. 4
    A coalgebraic treatment of conditional transition systems with upgrades

    A coalgebraic treatment of conditional transition systems with upgrades by Harsh Beohar, Barbara König, Sebastian Küpper, Alexandra Silva, Thorsten Wißmann

    Published 2018-02-01
    Get full text
    Article

Search Tools: