"Declaratively building behavior by means of scenario clauses" (2017) Asteasuain, F.; Braberman, V. Requirements Engineering. 22(2):239-274

"On the spatio-temporal behavior of magnetohydrodynamic turbulence in a magnetized plasma" (2016) Lugones, R.;Dmitruk, P.;Mininni, P.D. (...)Matthaeus, W.H. Physics of Plasmas. 23(11)

"Specifying event-based systems with a counting fluent temporal logic" (2015) Regis, G.;Degiovanni, R.;D'Ippolito, N. (...)Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE) 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015. 1:733-743

"Towards managing dynamic reconfiguration of software systems in a categorical setting" (2010) Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:306-321

"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