"Pseudomonadic BL-algebras: an algebraic approach to possibilistic BL-logic" (2019) Busaniche, M.; Cordero, P.; Rodriguez, R.O. Soft Computing. 23(7):2199-2212

"Boosting the Reuse of Formal Specifications" (2018) Moscato, M.M.;Lopez Pombo, C.G.;Muñoz, C.A. (...)Mahboubi A. 9th International Conference on Interactive Theorem Proving, ITP 2018 Held as Part of the Federated Logic Conference, FloC 2018. 10895 LNCS:477-494

"On observing contracts: Deontic contracts meet smart contracts" (2018) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Palmirani M. 31st International Conference on Legal Knowledge and Information Systems, JURIX 2018. 313:21-30

"Axiomatizations for downward XPath on data trees" (2017) Abriola, S.; Descotte, M.E.; Fervari, R.; Figueira, S. Journal of Computer and System Sciences. 89:209-245

"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

"Logic-based learning in software engineering" (2016) Alrajeh, D.; Russo, A.; Uchitel, S.; Kramer, J. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016:892-893

"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law:1-41

"Possibilistic semantics for a modal KD45 extension of Gödel fuzzy logic" (2016) Bou, F.;Esteva, F.;Godo, L. (...)Yager R.R. 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016. 611:123-135

"Contract automata: An operational view of contracts between interactive parties" (2016) Azzopardi, S.; Pace, G.J.; Schapachnik, F.; Schneider, G. Artificial Intelligence and Law. 24(3):203-243

"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

"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227

"On the expressive power of IF-logic with classical negation" (2011) Figueira, S.;Gorín, D.;Grimson, R. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:135-145

"On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice" (2011) Bou, F.; Esteva, F.; Godo, L.; Rodríguez, R.O. Journal of Logic and Computation. 21(5):739-790

"Using logic in the generation of referring expressions" (2011) Areces, C.; Figueira, S.; Gorín, D. 6th International Conference on Logical Aspects of Computational Linguistics, LACL 2011. 6736 LNAI:17-32

"Basic model theory for memory logics" (2011) Areces, C.;Carreiro, F.;Figueira, S. (...)Queiroz R. 18th International Workshop on Logic, Language, Information and Computation, WoLLIC 2011. 6642 LNAI:20-34

"Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting" (1999) Bonelli, E.; Rodriguez-Artalejo M.; Flum J. 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999. 1683:204-219

"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