ePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Browsing publications by Dr Carlos Molina-Jimenez

Newcastle Authors	Title	Year	Full text
Dr Carlos Molina-Jimenez Dr Ellis Solaiman Dr Ioannis Sfyrakis	On and Off-Blockchain Enforcement Of Smart Contracts	2019
Dr Carlos Molina-Jimenez Dr Ioannis Sfyrakis Dr Ellis Solaiman	Implementation of Smart Contracts Using Hybrid Architectures with On and Off–Blockchain Components	2018
Dr Carlos Molina-Jimenez Dr Ellis Solaiman Dr Ioannis Sfyrakis	On and Off-Blockchain Enforcement Of SmartContracts	2018
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	High Level Model Checker Based Testing Of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	High Level Model Checker Based Testing Of Electronic Contracts	2016
Dr Ellis Solaiman Dr Carlos Molina-Jimenez	A Tool for the Automatic Verification of BPMN Choreographies	2015
Dr Ellis Solaiman Dr Carlos Molina-Jimenez	A Tool for the Automatic Verification of BPMN Choreographies	2015
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	Dynamic Testing and Deployment of a Contract Monitoring Service	2015
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	Dynamic Testing and Deployment of a Contract Monitoring Service	2015
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	An Architecture for Negotiation and Enforcement of Resource Usage Policies	2013
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer-centric resource accounting in the cloud	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Establishing Conformance Between Contracts and Choreographies	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Establishing Conformance Between Contracts and Choreographies	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	A Model for Checking Contractual Compliance of Business Interactions	2012
1 2 3 4 5