"Social networks and collective intelligence: A return to the Agora", Social Network Engineering for Secure Web Data and Services, L. Caviglione, M. Coccoli and A. Merlo : IGI Global, pp. 88-113, 2013.
"Towards a formal analysis of dynamic reconfiguration in WS-BPEL", Intelligent Decision Technologies, Netherlands, IOS Press, 2013.
"A graph-based operational semantics of OO programs", ICFEM 2009, vol. 5885: Springer, pp. 347-366, 2009.
"Graph transformations for object-oriented refinement", Formal Aspects of Computing, vol. 21, issue 1-2: Springer, pp. 103-131, 2009.
"Towards a Formalism-Based Toolkit for Automotive Applications", ICSE, San Francisco, USA, 2013, Submitted.
"Implementing Workflow Reconfiguration in WS-BPEL ", Journal of Internet Services and Information Security (JISIS), , vol. 1, issue 2, 2012.
"Social Networks and Collective Intelligence", CiE 2012 - How the World Computes, Cambridge, UK, 2012.
"Modelling and Analysis of Dynamic Reconfiguration in BP-calculus", 6th International KES Conference on Agents and Multi-agent Systems Technologies and Applications, Dubrovnik, Croatia, 2012.
"Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift)", AT 2012, Dubrovnik, Croatia, 2012.
"A graph-based generic type system for object-oriented programs", Frontiers of Computer Science, In Press.