Modularizing Earth system models for interactive simulation
Claus, Martin, Gundlach, Sven, Hasselbring, Wilhelm, Jung, Reiner, Rath, Willi, Schnoor, Henning
Published in Informatik-Spektrum (2022)
Published in Informatik-Spektrum (2022)
Get full text
Journal Article
On Defendability of Security Properties
Jamroga, Wojciech, Melissen, Matthijs, Schnoor, Henning
Published in Electronic proceedings in theoretical computer science (01.04.2014)
Published in Electronic proceedings in theoretical computer science (01.04.2014)
Get full text
Journal Article
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Bauland, Michael, Schneider, Thomas, Schnoor, Henning, Schnoor, Ilka, Vollmer, Heribert
Published in Logical methods in computer science (26.01.2009)
Published in Logical methods in computer science (26.01.2009)
Get full text
Journal Article
Control of Condorcet voting: Complexity and a Relation-Algebraic approach
Berghammer, Rudolf, Schnoor, Henning
Published in European journal of operational research (16.10.2015)
Published in European journal of operational research (16.10.2015)
Get full text
Journal Article
Efficient Computation of the Large Inductive Dimension Using Order- and Graph-theoretic Means
Berghammer, Rudolf, Schnoor, Henning, Winter, Michael
Published in Fundamenta informaticae (01.01.2020)
Published in Fundamenta informaticae (01.01.2020)
Get full text
Journal Article
Toward measuring software coupling via weighted dynamic metrics
Schnoor, Henning, Hasselbring, Wilhelm
Published in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (27.05.2018)
Published in Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings (27.05.2018)
Get full text
Conference Proceeding
The complexity of satisfiability problems: Refining Schaefer's theorem
Allender, Eric, Bauland, Michael, Immerman, Neil, Schnoor, Henning, Vollmer, Heribert
Published in Journal of computer and system sciences (01.06.2009)
Published in Journal of computer and system sciences (01.06.2009)
Get full text
Journal Article
Generalized modal satisfiability
Hemaspaandra, Edith, Schnoor, Henning, Schnoor, Ilka
Published in Journal of computer and system sciences (01.11.2010)
Published in Journal of computer and system sciences (01.11.2010)
Get full text
Journal Article
Active Linking Attacks
Schnoor, Henning, Woizekowski, Oliver
Published in Mathematical Foundations of Computer Science 2015 (2015)
Published in Mathematical Foundations of Computer Science 2015 (2015)
Get full text
Book Chapter
Generalized Modal Satisfiability
Bauland, Michael, Hemaspaandra, Edith, Schnoor, Henning, Schnoor, Ilka
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
The Complexity of Satisfiability Problems: Refining Schaefer’s Theorem
Allender, Eric, Bauland, Michael, Immerman, Neil, Schnoor, Henning, Vollmer, Heribert
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding