Follow
Henning Schnoor
Henning Schnoor
Researcher of Computer Science, Dept. of Computer Science, Kiel University
Verified email at ti.informatik.uni-kiel.de - Homepage
Title
Cited by
Cited by
Year
Copeland voting: Ties matter
P Faliszewski, E Hemaspaandra, H Schnoor
Proceedings of the 7th international joint conference on Autonomous agents …, 2008
1272008
Approximability of manipulating elections
E Brelsford, P Faliszewski, E Hemaspaandra, H Schnoor, I Schnoor
Proceedings of the 23rd AAAI Conference on Artificial Intelligence, 44-49, 2008
682008
Bases for Boolean co-clones
E Böhler, S Reith, H Schnoor, H Vollmer
Information Processing Letters 96 (2), 59-66, 2005
622005
Simple bases for Boolean co-clones
E Bohler, S Reith, H Schnoor, H Vollmer
Information Processing Letters, 2005
62*2005
The complexity of satisfiability problems: Refining Schaefer's theorem
E Allender, M Bauland, N Immerman, H Schnoor, H Vollmer
Journal of Computer and System Sciences 75 (4), 245-254, 2009
612009
Partial polymorphisms and constraint satisfaction problems
H Schnoor, I Schnoor
Complexity of Constraints, 229-254, 2008
612008
Manipulation of Copeland elections
P Faliszewski, E Hemaspaandra, H Schnoor
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
442010
A Van Benthem Theorem for Modal Team Semantics
J Kontinen, JS Müller, H Schnoor, H Vollmer
arXiv preprint arXiv:1410.6648, 2014
432014
Modal Independence Logic
J Kontinen, JS Müller, H Schnoor, H Vollmer
arXiv preprint arXiv:1404.0144, 2014
422014
The complexity of satisfiability problems: Refining Schaefer’s theorem
E Allender, M Bauland, N Immerman, H Schnoor, H Vollmer
Mathematical Foundations of Computer Science 2005, 71-82, 2005
422005
The complexity of generalized satisfiability for linear temporal logic
M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer
Arxiv preprint arXiv:0812.4848, 2008
412008
Minimization for generalized Boolean formulas
E Hemaspaandra, H Schnoor
Proceedings of the Twenty-Second international joint conference on …, 2011
362011
A Control Dichotomy for Pure Scoring Rules
E Hemaspaandra, LA Hemaspaandra, H Schnoor
arXiv preprint arXiv:1404.4560, 2014
322014
Generalized modal satisfiability
E Hemaspaandra, H Schnoor, I Schnoor
Journal of Computer and System Sciences 76 (7), 561-578, 2010
322010
Generalized modal satisfiability
M Bauland, E Hemaspaandra, H Schnoor, I Schnoor
STACS 2006, 500-511, 2006
292006
The tractability of model checking for LTL: The good, the bad, and the ugly fragments
M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer
ACM Transactions on Computational Logic (TOCL) 12 (2), 13, 2011
282011
Enumerating all solutions for constraint satisfaction problems
H Schnoor, I Schnoor
STACS 2007, 694-705, 2007
272007
The Complexity of Intransitive Noninterference
S Eggert, R van der Meyden, H Schnoor, T Wilke
Security and Privacy (SP), 2011 IEEE Symposium on, 196-211, 2011
252011
The tractability of model-checking for LTL: The good, the bad, and the ugly fragments
M Bauland, M Mundhenk, T Schneider, H Schnoor, I Schnoor, H Vollmer
Electronic Notes in Theoretical Computer Science 231, 277-292, 2009
242009
The complexity of generalized satisfiability for linear temporal logic
M Bauland, T Schneider, H Schnoor, I Schnoor, H Vollmer
Foundations of Software Science and Computational Structures, 48-62, 2007
242007
The system can't perform the operation now. Try again later.
Articles 1–20