Preservation of Proof Pbligations for Hybrid Verification Methods. - Gilles Barthe; César Kunz; David Pichardie; Julián Samborski-Forlese (SEFM, 2008)

How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. - César Sánchez 001; Julián Samborski-Forlese (ICTAC, 2012)

Efficient Regular Linear Temporal Logic Using Dualization and Stratification. - César Sánchez 001; Julián Samborski-Forlese (TIME, 2012)