"Logics of repeating values on data trees and branching counter systems" (2017) Abriola, S.;Figueira, D.;Figueira, S. (...)Murawski A.S. 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017. 10203 LNCS:196-212

"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support" (2015) Rosner, N.;Geldenhuys, J.;Aguirre, N.M. (...)Frias, M.F. IEEE Transactions on Software Engineering. 41(7):639-660

"Satisfiability calculus: The semantic counterpart of a proof calculus in general logics" (2013) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.M.; Maibaum, T.S.E. 21st International Workshop on Algebraic Development Techniques, WADT 2012. 7841 LNCS:195-211

"Tractable reasoning problems with fully-characterized association rules" (2012) Minuto Espil, M. 16th East European Conference on Advances in Databases and Information Systems, ADBIS 2012. 7503 LNCS:282-295

"Two views on crossing dependencies, language, biology and satisfiability" (2011) Castaño, J.M. Frontiers in Artificial Intelligence and Applications. 228:128-141

"Two views on crossing dependencies, language, biology and satisfiability" (2011) Castaño, J.M. Frontiers in Artificial Intelligence and Applications. 228:128-141

"Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)" (2010) Areces, C.; Gorín, D. Journal of Applied Logic. 8(4):305-318

"Clausula: A didactic tool to teach first order logic" (2009) Mauco, M.V.; Ferrante, E. 26th Information Systems Education Conference, ISECON 2009. 26

"Tableaux and model checking for memory logics" (2009) Areces, C.; Figueira, D.; Gorín, D.; Mera, S. 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009. 5607 LNAI:47-61