"Minimum clique cover in claw-free perfect graphs and the weak Edmonds-Johnson property" (2013) Bonomo, F.; Oriolo, G.; Snels, C.; Stauffer, G. 16th Conference on Integer Programming and Combinatorial Optimization, IPCO 2013. 7801 LNCS:86-97

"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

"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

"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

"Deriving non-Zeno behaviour models from goal models using ILP" (2010) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. Formal Aspects of Computing. 22(3-4):217-241

"Using abduction and induction for operational requirements elaboration" (2009) Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Journal of Applied Logic. 7(3):275-288

"A connection between similarity logic programming and gödel modal logic" (2005) Blandi, L.; Godo, L.; Rodríguez, R.O. Joint 4th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2005 and 11th French Days on Fuzzy Logic and Applications, LFA 2005:775-780

"De Bruijn indices for metaterms" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):855-899

"Reconfiguration of software architecture styles with name mobility" (2000) Hirsch, D.;Inverardi, P.;Montanari, U. (...)Roman G.-C. 4th International Conference on Coordination Languages and Models, COORDINATION 2000. 1906:148-163