Anchored LTL separation. - Grgur Petric Maretic; Mohammad Torabi Dashti; David A. Basin (CSL-LICS, 2014)

LTL is closed under topological closure. - Grgur Petric Maretic; Mohammad Torabi Dashti; David A. Basin (Inf. Process. Lett., 2014)

Semantic Vacuity. - Grgur Petric Maretic; Muhammad Torabi Dashti; David A. Basin (TIME, 2015)