Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Carlos Molina-Jimenez

Newcastle AuthorsTitleYearFull text
Dr Carlos Molina-Jimenez
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
On and Off-Blockchain Enforcement Of Smart Contracts2019
Dr Carlos Molina-Jimenez
Dr Ioannis Sfyrakis
Dr Ellis Solaiman
Implementation of Smart Contracts Using Hybrid Architectures with On and Off–Blockchain Components2018
Dr Carlos Molina-Jimenez
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
On and Off-Blockchain Enforcement Of SmartContracts2018
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts2016
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
High Level Model Checker Based Testing Of Electronic Contracts2016
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
High Level Model Checker Based Testing Of Electronic Contracts2016
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
A Tool for the Automatic Verification of BPMN Choreographies2015
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
A Tool for the Automatic Verification of BPMN Choreographies2015
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
Dynamic Testing and Deployment of a Contract Monitoring Service2015
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
Dynamic Testing and Deployment of a Contract Monitoring Service2015
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
An Architecture for Negotiation and Enforcement of Resource Usage Policies2013
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer-centric resource accounting in the cloud2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Establishing Conformance Between Contracts and Choreographies2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Establishing Conformance Between Contracts and Choreographies2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
A Model for Checking Contractual Compliance of Business Interactions2012
12345