University of Leicester

informatics

photo of Laura Bocchi

STAFF — Laura Bocchi  Ph.D. (Bologna)

Research Associate in Computer Science
G7 Informatics Building
Department of Informatics,
University of Leicester,
University Road,
Leicester,
LE1 7RH.

T: +44 (0)116 252 2593
F: +44 (0)116 252 3915
E: bocchi@mcs.le.ac.uk

Research Interests

  • Project Tracing Networks
  • Project SENSORIA WP1
  • Formal models for service composition and coordination
  • Web services and transactions

Selected publications

2012

2011

2010

2009

  • L. Bocchi, J. Fiadeiro, N. Rajper, S. Reiff-Marganiec. Structure and Behaviour of Virtual Organisation Breeding Environments. In Formal Aspects of Virtual Organisations (FAVO), Electronic Proceedings in Theoretical Computer Science. 2009.
  • L. Bocchi, S. Gorton, S. Reiff-Marganiec. Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In Formal Aspects of Computing (FACS), Springer London. 2009.
  • L. Bocchi, J. Fiadeiro, A. Lapadula, R. Pugliese, F. Tiezzi. From Architectural to Behavioural Specification of Services. In Proc. 6th International Workshop on Formal Engineering Approaches to Software Component and Architectures. Electronic Notes in Theoretical Computer Science. Elsevier Science. 2009. Download extended report.

2008

2007

2002-2006

Author: Laura Bocchi (bocchi@mcs.le.ac.uk), T: +44 (0)116 252 2593.
© University of Leicester DATE. Last modified: 14th September 2012, 13:08:53.
Informatics Web Maintainer. Any opinions expressed on this page are those of the author.