pith. sign in

Lutz Schr\"oder

Identifiers

  • name variant Lutz Schr\"oder 0.60 · backfill

Papers (27)

  1. Higher-order bialgebraic semantics cs.LO · 2024 · author #3
  2. Towards a Higher-Order Mathematical Operational Semantics cs.LO · 2022 · author #3
  3. A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic cs.LO · 2019 · author #2
  4. Optimal Satisfiability Checking for Arithmetic $\mu$-Calculi cs.LO · 2019 · author #2
  5. Trichotomic Argumentation Representation cs.AI · 2018 · author #2
  6. Generic Partition Refinement and Weighted Tree Automata cs.DS · 2018 · author #3
  7. A van Benthem Theorem for Quantitative Probabilistic Modal Logic cs.LO · 2018 · author #2
  8. Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages cs.LO · 2018 · author #3
  9. Guarded Traced Categories cs.LO · 2018 · author #2
  10. A van Benthem Theorem for Fuzzy Modal Logic cs.LO · 2018 · author #2
  11. Permutation Games for the Weakly Aconjunctive $\mu$-Calculus cs.LO · 2017 · author #2
  12. A Characterization Theorem for a Modal Description Logic cs.LO · 2017 · author #2
  13. Global Caching for the Alternation-free $\mu$-Calculus cs.LO · 2016 · author #2
  14. Regular Behaviours with Names cs.LO · 2016 · author #2
  15. Simplified Coalgebraic Trace Equivalence cs.LO · 2014 · author #4
  16. Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics cs.LO · 2014 · author #2
  17. Towards Ontological Support for Principle Solutions in Mechanical Engineering cs.SE · 2013 · author #5
  18. Simulations and Bisimulations For Coalgebraic Modal Logics cs.LO · 2013 · author #2
  19. Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds cs.RO · 2011 · author #4
  20. A Coinductive Calculus for Asynchronous Side-effecting Processes cs.LO · 2011 · author #2
  21. Powermonads and Tensors of Unranked Effects cs.LO · 2011 · author #2
  22. Completeness of Flat Coalgebraic Fixpoint Logics cs.LO · 2010 · author #1
  23. Strong Completeness of Coalgebraic Modal Logics cs.LO · 2009 · author #1
  24. Bootstrapping Inductive and Coinductive Types in HasCASL cs.LO · 2008 · author #1
  25. Shallow Models for Non-Iterative Modal Logics cs.LO · 2008 · author #1
  26. PSPACE Bounds for Rank-1 Modal Logics cs.LO · 2007 · author #1
  27. Linearizability of Non-expansive Semigroup Actions on Metric Spaces math.MG · 2006 · author #1

Mentions

  • 1410.2463 #4 · backfill · confidence 0.70 Lutz Schr\"oder
  • 2405.16708 #3 · arxiv_oai · confidence 0.70 Lutz Schr\"oder
  • 1401.6359 #2 · backfill · confidence 0.70 Lutz Schr\"oder
  • 1312.2359 #5 · backfill · confidence 0.70 Lutz Schr\"oder
  • 1303.2467 #2 · backfill · confidence 0.70 Lutz Schr\"oder
  • 1107.1119 #4 · backfill · confidence 0.70 Lutz Schr\"oder
  • 1104.2936 #2 · backfill · confidence 0.70 Lutz Schr\"oder
  • 1101.2777 #2 · backfill · confidence 0.70 Lutz Schr\"oder
  • 1004.2717 #1 · backfill · confidence 0.70 Lutz Schr\"oder
  • 0902.2072 #1 · backfill · confidence 0.70 Lutz Schr\"oder
  • 0812.3836 #1 · backfill · confidence 0.70 Lutz Schr\"oder
  • 0802.0116 #1 · backfill · confidence 0.70 Lutz Schr\"oder
  • 0706.4044 #1 · backfill · confidence 0.70 Lutz Schr\"oder

Frequent Coauthors