"Decidability of order-based modal logics" (2017) Caicedo, X.; Metcalfe, G.; Rodríguez, R.; Rogger, J. Journal of Computer and System Sciences. 88:53-74

"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

"The first-order hypothetical logic of proofs" (2017) Steren, G.; Bonelli, E. Journal of Logic and Computation. 27(4):1023-1066

"Risk-driven revision of requirements models" (2016) Alrajeh, D.;Van Lamsweerde, A.;Kramer, J. (...)Uchitel, S. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016. 14-22-May-2016:855-865

"Lukasiewicz public announcement logic" (2016) Cabrer, L.;Rivieccio, U.;Rodriguez, R.O. (...)Yager R.R. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:108-122

"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

"Bi-modal Gödel logic over [0,1]-valued Kripke frames" (2015) Caicedo, X.; Rodríguez, R.O. Journal of Logic and Computation. 25(1):37-55

"Dynamite: A tool for the verification of alloy models based on PVS" (2014) Moscato, M.M.; Lopez Pombo, C.G.; Frias, M.F. ACM Transactions on Software Engineering and Methodology. 23(2)

"A parsing approach to SAT" (2014) Castano, J.M. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8864:3-14

"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63

"Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies" (2014) Figueira, S.; Gorín, D.; Grimson, R. Journal of Computer and System Sciences. 80(6):1102-1118

"Characterization, definability and separation via saturated models" (2014) Areces, C.; Carreiro, F.; Figueira, S. Theoretical Computer Science. 537(C):72-86

"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

"A dataflow analysis to improve SAT-based bounded program verification" (2011) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. 9th International Conference on Software Engineering and Formal Methods, SEFM 2011. 7041 LNCS:138-154

"On characterization, definability and ω-saturated models" (2011) Carreiro, F. 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011. 6916 LNCS:62-76

"Counting the changes of random Δ20 sets" (2011) Figueira, S.;Hirschfeldt, D.R.;Miller, J.S. (...)Nies, A. Journal of Logic and Computation. 25(4):1073-1089

"Resolution with order and selection for hybrid logics" (2011) Areces, C.; Gorín, D. Journal of Automated Reasoning. 46(1):1-42

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

"On the size of shortest modal descriptions" (2010) Figueira, S.; Gorín, D. 8th International Conference on Advances in Modal Logic, AiML-2010. 8:120-139

"DKAL and Z3: A logic embedding experiment" (2010) Mera, S.; Bjørner, N. 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010, and 19th EACSL Annual Conference on Computer Science Logic, CSL 2010. 6300 LNCS:504-528

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

"Residuated lattices as an algebraic semantics for paraconsistent nelson's logic" (2009) Busaniche, M.; Cignoli, R. Journal of Logic and Computation. 19(6):1019-1029

"Dealing with practical limitations of distributed timed model checking for timed automata" (2006) Braberman, V.; Olivero, A.; Schapachnik, F. Formal Methods in System Design. 29(2):197-214

"Fork algebras as a sufficiently rich universal institution" (2006) Pombo, C.G.L.; Frias, M.F. 11th International Conference on Algebraic Methodology and Software Technology, AMAST 2006. 4019 LNCS:235-247

"Interpretability of first-order linear temporal logics in fork algebras" (2006) Frias, M.F.; Pombo, C.G.L. Journal of Logic and Algebraic Programming. 66(2):161-184

"DynAlloy: Upgrading alloy with actions" (2005) Frias, M.F.; Galeotti, J.P.; Pombo, C.G.L.; Aguirre, N.M. 27th International Conference on Software Engineering, ICSE05:442-450

"Reasoning about static and dynamic properties in alloy: A purely relational approach" (2005) Frias, M.F.;López Pombo, C.G.;Baum, G.A. (...)Maibaum, T.S.E. ACM Transactions on Software Engineering and Methodology. 14(4):478-526

"Constraint Databases, Data Structures and Efficient Query Evaluation" (2004) Heintz, J.; Kuijpers, B. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3074:1-24

"On improving backwards verification of timed automata (extended abstract)" (2002) Braberman, V.; López Pombo, C.; Olivero, A. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002). 65(6):60-67

"Pure type systems with de Bruijn indices" (2002) Kamareddine, F.; Ríos, A. Computer Journal. 45(2):187-201

"Modal logic as a design notation" (1998) Areces, C.;Felder, M.;Hirsch, D. (...)ACM Special Interest Group on Software Engineering (SIGSOFT) 9th International Workshop on Software Specification and Design, IWSSD 1998:150-152