Martin Mundhenk

ScholarGPS® ID: 73968644808046

Affiliation

University of Jena, Jena, Germany

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Top Specialties

Metrics Summary

Publication Count

Predicted Citations

871

Predicted h-index

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
Aussagen (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_1 Cite \| Source
Graphen und Bäume (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_11 Cite \| Source
Aussagenlogik (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_12 Cite \| Source
Modulare Arithmetik (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_13 Cite \| Source
Boole’sche Algebra (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_10 Cite \| Source
Diskrete Stochastik (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_9 Cite \| Source
Zählen (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_8 Cite \| Source
Mathematisches Beweisen (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_3 Cite \| Source
Grundlegende Beweisstrategien (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_6 Cite \| Source
Vollständige Induktion (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_7 Cite \| Source
Relationen (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_4 Cite \| Source
Abbildungen und Funktionen (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_5 Cite \| Source
Mengen und Mengenoperationen (book chapter) In Mathematische Grundlagen der Informatik Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5_2 Cite \| Source
Mathematische Grundlagen der Informatik (book) Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2024) 10.1007/978-3-658-43136-5 Cite \| Source
The model checking fingerprints of CTL operators (journal article) Krebs, Andreas \| Meier, Arne \| Mundhenk, Martin Acta Informatica, volume 56, issue 6, pages 487-519 (2019). 10.1007/s00236-018-0326-9 Cited by (2) \| Cite \| Source \| Open Access
On the complexity of bribery and manipulation in tournaments with uncertain information (journal article) Mattei, Nicholas \| Goldsmith, Judy \| Klapper, Andrew \| Mundhenk, Martin Journal of Applied Logic, volume 13, issue 4, pages 557-581 (2015). 10.1016/j.jal.2015.03.004 Cited by (12) \| Cite \| Source \| Open Access
Erratum: The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (journal article) Meier, Arne \| Thomas, Michael \| Vollmer, Heribert \| Mundhenk, Martin International Journal of Foundations of Computer Science, volume 26, issue 08, pages 1189-1190 (2015). 10.1142/S012905411592001X Cited by (2) \| Cite \| Source \| Open Access
The Model Checking Fingerprints of CTL Operators (conference) Krebs, Andreas \| Meier, Arne \| Mundhenk, Martin 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (2015) Kassel, Germany 10.1109/TIME.2015.13 Cited by (1) \| Cite \| Source \| Open Access
The complexity of primal logic with disjunction (journal article) Magirius, Marco \| Mundhenk, Martin \| Palenta, Raphaela Information Processing Letters, volume 115, issue 5, pages 536-542 (2015). 10.1016/j.ipl.2015.01.003 Cited by (2) \| Cite \| Source
Mathematische Grundlagen der Informatik (book) Meinel, Christoph \| Mundhenk, Martin Springer Fachmedien Wiesbaden (2015) 10.1007/978-3-658-09886-5 Cited by (2) \| Cite \| Source