| 2018 | ICSE | Toward measuring software coupling via weighted dynamic metrics. | Henning Schnoor, Wilhelm Hasselbring |
| 2016 | ECAI | Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions. | Edith Hemaspaandra, Henning Schnoor |
| 2015 | CSL | A Van Benthem Theorem for Modal Team Semantics. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2015 | MFCS | Active Linking Attacks. | Henning Schnoor, Oliver Woizekowski |
| 2014 | AAAI | A Control Dichotomy for Pure Scoring Rules. | Edith Hemaspaandra, Lane A. Hemaspaandra, Henning Schnoor |
| 2014 | AiML | Modal Independence Logic. | Juha Kontinen, Julian-Steffen Mller, Henning Schnoor, Heribert Vollmer |
| 2013 | ICAART | Quantified Epistemic and Probabilistic ATL. | Henning Schnoor |
| 2013 | ICAART | Epistemic and Probabilistic ATL with Quantification and Explicit Strategies. | Henning Schnoor |
| 2013 | MFCS | Noninterference with Local Policies. | Sebastian Eggert, Henning Schnoor, Thomas Wilke |
| 2013 | PRIMA | Defendable Security in Interaction Protocols. | Wojciech Jamroga, Matthijs Melissen, Henning Schnoor |
| 2012 | ECAI | Weighted Manipulation for Four-Candidate Llull Is Easy. | Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor |
| 2012 | ESORICS | Deciding Epistemic and Strategic Properties of Cryptographic Protocols. | Henning Schnoor |
| 2011 | IJCAI | Minimization for Generalized Boolean Formulas. | Edith Hemaspaandra, Henning Schnoor |
| 2011 | MFCS | A Universally Defined Undecidable Unimodal Logic. | Edith Hemaspaandra, Henning Schnoor |
| 2011 | SP | The Complexity of Intransitive Noninterference. | Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke |
| 2010 | CCS | Computationally secure two-round authenticated message exchange. | Klaas Ole Krtz, Henning Schnoor, Thomas Wilke |
| 2010 | SecureComm | A Formal Definition of Online Abuse-Freeness. | Ralf Ksters, Henning Schnoor, Tomasz Truderung |
| 2009 | ESORICS | Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. | Mihhail Aizatulin, Henning Schnoor, Thomas Wilke |
| 2008 | AAAI | Approximability of Manipulating Elections. | Eric Brelsford, Piotr Faliszewski, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor |
| 2008 | CSL | Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. | Nadia Creignou, Henning Schnoor, Ilka Schnoor |
| 2008 | STACS | On the Complexity of Elementary Modal Logics. | Edith Hemaspaandra, Henning Schnoor |
| 2007 | FOSSACS | The Complexity of Generalized Satisfiability for Linear Temporal Logic. | Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
| 2007 | STACS | Enumerating All Solutions for Constraint Satisfaction Problems. | Henning Schnoor, Ilka Schnoor |
| 2006 | STACS | Generalized Modal Satisfiability. | Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor |
| 2005 | MFCS | The Complexity of Satisfiability Problems: Refining Schaefer's Theorem. | Eric Allender, Michael Bauland, Neil Immerman, Henning Schnoor, Heribert Vollmer |