Canonical Narrowing for Variant-Based Conditional Rewrite Theories. - Raúl López-Rueda; Santiago Escobar 001 (ICFEM, 2022)

Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. - Raúl López-Rueda; Santiago Escobar 001 (WRLA@ETAPS, 2022)

An Efficient Canonical Narrowing Implementation for Protocol Analysis. - Raúl López-Rueda; Santiago Escobar 001; José Meseguer 001 (WRLA@ETAPS, 2022)

Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. - Santiago Escobar 001; Raúl López-Rueda; Julia Sapiña (FTSCS, 2023)

An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. - Raúl López-Rueda; Santiago Escobar 001; Julia Sapiña (J. Log. Algebraic Methods Program., 2023)

Verifying Invariants by Deductive Model Checking. - Kyungmin Bae; Santiago Escobar 001; Raúl López-Rueda; José Meseguer 001; Julia Sapiña (WRLA, 2024)