pith. sign in

Henning Schnoor

Identifiers

  • name variant Henning Schnoor 0.60 · backfill

Papers (14)

  1. Complexity Dichotomies for Unweighted Scoring Rules cs.CC · 2016 · author #2
  2. A Van Benthem Theorem for Modal Team Semantics cs.LO · 2014 · author #3
  3. The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex cs.LO · 2014 · author #1
  4. A Control Dichotomy for Pure Scoring Rules cs.GT · 2014 · author #3
  5. Modal Independence Logic cs.LO · 2014 · author #3
  6. Active Linkability Attacks cs.CR · 2013 · author #1
  7. Complexity and Unwinding for Intransitive Noninterference cs.CR · 2013 · author #3
  8. Relation-algebraic and Tool-supported Control of Condorcet Voting cs.GT · 2013 · author #2
  9. Noninterference with Local Policies cs.CR · 2012 · author #2
  10. A Simplest Undecidable Modal Logic cs.LO · 2011 · author #2
  11. Minimization for Generalized Boolean Formulas cs.CC · 2011 · author #2
  12. The Complexity of Generalized Satisfiability for Linear Temporal Logic cs.LO · 2008 · author #3
  13. Generalized Modal Satisfiability cs.CC · 2008 · author #2
  14. On the Complexity of Elementary Modal Logics cs.CC · 2008 · author #2

Mentions

  • 1208.5580 #2 · backfill · confidence 0.70 Henning Schnoor
  • 1105.0845 #2 · backfill · confidence 0.70 Henning Schnoor
  • 1104.2312 #2 · backfill · confidence 0.70 Henning Schnoor
  • 0812.4848 #3 · backfill · confidence 0.70 Henning Schnoor
  • 0804.2729 #2 · backfill · confidence 0.70 Henning Schnoor
  • 0802.1884 #2 · backfill · confidence 0.70 Henning Schnoor

Frequent Coauthors