| Copeland voting: Ties matter P Faliszewski, E Hemaspaandra, H Schnoor Proceedings of the 7th international joint conference on Autonomous agents …, 2008 | 126 | 2008 |
| 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 | 61 | 2008 |
| Partial polymorphisms and constraint satisfaction problems H Schnoor, I Schnoor Complexity of Constraints, 229-254, 2008 | 56 | 2008 |
| Bases for Boolean co-clones E Böhler, S Reith, H Schnoor, H Vollmer Information Processing Letters 96 (2), 59-66, 2005 | 56 | 2005 |
| Simple bases for Boolean co-clones E Bohler, S Reith, H Schnoor, H Vollmer Information Processing Letters, 2005 | 56* | 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 | 54 | 2009 |
| Manipulation of Copeland elections P Faliszewski, E Hemaspaandra, H Schnoor Proceedings of the 9th International Conference on Autonomous Agents and …, 2010 | 43 | 2010 |
| 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 | 42 | 2005 |
| 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 | 41* | 2008 |
| Modal Independence Logic J Kontinen, JS Müller, H Schnoor, H Vollmer arXiv preprint arXiv:1404.0144, 2014 | 37 | 2014 |
| A Van Benthem Theorem for Modal Team Semantics J Kontinen, JS Müller, H Schnoor, H Vollmer arXiv preprint arXiv:1410.6648, 2014 | 35 | 2014 |
| Minimization for generalized Boolean formulas E Hemaspaandra, H Schnoor Proceedings of the Twenty-Second international joint conference on …, 2011 | 31 | 2011 |
| Generalized modal satisfiability E Hemaspaandra, H Schnoor, I Schnoor Journal of Computer and System Sciences 76 (7), 561-578, 2010 | 31 | 2010 |
| Generalized modal satisfiability M Bauland, E Hemaspaandra, H Schnoor, I Schnoor STACS 2006, 500-511, 2006 | 30 | 2006 |
| A Control Dichotomy for Pure Scoring Rules E Hemaspaandra, LA Hemaspaandra, H Schnoor arXiv preprint arXiv:1404.4560, 2014 | 27 | 2014 |
| 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 | 26 | 2011 |
| 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 | 26 | 2009 |
| Enumerating all solutions for constraint satisfaction problems H Schnoor, I Schnoor STACS 2007, 694-705, 2007 | 25 | 2007 |
| 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 | 22 | 2011 |
| On the complexity of elementary modal logics E Hemaspaandra, H Schnoor Arxiv preprint arXiv:0802.1884, 2008 | 21 | 2008 |
