Felix Weiss

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Complexity Analysis

Formal Specification

Pspace Complete

Top Venues

Comput. Complex.

AStA Wirtschafts und Sozialstatistisches Arch.

Publications

Bernhard Schimpl-Neimanns, Felix Weiss
Zur Bereitstellung amtlicher Mikrodaten für die Wissenschaft aus sozialwissenschaftlicher Perspektive. AStA Wirtschafts und Sozialstatistisches Arch. 8 (4) (2014)
Martin Mundhenk, Felix Weiss
An AC 1-complete model checking problem for intuitionistic logic. Comput. Complex. 23 (4) (2014)
Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers CoRR (2012)
Martin Mundhenk, Felix Weiss
Intuitionistic implication makes model checking hard Log. Methods Comput. Sci. 8 (2) (2011)
Martin Mundhenk, Felix Weiss
The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete CoRR (2010)
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
The complexity of satisfiability for fragments of hybrid logic - Part I. J. Appl. Log. 8 (4) (2010)
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I CoRR (2009)
Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber, Felix Weiss
The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. MFCS (2009)