An Until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic

The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL

CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic

Invariance under stuttering in a temporal logic of actions

Theoretical Computer Science

XPath leashed

ACM Computing Surveys (CSUR)

How big must complete XML query languages be?

Proceedings of the 12th International Conference on Database Theory

Around dot depth two

DLT'10 Proceedings of the 14th international conference on Developments in language theory

Deeper connections between LTL and alternating automata

CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata

Effective characterizations of simple fragments of temporal logic using prophetic automata

FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures

Taming past LTL and flat counter systems

IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning