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

"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

"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

"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

"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

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

"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

"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

"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

"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)

"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

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

"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

"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

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

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

"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

"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

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

"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

"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

"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

"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

"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