Thomas Schneider

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
The tractability of model checking for LTL: the good, the bad, and the ugly fragments ACM Transactions on Computational Logic	2015-09-17	Paper
The tractability of model-checking for LTL: the good, the bad, and the ugly fragments Electronic Notes in Theoretical Computer Science	2015-03-23	Paper
Generalized satisfiability for the description logic \(\mathcal{ALC}\) Theoretical Computer Science	2014-01-16	Paper
Undecidability of multi-modal hybrid logics Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics Lecture Notes in Computer Science	2011-07-01	Paper
Generalized satisfiability for the description logic \(\mathcal{ALC}\) (extended abstract) Lecture Notes in Computer Science	2011-07-01	Paper
Complexity of hybrid logics over transitive frames Journal of Applied Logic	2011-03-22	Paper
The complexity of hybrid logics over equivalence relations Journal of Logic, Language and Information	2010-01-06	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic Logical Methods in Computer Science	2009-04-29	Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic Foundations of Software Science and Computational Structures	2007-09-07	Paper

Research outcomes over time

This page was built for person: Thomas Schneider