Dr Manuel Mazzara
| You can never go ‘home’ again: Reflections on the emotional impact of home ethnography | 2025 |
|
Dr Roman Bauer Professor Marcus Kaiser Dr Manuel Mazzara
| The BioDynaMo project: Creating a platform for large-scale reproducible biological simulations | 2016 |
|
Michele Mazzucco Dr Manuel Mazzara
| Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems | 2013 |
|
Dr Manuel Mazzara
| Implementing Workflow Reconfiguration in WS-BPEL | 2013 |
|
Dr Manuel Mazzara Dr Anirban Bhattacharyya
| Toward Design, Modelling and Analysis of Dynamic Workflow Reconfiguration: A process Algebra Perspective | 2012 |
|
Dr Manuel Mazzara
| Implementing Workflow Reconfiguration in WS-BPEL | 2012 |
|
Dr Manuel Mazzara Emeritus Professor Cliff Jones Dr Alexei Iliasov
| Lessons from DEPLOYment | 2012 |
|
Dr Manuel Mazzara
| Modelling and Analysis of Dynamic Reconguration in BP-calculus | 2012 |
|
Dr Manuel Mazzara
| Modelling and Analysis of Dynamic Reconfiguration in BP-calculus | 2012 |
|
Dr Manuel Mazzara Luca Biselli
| Social networks and collective intelligence: A return to the Agora | 2012 |
|
Professor Michael Jackson Emeritus Professor Cliff Jones Dr Manuel Mazzara
| Towards a Formalism-Based Toolkit for Automotive Applications | 2012 |
|
Dr Anirban Bhattacharyya Professor John Fitzgerald Dr Manuel Mazzara
| A Case Study of Workflow Reconfiguration: Design, Modelling, Analysis and Implementation | 2011 |
|
Dr Manuel Mazzara
| Dependable Workflow Reconfiguration in WS-BPEL | 2011 |
|
Dr Manuel Mazzara
| Dependable Workflow Reconfiguration in WS-BPEL | 2011 |
|
Dr Manuel Mazzara Dr Anirban Bhattacharyya
| Design, Modelling and Analysis of a Workflow Reconfiguration | 2011 |
|
Dr Manuel Mazzara Dr Anirban Bhattacharyya
| Design, Modelling and Analysis of a Workflow Reconfiguration | 2011 |
|
Michele Mazzucco Dr Manuel Mazzara
| Dynamic Allocation and Admission Policies for QoS-aware Provisioning Systems | 2011 |
|
Dr Manuel Mazzara
| Model Checking of BPMN Models for Reconfigurable Workflows | 2011 |
|
Dr Manuel Mazzara
| On Methods for the Formal Specification of Fault Tolerant Systems | 2011 |
|
Dr Manuel Mazzara
| On Methods for the Formal Specification of Fault Tolerant Systems | 2011 |
|
Dr Manuel Mazzara Luca Biselli
| Polidoxa: a Sinergic Approach of a Social Network and a Search Engine to Offer Trustworthy News | 2011 |
|
Dr Manuel Mazzara
| The Polidoxa Shift: a New Approach to Social Networks | 2011 |
|
Dr Manuel Mazzara Luca Biselli
| The Polidoxa Shift: a New Approach to Social Networks | 2011 |
|
Dr Manuel Mazzara
| The Polidoxa Shift: a New Approach to Social Networks | 2011 |
|
Dr Manuel Mazzara
| A Formal semantics for the WS-BPEL recovery framework the π-calculus way | 2010 |
|
Dr Manuel Mazzara
| Design of QoS-aware Provisioning Systems | 2010 |
|
Dr Manuel Mazzara
| First Deploy Technical Workshop, Aix-en-Provence, France, October 21-23, 2009 | 2010 |
|
Dr Manuel Mazzara
| Issues about the Adoption of Formal Methods for Dependable Composition of Web Services | 2010 |
|
Dr Manuel Mazzara Dr Anirban Bhattacharyya
| On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems | 2010 |
|
Dr Manuel Mazzara Dr Anirban Bhattacharyya
| On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems | 2010 |
|
Dr Manuel Mazzara
| Proceedings of the First Deploy Technical Workshop | 2010 |
|
Dr Manuel Mazzara
| A Formal Semantics for the WS-BPEL Recovery Framework. The Pi-Calculus Way | 2009 |
|
Dr Manuel Mazzara
| Deriving Specifications of Dependable Systems: toward a method | 2009 |
|
Dr Manuel Mazzara
| Different Perspectives for Reasoning about Problems and Faults | 2009 |
|
Dr Manuel Mazzara
| Editorial: Service oriented architectures and programming | 2009 |
|
Dr Manuel Mazzara
| A pi-calculus based semantics for WS-BPEL | 2007 |
|
Dr Manuel Mazzara
| A Case Study of Web Services Orchestration | 2005 |
|