Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation - Michael Bauland; Elmar Böhler; Nadia Creignou; Steffen Reith; Henning Schnoor; Heribert Vollmer (Electron. Colloquium Comput. Complex., 2005)

Bases for Boolean co-clones. - Elmar Böhler; Steffen Reith; Henning Schnoor; Heribert Vollmer (Inf. Process. Lett., 2005)

New Algebraic Tools for Constraint Satisfaction. - Henning Schnoor; Ilka Schnoor (Complexity of Constraints, 2006)

Generalized Modal Satisfiability. - Michael Bauland; Edith Hemaspaandra; Henning Schnoor; Ilka Schnoor (STACS, 2006)

The Complexity of Generalized Satisfiability for Linear Temporal Logic. - Michael Bauland; Thomas Schneider 002; Henning Schnoor; Ilka Schnoor; Heribert Vollmer (Electron. Colloquium Comput. Complex., 2006)

Enumerating All Solutions for Constraint Satisfaction Problems. - Henning Schnoor; Ilka Schnoor (STACS, 2007)

The Complexity of Problems for Quantified Constraints. - Heribert Vollmer; Michael Bauland; Elmar Böhler; Nadia Creignou; Steffen Reith; Henning Schnoor (Electron. Colloquium Comput. Complex., 2007)

The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates. - Elmar Böhler; Henning Schnoor (Theory Comput. Syst., 2007)

Approximability of Manipulating Elections. - Eric Brelsford; Piotr Faliszewski; Edith Hemaspaandra; Henning Schnoor; Ilka Schnoor (AAAI, 2008)

Copeland voting: ties matter. - Piotr Faliszewski; Edith Hemaspaandra; Henning Schnoor (AAMAS (2), 2008)

Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint. - Nadia Creignou; Henning Schnoor; Ilka Schnoor (CSL, 2008)

Partial Polymorphisms and Constraint Satisfaction Problems. - Henning Schnoor; Ilka Schnoor (Complexity of Constraints, 2008)

On the Complexity of Elementary Modal Logics. - Edith Hemaspaandra; Henning Schnoor (STACS, 2008)

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments. - Michael Bauland; Martin Mundhenk; Thomas Schneider 002; Henning Schnoor; Ilka Schnoor; Heribert Vollmer (Electron. Colloquium Comput. Complex., 2008)

Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. - Mihhail Aizatulin; Henning Schnoor; Thomas Wilke (ESORICS, 2009)

Computationally Secure Two-Round Authenticated Message Exchange. - Klaas Ole Kürtz; Henning Schnoor; Thomas Wilke (IACR Cryptol. ePrint Arch., 2009)

A Simulation-Based Treatment of Authenticated Message Exchange. - Klaas Ole Kürtz; Henning Schnoor; Thomas Wilke (IACR Cryptol. ePrint Arch., 2009)

The complexity of satisfiability problems: Refining Schaefer's theorem. - Eric Allender; Michael Bauland; Neil Immerman; Henning Schnoor; Heribert Vollmer (J. Comput. Syst. Sci., 2009)

Manipulation of copeland elections. - Piotr Faliszewski; Edith Hemaspaandra; Henning Schnoor (AAMAS, 2010)

Strategic planning for probabilistic games with incomplete information. - Henning Schnoor (AAMAS, 2010)

A Formal Definition of Online Abuse-Freeness. - Ralf Küsters; Henning Schnoor; Tomasz Truderung (SecureComm, 2010)

Boolean Circuits as a Data Structure for Boolean Functions: Efficient Algorithms and Hard Problems - Elmar Böhler; Nadia Creignou; Matthias Galota; Steffen Reith; Henning Schnoor; Heribert Vollmer (Log. Methods Comput. Sci., 2010)

The Complexity of Model Checking for Boolean Formulas. - Henning Schnoor (Int. J. Found. Comput. Sci., 2010)

Generalized modal satisfiability. - Edith Hemaspaandra; Henning Schnoor; Ilka Schnoor (J. Comput. Syst. Sci., 2010)

Nonuniform Boolean constraint satisfaction problems with cardinality constraint. - Nadia Creignou; Henning Schnoor; Ilka Schnoor (ACM Trans. Comput. Log., 2010)

Minimization for Generalized Boolean Formulas. - Edith Hemaspaandra; Henning Schnoor (IJCAI, 2011)

A Universally Defined Undecidable Unimodal Logic. - Edith Hemaspaandra; Henning Schnoor (MFCS, 2011)

The Complexity of Intransitive Noninterference. - Sebastian Eggert; Ron van der Meyden; Henning Schnoor; Thomas Wilke (IEEE Symposium on Security and Privacy, 2011)

A Simplest Undecidable Modal Logic - Edith Hemaspaandra; Henning Schnoor (CoRR, 2011)

Weighted Manipulation for Four-Candidate Llull Is Easy. - Piotr Faliszewski; Edith Hemaspaandra; Henning Schnoor (ECAI, 2012)

Dynamic Noninterference: Consistent Policies, Characterizations and Verification - Sebastian Eggert; Henning Schnoor; Thomas Wilke (CoRR, 2012)

Deciding Epistemic and Strategic Properties of Cryptographic Protocols. - Henning Schnoor (IACR Cryptol. ePrint Arch., 2012)

Quantified Epistemic and Probabilistic ATL. - Henning Schnoor (ICAART (2), 2013)

Epistemic and Probabilistic ATL with Quantification and Explicit Strategies. - Henning Schnoor (ICAART (Revised Selected Papers), 2013)

Noninterference with Local Policies. - Sebastian Eggert; Henning Schnoor; Thomas Wilke (MFCS, 2013)

Defendable Security in Interaction Protocols. - Wojciech Jamroga; Matthijs Melissen; Henning Schnoor (PRIMA, 2013)

Complexity and Unwinding for Intransitive Noninterference. - Sebastian Eggert; Ron van der Meyden; Henning Schnoor; Thomas Wilke (CoRR, 2013)

Active Linkability Attacks. - Henning Schnoor; Oliver Woizekowski (CoRR, 2013)

Relation-algebraic and Tool-supported Control of Condorcet Voting - Rudolf Berghammer; Henning Schnoor (CoRR, 2013)

Relation Algebra and RelView Applied to Approval Voting. - Rudolf Berghammer; Nikita Danilenko; Henning Schnoor (RAMiCS, 2014)

A Control Dichotomy for Pure Scoring Rules. - Edith Hemaspaandra; Lane A. Hemaspaandra; Henning Schnoor (AAAI, 2014)

On Defendability of Security Properties. - Wojciech Jamroga; Matthijs Melissen; Henning Schnoor (SR, 2014)

The Relative Succinctness and Expressiveness of Modal Logics Can Be Arbitrarily Complex. - Henning Schnoor (CoRR, 2014)

A Van Benthem Theorem for Modal Team Semantics. - Juha Kontinen; Julian-Steffen Müller; Henning Schnoor; Heribert Vollmer (CSL, 2015)

Active Linking Attacks. - Henning Schnoor; Oliver Woizekowski (MFCS (2), 2015)

Control of Condorcet voting: Complexity and a Relation-Algebraic approach. - Rudolf Berghammer; Henning Schnoor (Eur. J. Oper. Res., 2015)

Dichotomy for Pure Scoring Rules Under Manipulative Electoral Actions. - Edith Hemaspaandra; Henning Schnoor (ECAI, 2016)

Complexity Dichotomies for Unweighted Scoring Rules. - Edith Hemaspaandra; Henning Schnoor (CoRR, 2016)

Modal independence logic. - Juha Kontinen; Julian-Steffen Müller; Henning Schnoor; Heribert Vollmer (J. Log. Comput., 2017)

Toward measuring software coupling via weighted dynamic metrics. - Henning Schnoor; Wilhelm Hasselbring (ICSE (Companion Volume), 2018)

Improving k-Nearest Neighbor Pattern Recognition Models for Privacy-Preserving Data Analysis. - Walisa Romsaiyud; Henning Schnoor; Wilhelm Hasselbring (IEEE BigData, 2019)

Comparing Static and Dynamic Weighted Software Coupling Metrics. - Henning Schnoor; Wilhelm Hasselbring (Comput., 2020)

Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means. - Rudolf Berghammer; Henning Schnoor; Michael Winter 001 (Fundam. Informaticae, 2020)

Jira Monitoring Data February 2017. - Henning Schnoor; Wilhelm Hasselbring (Zenodo, 2020)

Jira Monitoring Data September 2017. - Henning Schnoor; Wilhelm Hasselbring (Zenodo, 2020)

Jira Monitoring Data February 2018. - Henning Schnoor; Wilhelm Hasselbring (Zenodo, 2020)

Jira Monitoring Data September 2018. - Henning Schnoor; Wilhelm Hasselbring (Zenodo, 2020)

Replication Package for: Software Architecture Evaluation of Earth System Models. - Reiner Jung; Henning Schnoor; Sven Gundlach; Wilhelm Hasselbring (Zenodo, 2021)

Data package for: Software Architecture Evaluation of Earth System Models. - Reiner Jung; Henning Schnoor; Sven Gundlach; Wilhelm Hasselbring (Zenodo, 2021)

Modularizing Earth system models for interactive simulation. - Martin Claus; Sven Gundlach; Wilhelm Hasselbring; Reiner Jung; Willi Rath; Henning Schnoor (Inform. Spektrum, 2022)

Architecture Recovery from Fortran Code with Kieker. - Reiner Jung; Henning Schnoor; Sven Gundlach; Wilhelm Hasselbring (Softwaretechnik-Trends, 2023)

cau-se/esm-architecture-analysis-replication-package: OceanDSL recovery - zenodo. - Reiner Jung; Henning Schnoor; Wilhelm Hasselbring (Zenodo, 2024)

Replication Package for: Software Architecture Evaluation and Restructuring of Earth System Models (Restructuring Part). - Henning Schnoor; Wilhelm Hasselbring; Reiner Jung (Zenodo, 2024)