The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions. - Martin Mundhenk; Felix Weiß (RP, 2010)

The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete - Martin Mundhenk; Felix Weiss (CoRR, 2010)

The complexity of satisfiability for fragments of hybrid logic - Part I. - Arne Meier; Martin Mundhenk; Thomas Schneider 002; Michael Thomas 001; Volker Weber; Felix Weiss (J. Appl. Log., 2010)

The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete. - Martin Mundhenk; Felix Weiß (STACS, 2011)

Intuitionistic implication makes model checking hard - Martin Mundhenk; Felix Weiss (Log. Methods Comput. Sci., 2011)

The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers. - Stefan Göller; Arne Meier; Martin Mundhenk; Thomas Schneider 002; Michael Thomas 001; Felix Weiß (Advances in Modal Logic, 2012)

Zur Bereitstellung amtlicher Mikrodaten für die Wissenschaft aus sozialwissenschaftlicher Perspektive. - Bernhard Schimpl-Neimanns; Felix Weiss (AStA Wirtschafts und Sozialstatistisches Arch., 2014)

An AC 1-complete model checking problem for intuitionistic logic. - Martin Mundhenk; Felix Weiss (Comput. Complex., 2014)

The sparse(st) optimization problem: reformulations, optimality, stationarity, and numerical results. - Christian Kanzow; Alexandra Schwartz; Felix Weiß (Comput. Optim. Appl., 2025)