Martin Mundhenk

Affiliations:
  • University of Jena, Germany
  • University of Trier, Germany
  • University of Ulm, Germany


According to our database1, Martin Mundhenk authored at least 59 papers between 1990 and 2019.

Collaborative distances:

Timeline

1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
6
1
3
1
1
2
3
2
2
1
3
2
1
3
2
1
1
1
2
1
1
1
1
2
1
2
1
1
5
1
1
3
1
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
The model checking fingerprints of CTL operators.
Acta Informatica, 2019

2015
On the complexity of bribery and manipulation in tournaments with uncertain information.
J. Appl. Log., 2015

The complexity of primal logic with disjunction.
Inf. Process. Lett., 2015

Erratum: The Complexity of Satisfiability for Fragments of CTL and CTL<sup>⋆</sup>.
Int. J. Found. Comput. Sci., 2015

2014
An AC 1-complete model checking problem for intuitionistic logic.
Comput. Complex., 2014

Der Keller - ein fundamentaler Baustein der Informatik.
Proceedings of the Keller, Stack und automatisches Gedächtnis, 2014

2012
Complexity of Model Checking for Logics over Kripke models.
Bull. EATCS, 2012

The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Intuitionistic implication makes model checking hard
Log. Methods Comput. Sci., 2011

Model Checking CTL is Almost Always Inherently Sequential
Log. Methods Comput. Sci., 2011

The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete.
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011

How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen: eine Einführung, 5. Auflage.
Vieweg+Teubner, ISBN: 978-3-8348-1520-0, 2011

2010
Complexity of hybrid logics over transitive frames.
J. Appl. Log., 2010

The complexity of satisfiability for fragments of hybrid logic - Part I.
J. Appl. Log., 2010

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

The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions.
Proceedings of the Reachability Problems, 4th International Workshop, 2010

2009
The Complexity of Hybrid Logics over Equivalence Relations.
J. Log. Lang. Inf., 2009

The Complexity of Satisfiability for Fragments of CTL and CTL*.
Int. J. Found. Comput. Sci., 2009

Experimental comparison of the two Fredman-Khachiyan-algorithms.
Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments, 2009

2008
Complexity of DNF minimization and isomorphism testing for monotone formulas.
Inf. Comput., 2008

The Complexity of Satisfiability for Fragments of CTL and CTL<sup>*</sup>.
Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.
Electron. Colloquium Comput. Complex., 2008

2007
Competition Adds Complexity.
Proceedings of the Advances in Neural Information Processing Systems 20, 2007

2006
Undecidability of Multi-modal Hybrid Logics.
Proceedings of the International Workshop on Hybrid Logic, 2006

SOGOS - A Distributed Meta Level Architecture for the Self-Organizing Grid of Services.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen: eine Einführung, 3. Auflage.
Teubner, ISBN: 978-3-8351-0049-7, 2006

2005
Complexity of DNF and Isomorphism of Monotone Formulas.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2002
Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung, 2. Auflage
Teubner, ISBN: 3-519-12949-3, 2002

2001
Nonapproximability Results for Partially Observable Markov Decision Processes.
J. Artif. Intell. Res., 2001

Finding scientific papers with homepagesearch and MOPS.
Proceedings of the Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, 2001

Creating a virtual library with HPSearch and Mops.
Proceedings of the 7th Annual Meeting of the IuK Initiative Information and Communication of the Learned Societies in Germany, 2001

2000
On hard instances.
Theor. Comput. Sci., 2000

The Complexity of Optimal Small Policies.
Math. Oper. Res., 2000

Complexity of finite-horizon Markov decision process problems.
J. ACM, 2000

Nondeterministic Instance Complexity and Hard-to-Prove Tautologies.
Proceedings of the STACS 2000, 2000

Mathematische Grundlagen der Informatik - Mathematisches Denken und Beweisen, Eine Einführung
Teubner, ISBN: 3-519-02949-9, 2000

1999
Finding Scientific Papers with HPSearch and MOPS
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999

Propositional Proofs and Their Complexity
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1999

1998
The Computational Complexity of Probabilistic Planning.
J. Artif. Intell. Res., 1998

Complexity Issues in Markov Decision Processes.
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998

1997
The Complexity of Plan Existence and Evaluation in Probabilistic Domains.
Proceedings of the UAI '97: Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence, 1997

The Complexity of Policy Evaluation for Finite-Horizon Partially-Observable Markov Decision Processes.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

NP-Hard Sets Have Many Hard Instances.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

33. Workshop "Komplexitätstheorie, Datenstrukturen und Effiziente Algorithmen".
Proceedings of the Informatik '97, 1997

Optimal Non-approximability of MAXCLIQUE.
Proceedings of the Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, 1997

1996
Limited nondeterminism.
SIGACT News, 1996

Upper Bounds for the Complexity of Sparse and Tally Descriptions.
Math. Syst. Theory, 1996

Monotonous and Randomized Reductions to Sparse Sets.
RAIRO Theor. Informatics Appl., 1996

1995
Monotonous Oracle Machines
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1995

On Reductions to Sets that Avoid EXPSPACE.
Inf. Process. Lett., 1995

1994
On Self-Reducible Sets of Low Information Content.
Proceedings of the Algorithms and Complexity, Second Italian Conference, 1994

1993
Hausdorff Reductions to Sparse Sets and to Sets of High Information Content.
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

Hausdorff-Reduktionen zu Mengen mit geringem Informationsgehalt.
PhD thesis, 1993

1992
Lowness and the Complexity of Sparse and Tally Descriptions.
Proceedings of the Algorithms and Computation, Third International Symposium, 1992

Reductions to Sets of Low Information Content.
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

On Bounded Truth-Table, Conjunctive, and Randomized Reductions to Sparse Sets.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991
Random languages for nonuniform complexity classes.
J. Complex., 1991

1990
Non-Uniform Complexity Classes and Random Languages.
Proceedings of the Proceedings: Fifth Annual Structure in Complexity Theory Conference, 1990


  Loading...