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:
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 OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2019
2015
On the complexity of bribery and manipulation in tournaments with uncertain information.
J. Appl. Log., 2015
Int. J. Found. Comput. Sci., 2015
2014
Comput. Complex., 2014
Proceedings of the Keller, Stack und automatisches Gedächtnis, 2014
2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
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
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
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
Int. J. Found. Comput. Sci., 2009
Proceedings of the Eleventh Workshop on Algorithm Engineering and Experiments, 2009
2008
Inf. Comput., 2008
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
Proceedings of the Advances in Neural Information Processing Systems 20, 2007
2006
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
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
J. Artif. Intell. Res., 2001
Proceedings of the Nineteenth Annual International Conference of Computer Documentation: Communicating in the New Millennium, 2001
Proceedings of the 7th Annual Meeting of the IuK Initiative Information and Communication of the Learned Societies in Germany, 2001
2000
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
Proceedings of the 13th Annual IEEE Conference on Computational Complexity, 1998
1997
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
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Proceedings of the Informatik '97, 1997
Proceedings of the Lectures on Proof Verification and Approximation Algorithms. (the book grow out of a Dagstuhl Seminar, 1997
1996
Math. Syst. Theory, 1996
RAIRO Theor. Informatics Appl., 1996
1995
Monotonous Oracle Machines
Universität Trier, Mathematik/Informatik, Forschungsbericht, 1995
1994
Proceedings of the Algorithms and Complexity, Second Italian Conference, 1994
1993
Proceedings of the Mathematical Foundations of Computer Science 1993, 1993
1992
Proceedings of the Algorithms and Computation, Third International Symposium, 1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992
1991
1990
Proceedings of the Proceedings: Fifth Annual Structure in Complexity Theory Conference, 1990