Staff - Computing Science - Newcastle University

You are here: Newcastle University
» Computing Science
» Staff

Dr Manuel Mazzara
Guest Member of Staff

Publications

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.
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.
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.

Report a problem with this web page

Newcastle University

Computing Science

Dr Manuel Mazzara Guest Member of Staff

Dr Manuel Mazzara
Guest Member of Staff