Markus Latte

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Branching-time logics and fairness, revisited Mathematical Structures in Computer Science	2022-06-24	Paper
scientific article; zbMATH DE number 7317262 (Why is no real title available?)	2021-03-03	Paper
scientific article; zbMATH DE number 7317262 (Why is no real title available?) (available as arXiv preprint)	2021-03-03	Paper
Definability by weakly deterministic regular expressions with counters is decidable Mathematical Foundations of Computer Science 2015	2015-09-16	Paper
Branching-time logics with path relativisation Journal of Computer and System Sciences	2013-12-13	Paper
Satisfiability games for branching-time logics Logical Methods in Computer Science	2013-10-16	Paper
Branching time? Pruning time! Automated Reasoning	2012-09-05	Paper
Extended computation tree logic Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
A CTL-based logic for program abstractions Logic, Language, Information and Computation	2010-09-29	Paper
A decision procedure for \(\mathrm{CTL}^{}\) based on tableaux and automata Automated Reasoning*	2010-09-14	Paper

Research outcomes over time

This page was built for person: Markus Latte