Reasoning about XML with temporal logics and automata

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Reasoning about Infinite Computations

Moshe Y. Vardi, Pierre Wolper · Information and Computation · 1994 · 792 citations · Full text

Engineering, Automated Reasoning, Computational Model Theory +6

Automata-theoretic techniques for modal logics of programs

Moshe Y. Vardi, Pierre Wolper · Journal of Computer and System Sciences · 1986 · 520 citations

Logical Automaton, Engineering, Automated Reasoning +8

Secure XML querying with security views

Wenfei Fan, Chee-Yong Chan, Minos Garofalakis · 2004 · 234 citations

Xml Library, Secure Xml, Xml Security Constraints +15

Temporal logic with forgettable past

François Laroussinie, Nicolas Markey, Ph. Schnoebelen · 2003 · 179 citations · Full text