iSat: Structure Visualization for SAT Problems. - Ezequiel Orbe; Carlos Areces; Gabriel G. Infante López (LPAR, 2012)

Symmetries in Modal Logics - Carlos Areces; Guillaume Hoffmann 001; Ezequiel Orbe (LSFA, 2012)

Dealing with Symmetries in Modal Tableaux. - Carlos Areces; Ezequiel Orbe (TABLEAUX, 2013)

Symmetries in Modal Logics. - Carlos Areces; Ezequiel Orbe (Bull. Symb. Log., 2015)

Symmetric blocking. - Carlos Areces; Ezequiel Orbe (Theor. Comput. Sci., 2015)