Dr Manuel Mazzara
Guest Member of Staff
Mazzara M, Abouzaid F, Dragoni N, Bhattacharyya A. Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective .
In: Web Services and Formal Methods . Berlin; New York: Springer-Verlag, 2012, pp.64-78. In Press.
Mazzucco M, Mazzara M, Dragoni N. Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems .
International Journal of Critical Computer-Based Systems 2012. In Press.
Mazzara M, Dragoni N, Zhou M. Implementing Workflow Reconfiguration in WS-BPEL .
Journal of Internet Services and Information Security 2012. Submitted.
Abouzaid F, Mullins J, Mazzara M, Dragoni N. Modelling and Analysis of Dynamic Reconguration in BP-calculus .
In: 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS) . 2012, Dubrovnik, Croatia. In Press.
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, Antonio M, Biselli L, Chiarabini L. The Polidoxa Shift: a New Approach to Social Networks .
Journal of Internet Services and Information Security 2011, 1 (4), 74-88.