Anonymous and Confidential Communications from an IP Addressless Computer. - Carlos Molina-Jiménez; Lindsay Marshall (HUC, 1999)

Anonymous and confidential communication using PDAs. - Carlos Molina-Jiménez (2000)

Model Checking Correctness Properties of Electronic Contracts. - Ellis Solaiman; Carlos Molina-Jiménez; Santosh K. Shrivastava (ICSOC, 2003)

Contract Representation for Run-time Monitoring and Enforcement. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Ellis Solaiman; John P. Warne (CEC, 2003)

The Role of Agreements in IT Management Software. - Carlos Molina-Jiménez; Jim Pruyne; Aad P. A. van Moorsel (WADS, 2004)

Run-time monitoring and enforcement of electronic contracts. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Ellis Solaiman; John P. Warne (Electron. Commer. Res. Appl., 2004)

A Method for Specifying Contract Mediated Interactions. - Carlos Molina-Jiménez; Santosh K. Shrivastava; John P. Warne (EDOC, 2005)

Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. - Graham Morgan; Simon E. Parkin; Carlos Molina-Jiménez; James Skene (I3E, 2005)

Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. - Carlos Molina-Jiménez; Santosh K. Shrivastava (ECOWS, 2006)

On State Synchronization of Business Conversations. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Simon J. Woodman (CEC/EEE, 2006)

Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Nick Cook (EDOC, 2007)

On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. - Carlos Molina-Jiménez; Nick Cook; Santosh K. Shrivastava (ICSOC Workshops, 2008)

A Rule-Based Notation to Specify Executable Electronic Contracts. - Massimo Strano; Carlos Molina-Jiménez; Santosh K. Shrivastava (RuleML, 2008)

Implementing a Rule-Based Contract Compliance Checker. - Massimo Strano; Carlos Molina-Jiménez; Santosh K. Shrivastava (I3E, 2009)

Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions. - Rafael Z. Frantz; Rafael Corchuelo; Carlos Molina-Jiménez (OTM Workshops, 2009)

Exception Handling in Electronic Contracting. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Massimo Strano (CEC, 2009)

A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption - Ahmed Mihoob; Carlos Molina-Jiménez (YR-SOC, 2009)

A Case for Consumer - centric Resource Accounting Models. - Ahmed Mihoob; Carlos Molina-Jiménez; Santosh K. Shrivastava (IEEE CLOUD, 2010)

On the Design of a Domain Specific Language for Enterprise Application Integration Solutions. - Rafael Z. Frantz; Carlos Molina-Jiménez; Rafael Corchuelo (MoSE@TOOLS, 2010)

On Model Checker Based Testing of Electronic Contracting Systems. - Abubkr Abdelsadiq; Carlos Molina-Jiménez; Santosh K. Shrivastava (CEC, 2010)

Error-Detection in Enterprise Application Integration Solutions. - Rafael Z. Frantz; Rafael Corchuelo; Carlos Molina-Jiménez (CENTERIS (2), 2011)

Consumer Side Resource Accounting in the Cloud. - Ahmed Mihoob; Carlos Molina-Jiménez; Santosh K. Shrivastava (I3E, 2011)

An architecture for negotiation and enforcement of resource usage policies. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Stuart M. Wheater (SOCA, 2011)

A high-level model-checking tool for verifying service agreements. - Abubkr Abdelsadiq; Carlos Molina-Jiménez; Santosh K. Shrivastava (SOSE, 2011)

A proposal to detect errors in Enterprise Application Integration solutions. - Rafael Z. Frantz; Rafael Corchuelo; Carlos Molina-Jiménez (J. Syst. Softw., 2012)

A Model for Checking Contractual Compliance of Business Interactions. - Carlos Molina-Jiménez; Santosh K. Shrivastava; Massimo Strano (IEEE Trans. Serv. Comput., 2012)

Establishing Conformance between Contracts and Choreographies. - Carlos Molina-Jiménez; Santosh K. Shrivastava (CBI, 2013)

Consumer-centric resource accounting in the cloud. - Ahmed Mihoob; Carlos Molina-Jiménez; Santosh K. Shrivastava (J. Internet Serv. Appl., 2013)

A Tool for the Automatic Verification of BPMN Choreographies. - Ellis Solaiman; Wenzhong Sun; Carlos Molina-Jiménez (SCC, 2015)

Dynamic Testing and Deployment of a Contract Monitoring Service. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CLOSER, 2015)

High Level Model Checker Based Testing of Electronic Contracts. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CLOSER (Selected Papers), 2015)

Implementation and evaluation of an information centric-based smart lighting controller. - Upeka De Silva; Adisorn Lertsinsrubtavee; Arjuna Sathiaseelan; Carlos Molina-Jiménez; Kanchana Kanchanasut (AINTEC, 2016)

A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. - Ellis Solaiman; Ioannis Sfyrakis; Carlos Molina-Jiménez (CBI (1), 2016)

Deploying an Information Centric Smart Lighting System in the Wild. - Upeka De Silva; Adisorn Lertsinsrubtavee; Arjuna Sathiaseelan; Carlos Molina-Jiménez; Kanchana Kanchanasut (CoRR, 2016)

ICN-based edge service deployment in challenged networks. - Christos-Alexandros Sarros; Adisorn Lertsinsrubtavee; Carlos Molina-Jiménez; Konstantinos Prasopoulos; Sotiris Diamantopoulos; Dimitris Vardalis; Arjuna Sathiaseelan (ICN, 2017)

PiCasso: A lightweight edge computing platform. - Adisorn Lertsinsrubtavee; Anwaar Ali; Carlos Molina-Jiménez; Arjuna Sathiaseelan; Jon Crowcroft (CloudNet, 2017)

On and Off-Blockchain Enforcement of Smart Contracts. - Carlos Molina-Jiménez; Ellis Solaiman; Ioannis Sfyrakis; Irene C. L. Ng; Jon Crowcroft (Euro-Par Workshops, 2018)

Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components. - Carlos Molina-Jiménez; Ioannis Sfyrakis; Ellis Solaiman; Irene C. L. Ng; Meng Weng Wong; Alexis Chun; Jon Crowcroft (SC², 2018)

Connecting the Edges: A Universal, Mobile-Centric, and Opportunistic Communications Architecture. - Christos-Alexandros Sarros; Sotiris Diamantopoulos; Sergi Rene; Ioannis Psaras; Adisorn Lertsinsrubtavee; Carlos Molina-Jiménez; Paulo Mendes 001; Rute C. Sofia; Arjuna Sathiaseelan; George Pavlou; Jon Crowcroft; Vassilis Tsaoussidis (IEEE Commun. Mag., 2018)

A Case for a Currencyless Economy Based on Bartering with Smart Contracts. - Carlos Molina-Jiménez; Hazem Danny Al-Nakib; Linmao Song; Ioannis Sfyrakis; Jon Crowcroft (CoRR, 2020)

The Benefits of Deploying Smart Contracts on Trusted Third Parties. - Carlos Molina-Jiménez; Ioannis Sfyrakis; Linmao Song; Hazem Danny Al-Nakib; Jon Crowcroft (CoRR, 2020)

Advances in a DSL to Specify Smart Contracts for Application Integration Processes. - Eldair F. Dornelles; Fernando Parahyba; Rafael Z. Frantz; Fabricia Roos-Frantz; Antonia M. Reina Quintero; Carlos Molina-Jiménez; José Bocanegra; Sandro Sawicki (CIBSE, 2022)

On the Need to Use Smart Contracts in Enterprise Application Integration. - Fernando Parahyba; Eldair F. Dornelles; Fabricia Roos-Frantz; Rafael Z. Frantz; Carlos Molina-Jiménez; Antonia M. Reina Quintero; José Bocanegra; Sandro Sawicki (CIBSE, 2022)

On the use of emerging decentralised technologies for supporting software factories coopetition. - Fábio Paulo Basso; Diego Kreutz; Carlos Molina-Jiménez; Rafael Z. Frantz (Int. J. Comput. Appl. Technol., 2022)

A Systematic Mapping Study of Search-Based Software Engineering for Enterprise Application Integration. - Angela Mazzonetto; Rafael Z. Frantz; Fabricia Roos-Frantz; Carlos Molina-Jiménez; Sandro Sawicki (Int. J. Softw. Eng. Knowl. Eng., 2022)

On the Use of Blockchain Technology to Improve the Reproducibility of Preclinical Research Experiments. - Eduardo C. Oliveira; Rafael Z. Frantz; Carlos Molina-Jiménez; Thiago Heck; Sandro Sawicki; Fabricia Roos-Frantz (ICEIS (1), 2023)

On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance. - Carlos Molina-Jiménez; Sandra Milena Felizia (CoRR, 2023)

Fair Exchange - Theory and Practice of Digital Belongings - Carlos Molina-Jiménez; Dann Toliver; Hazem Danny Al-Nakib; Jon Crowcroft (Fair Exchange, 2024)

Predicting Illnesses from Medical Sensors Readings using Artificial Intelligence Model. - Wen Zeng; Haydar A Jawad; Wenxuan Wang; Vasileios Germanos; François Siewe; Carlos Molina-Jiménez (ICIS, 2024)

An IoT Architecture for Enhancing Safety in Supply Chain Systems. - Wen Zeng; Nicholas Kit Lam Wan; Vasileios Germanos; Yuqi Jia; Leandros Maglaras; Carlos Molina-Jiménez (ICIS, 2024)

Design and Implementation of a Desktop Cloud System for Multinational Corporations Operating in the Yangtze River Delta Region. - Wen Zeng; Wenxuan Wang; Yu Qi; Bofeng Zhang; Carlos Molina-Jiménez (ICIS, 2024)

Digital Services Integration in Smart Cities: a Trusted Execution Environment Based Solution. - Regis Schuch; Rafael Z. Frantz; José Bocanegra; Fabricia Roos-Frantz; Sandro Sawicki; Carlos Molina-Jiménez (CIbSE, 2024)

Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration. - Mailson Borges Teles; José Bocanegra; Eldair F. Dornelles; Sandro Sawicki; Antonia M. Reina Quintero; Carlos Molina-Jiménez; Fabricia Roos-Frantz; Rafael Z. Frantz (MODELSWARD, 2024)

UCFN Net: Ulcerative colitis evaluation based on fine-grained lesion learner and noise suppression gating. - Haiyan Li; Zhixin Wang; Zheng Guan; Jiarong Miao; Weihua Li 006; Pengfei Yu; Carlos Molina-Jiménez (Comput. Methods Programs Biomed., 2024)

Building a Smart City that Stimulates Innovation Using Open Source and Decentralised Technologies. - Sandro Sawicki; Rafael Z. Frantz; Gerson Battisti; Fabricia Roos-Frantz; Luiz Antonio Rasia; Odaylson Eder; Carlos Molina-Jiménez; Jon Crowcroft (CIbSE, 2025)

An API for Developing Secure Integration Processes. - Regis Schuch; Rafael Z. Frantz; Antonia M. Reina Quintero; José Bocanegra; Sandro Sawicki; Fabricia Roos-Frantz; Carlos Molina-Jiménez (CIbSE, 2025)

Development of San Marcos as a Smart and Sustainable City with the Support of Search-based Software Engineering. - Arturo Dina Valente; Luciana M. Cardoso; Mateus D. Kuhn; Misael Lorenzo; Higinio Torres Lucena; Sandro Sawicki; Fabricia Roos-Frantz; Rafael Z. Frantz; Carlos Molina-Jiménez (CIbSE, 2025)

Quantitative Risk Assessment for Cloud-Based Software Migration Processes. - Wen Zeng; Wenjing Yan; Emily Simpson; Carlos Molina-Jiménez (Concurr. Comput. Pract. Exp., 2025)