Search Results - Deifel, Hans-Peter

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    From generic partition refinement to weighted tree automata minimization

    From generic partition refinement to weighted tree automata minimization by Wißmann, Thorsten, Deifel, Hans-Peter, Milius, Stefan, Schröder, Lutz

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Unifying Metadata-Based Storage Reconstruction and Carving with LAYR

    Unifying Metadata-Based Storage Reconstruction and Carving with LAYR by Schneider, Janine, Deifel, Hans-Peter, Milius, Stefan, Freiling, Felix

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Coalgebra Encoding for Efficient Minimization

    Coalgebra Encoding for Efficient Minimization by Deifel, Hans-Peter, Milius, Stefan, Wißmann, Thorsten

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Distributed Coalgebraic Partition Refinement

    Distributed Coalgebraic Partition Refinement by Birkmann, Fabian, Deifel, Hans-Peter, Milius, Stefan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    From Generic Partition Refinement to Weighted Tree Automata Minimization

    From Generic Partition Refinement to Weighted Tree Automata Minimization by Wißmann, Thorsten, Deifel, Hans-Peter, Milius, Stefan, Schröder, Lutz

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Permutation Games for the Weakly Aconjunctive \(\mu\)-Calculus

    Permutation Games for the Weakly Aconjunctive \(\mu\)-Calculus by Hausmann, Daniel, Schröder, Lutz, Deifel, Hans-Peter

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Generic Partition Refinement and Weighted Tree Automata

    Generic Partition Refinement and Weighted Tree Automata by Deifel, Hans-Peter, Milius, Stefan, Schröder, Lutz, Wißmann, Thorsten

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: