"Mth: Codesigned Hardware/Software Support for Fine Grain Threads" (2016) Gonzalez Marquez, D.; Cristal, A.; Mocskos, E. IEEE Computer Architecture Letters. PP(99)

"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

"Dynamical Casimir effect in superconducting circuits: A numerical approach" (2016) Lombardo, F.C.; Mazzitelli, F.D.; Soba, A.; Villar, P.I. Physical Review A. 93(3)

"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 full operational semantics for asynchronous relational networks" (2015) Vissani, I.;Pombo, C.G.L.;Jose, J.L.F. (...)Diaconescu, R. 22nd International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2014. 9463:131-150

"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

"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

"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