Felix Weiss

According to our database, Felix Weiss authored at least 8 papers between 2010 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

An AC 1-complete model checking problem for intuitionistic logic.

Martin Mundhenk, Felix Weiss

Comput. Complex., 2014

Zur Bereitstellung amtlicher Mikrodaten für die Wissenschaft aus sozialwissenschaftlicher Perspektive.

Bernhard Schimpl-Neimanns, Felix Weiss

AStA Wirtschafts und Sozialstatistisches Arch., 2014

2012

The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.

Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiß

Proceedings of the Advances in Modal Logic 9, 2012

2011

Intuitionistic implication makes model checking hard

Martin Mundhenk, Felix Weiss

Log. Methods Comput. Sci., 2011

The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete.

Martin Mundhenk, Felix Weiß

Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

2010

The complexity of satisfiability for fragments of hybrid logic - Part I.

Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss

J. Appl. Log., 2010

The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete

Martin Mundhenk, Felix Weiss

CoRR, 2010

The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions.

Martin Mundhenk, Felix Weiß

Proceedings of the Reachability Problems, 4th International Workshop, 2010