Markus Latte

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 1

Top Topics

Epistemic Logic

Inference Rules

Regular Expressions

Top Venues

J. Comput. Syst. Sci.

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Markus Latte
Branching-time logics and fairness, revisited. Math. Struct. Comput. Sci. 31 (9) (2021)
Markus Latte, Matthias Niewerth
Definability by Weakly Deterministic Regular Expressions with Counters is Decidable. MFCS (1) (2015)
Markus Latte, Martin Lange
Branching-time logics with path relativisation. J. Comput. Syst. Sci. 80 (2) (2014)
Oliver Friedmann, Markus Latte, Martin Lange
Satisfiability Games for Branching-Time Logics. Log. Methods Comput. Sci. 9 (4) (2013)
Markus Latte, Martin Lange
Branching Time? Pruning Time! IJCAR (2012)
Markus Latte
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages GandALF (2011)
Martin Lange, Markus Latte
A CTL-Based Logic for Program Abstractions. WoLLIC (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic. LPAR (Yogyakarta) (2010)
Oliver Friedmann, Markus Latte, Martin Lange
Based on Tableaux and Automata. IJCAR (2010)
Roland Axelsson, Matthew Hague, Stephan Kreutzer, Martin Lange, Markus Latte
Extended Computation Tree Logic CoRR (2010)