default search action
Carlos Molina-Jiménez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [b2]Carlos Molina-Jiménez, Dann Toliver, Hazem Danny Al-Nakib, Jon Crowcroft:
Fair Exchange - Theory and Practice of Digital Belongings. WorldScientific 2024, ISBN 9781800615168, pp. 1-292 - [j8]Haiyan Li, Zhixin Wang, Zheng Guan, Jiarong Miao, Weihua Li, Pengfei Yu, Carlos Molina-Jiménez:
UCFN Net: Ulcerative colitis evaluation based on fine-grained lesion learner and noise suppression gating. Comput. Methods Programs Biomed. 247: 108080 (2024) - [c37]Regis Schuch, Rafael Z. Frantz, José Bocanegra, Fabricia Roos-Frantz, Sandro Sawicki, Carlos Molina-Jiménez:
Digital Services Integration in Smart Cities: a Trusted Execution Environment Based Solution. CIbSE 2024: 437-438 - [c36]Mailson Borges Teles, José Bocanegra, Eldair F. Dornelles, Sandro Sawicki, Antonia M. Reina Quintero, Carlos Molina-Jiménez, Fabricia Roos-Frantz, Rafael Z. Frantz:
Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration. MODELSWARD 2024: 195-202 - 2023
- [c35]Eduardo C. Oliveira, Rafael Z. Frantz, Carlos Molina-Jiménez, Thiago Heck, Sandro Sawicki, Fabricia Roos-Frantz:
On the Use of Blockchain Technology to Improve the Reproducibility of Preclinical Research Experiments. ICEIS (1) 2023: 173-179 - [i6]Carlos Molina-Jiménez, Sandra Milena Felizia:
On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance. CoRR abs/2312.07565 (2023) - 2022
- [j7]Fábio Paulo Basso, Diego Kreutz, Carlos Molina-Jiménez, Rafael Z. Frantz:
On the use of emerging decentralised technologies for supporting software factories coopetition. Int. J. Comput. Appl. Technol. 69(2): 123-138 (2022) - [j6]Angela Mazzonetto, Rafael Z. Frantz, Fabricia Roos-Frantz, Carlos Molina-Jiménez, Sandro Sawicki:
A Systematic Mapping Study of Search-Based Software Engineering for Enterprise Application Integration. Int. J. Softw. Eng. Knowl. Eng. 32(2): 163-191 (2022) - [c34]Eldair F. Dornelles, Fernando Parahyba, Rafael Z. Frantz, Fabricia Roos-Frantz, Antonia M. Reina Quintero, Carlos Molina-Jiménez, José Bocanegra, Sandro Sawicki:
Advances in a DSL to Specify Smart Contracts for Application Integration Processes. CIBSE 2022: 46-60 - [c33]Fernando Parahyba, Eldair F. Dornelles, Fabricia Roos-Frantz, Rafael Z. Frantz, Carlos Molina-Jiménez, Antonia M. Reina Quintero, José Bocanegra, Sandro Sawicki:
On the Need to Use Smart Contracts in Enterprise Application Integration. CIBSE 2022: 203-217 - 2020
- [i5]Carlos Molina-Jiménez, Hazem Danny Al-Nakib, Linmao Song, Ioannis Sfyrakis, Jon Crowcroft:
A Case for a Currencyless Economy Based on Bartering with Smart Contracts. CoRR abs/2010.07013 (2020) - [i4]Carlos Molina-Jiménez, Ioannis Sfyrakis, Linmao Song, Hazem Danny Al-Nakib, Jon Crowcroft:
The Benefits of Deploying Smart Contracts on Trusted Third Parties. CoRR abs/2010.12981 (2020)
2010 – 2019
- 2018
- [j5]Christos-Alexandros Sarros, Sotiris Diamantopoulos, Sergi Rene, Ioannis Psaras, Adisorn Lertsinsrubtavee, Carlos Molina-Jiménez, Paulo Mendes, Rute C. Sofia, Arjuna Sathiaseelan, George Pavlou, Jon Crowcroft, Vassilis Tsaoussidis:
Connecting the Edges: A Universal, Mobile-Centric, and Opportunistic Communications Architecture. IEEE Commun. Mag. 56(2): 136-143 (2018) - [c32]Carlos Molina-Jiménez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft:
On and Off-Blockchain Enforcement of Smart Contracts. Euro-Par Workshops 2018: 342-354 - [c31]Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft:
Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components. SC² 2018: 83-90 - [i3]Carlos Molina-Jiménez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft:
On and Off-Blockchain Enforcement Of Smart Contracts. CoRR abs/1805.00626 (2018) - [i2]Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft:
Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components. CoRR abs/1808.00093 (2018) - 2017
- [c30]Christos-Alexandros Sarros, Adisorn Lertsinsrubtavee, Carlos Molina-Jiménez, Konstantinos Prasopoulos, Sotiris Diamantopoulos, Dimitris Vardalis, Arjuna Sathiaseelan:
ICN-based edge service deployment in challenged networks. ICN 2017: 210-211 - [c29]Adisorn Lertsinsrubtavee, Anwaar Ali, Carlos Molina-Jiménez, Arjuna Sathiaseelan, Jon Crowcroft:
PiCasso: A lightweight edge computing platform. CloudNet 2017: 41-47 - 2016
- [c28]Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut:
Implementation and evaluation of an information centric-based smart lighting controller. AINTEC 2016: 1-8 - [c27]Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez:
A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. CBI (1) 2016: 55-63 - [i1]Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut:
Deploying an Information Centric Smart Lighting System in the Wild. CoRR abs/1607.05784 (2016) - 2015
- [c26]Ellis Solaiman, Wenzhong Sun, Carlos Molina-Jiménez:
A Tool for the Automatic Verification of BPMN Choreographies. SCC 2015: 728-735 - [c25]Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez:
High Level Model Checker Based Testing of Electronic Contracts. CLOSER (Selected Papers) 2015: 193-215 - [c24]Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez:
Dynamic Testing and Deployment of a Contract Monitoring Service. CLOSER 2015: 463-474 - 2013
- [j4]Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Consumer-centric resource accounting in the cloud. J. Internet Serv. Appl. 4(1): 8:1-8:16 (2013) - [c23]Carlos Molina-Jiménez, Santosh K. Shrivastava:
Establishing Conformance between Contracts and Choreographies. CBI 2013: 69-78 - 2012
- [j3]Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez:
A proposal to detect errors in Enterprise Application Integration solutions. J. Syst. Softw. 85(3): 480-497 (2012) - [j2]Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano:
A Model for Checking Contractual Compliance of Business Interactions. IEEE Trans. Serv. Comput. 5(2): 276-289 (2012) - 2011
- [c22]Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez:
Error-Detection in Enterprise Application Integration Solutions. CENTERIS (2) 2011: 170-179 - [c21]Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Consumer Side Resource Accounting in the Cloud. I3E 2011: 58-72 - [c20]Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater:
An architecture for negotiation and enforcement of resource usage policies. SOCA 2011: 1-8 - [c19]Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A high-level model-checking tool for verifying service agreements. SOSE 2011: 297-304 - 2010
- [c18]Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD 2010: 506-512 - [c17]Rafael Z. Frantz, Carlos Molina-Jiménez, Rafael Corchuelo:
On the Design of a Domain Specific Language for Enterprise Application Integration Solutions. MoSE@TOOLS 2010: 19-30 - [c16]Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava:
On Model Checker Based Testing of Electronic Contracting Systems. CEC 2010: 88-95
2000 – 2009
- 2009
- [c15]Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Implementing a Rule-Based Contract Compliance Checker. I3E 2009: 96-111 - [c14]Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez:
Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions. OTM Workshops 2009: 294-303 - [c13]Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano:
Exception Handling in Electronic Contracting. CEC 2009: 65-73 - [c12]Ahmed Mihoob, Carlos Molina-Jiménez:
A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption. YR-SOC 2009: 3-14 - 2008
- [c11]Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava:
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops 2008: 270-283 - [c10]Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava:
A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML 2008: 81-88 - 2007
- [c9]Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook:
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC 2007: 51-62 - 2006
- [c8]Carlos Molina-Jiménez, Santosh K. Shrivastava:
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. ECOWS 2006: 148-160 - [c7]Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman:
On State Synchronization of Business Conversations. CEC/EEE 2006: 42 - 2005
- [c6]Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne:
A Method for Specifying Contract Mediated Interactions. EDOC 2005: 106-118 - [c5]Graham Morgan, Simon E. Parkin, Carlos Molina-Jiménez, James Skene:
Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. I3E 2005: 79-93 - 2004
- [j1]Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne:
Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3(2): 108-125 (2004) - [c4]Carlos Molina-Jiménez, Jim Pruyne, Aad P. A. van Moorsel:
The Role of Agreements in IT Management Software. WADS 2004: 36-58 - 2003
- [c3]Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava:
Model Checking Correctness Properties of Electronic Contracts. ICSOC 2003: 303-318 - [c2]Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne:
Contract Representation for Run-time Monitoring and Enforcement. CEC 2003: 103-110 - 2000
- [b1]Carlos Molina-Jiménez:
Anonymous and confidential communication using PDAs. Newcastle University, Newcastle upon Tyne, UK, 2000
1990 – 1999
- 1999
- [c1]Carlos Molina-Jiménez, Lindsay Marshall:
Anonymous and Confidential Communications from an IP Addressless Computer. HUC 1999: 383-385
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint