Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconfiguration in BP-calculus.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1322.
Mazzara M, Biselli L, Greco PP, Marraffa A, Qamar N, De Nicola S. Social networks and collective intelligence: A return to the Agora.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1340.
Gmehlich R, Grau K, Jackson M, Jones C, Loesch F, Mazzara M. Towards a Formalism-Based Toolkit for Automotive Applications.
Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1317.