"Behaviour abstraction adequacy criteria for API call protocol testing" (2016) Czemerinski, H.; Braberman, V.; Uchitel, S. Software Testing Verification and Reliability. 26(3):211-244

"Study of senone-based deep neural network approaches for spoken language recognition" (2016) Ferrer, L.; Lei, Y.; McLaren, M.; Scheffer, N. IEEE/ACM Transactions on Audio Speech and Language Processing. 24(1):105-116

"A formal analysis of the global sequence protocol" (2016) Melgratti, H.; Roldán, C.; Lafuente A.L.; Proenca J. 18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016. 9686:175-191

"Towards fully reflective environments" (2015) Chari, G.;Garbervetsky, D.;Marr, S. (...)ACM SIGPLAN ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015 - Part of SPLASH 2015:240-253

"Categorical foundations for structured specifications in Z" (2015) Castro, P.F.; Aguirre, N.; Pombo, C.L.; Maibaum, T.S.E. Formal Aspects of Computing. 27(5-6):831-865

"Classification of lexical stress using spectral and prosodic features for computer-assisted language learning systems" (2015) Ferrer, L.;Bratt, H.;Richey, C. (...)Precoda, K. Speech Communication. 69:31-45

"Mitigating the effects of non-stationary unseen noises on language recognition performance" (2015) Ferrer, L.;McLaren, M.;Lawson, A. (...)Alibaba Group; Amazon; et al.; Facebook; Google; Telekom Innovation Laboratories 16th Annual Conference of the International Speech Communication Association, INTERSPEECH 2015. 2015-January:3446-3450

"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700

"A heterogeneous characterisation of component-based system design in a categorical setting" (2014) Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.; Maibaum, T.S.E. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8687:314-332

"On verifying resource contracts using code contracts" (2014) Castaño, R.;Garbervetsky, D.;Tapicer, J. (...)Aguirre N. 1st Latin American Workshop on Formal Methods, LAFM 2013. 139:1-15

"Improving speech synthesis quality by reducing pitch peaks in the source recordings" (2013) Violante, L.; Rodríguez Zivic, P.; Gravano, A.; Appen ButlerHill; et al.; ETS; Google; Microsoft Research; Rakuten 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2013:502-506

"Acoustic-prosodic entrainment and social behavior" (2012) Levitan, R.;Gravano, A.;Willson, L. (...)Appen ButlerHill; at and t; et al.; Google; Microsoft Research; Nuance 2012 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, NAACL HLT 2012:11-19

"Entrainment in speech preceding backchannels" (2011) Levitan, R.; Gravano, A.; Hirschberg, J. 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, ACL-HLT 2011. 2:113-117

"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

"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

"Shakespeare and other English Renaissance authors as characterized by Information Theory complexity quantifiers" (2009) Rosso, O.A.; Craig, H.; Moscato, P. Physica A: Statistical Mechanics and its Applications. 388(6):916-926

"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