Open Research Exeter (ORE): Recent submissions
Now showing items 16-20 of 39010
-
Possibility theory: A foundation for theoretical and empirical explorations of uncertainty
(Wiley, 2024)The field of operations and supply chain management (OSCM) has a long history of identifying and engaging with risk and uncertainty in operational practices. We provide a brief review of uncertainty in the OSCM domain, ... -
The business case for demographic diversity in strategic leadership teams: A systematic and critical review of the causal evidence
(Elsevier, 16 November 2024)Demographic diversity (e.g., gender, age, race, ethnicity) in strategic leadership teams (i.e., boards of directors and top management teams) has received global attention recently. Policymakers have promoted diversity ... -
Parametric Ontologies in Formal Software Engineering
(Elsevier, 16 November 2024)Isabelle/DOF is an ontology framework on top of Isabelle/HOL. It allows for the formal development of ontologies and continuous conformity-checking of integrated documents, including the tracing of typed meta-data of ... -
Secure Smart Contracts with Isabelle/Solidity
(Springer, 2024)Smart contracts are programs stored on the blockchain, often developed in a high-level programming language, the most popular of which is Solidity. Smart contracts are used to automate financial transactions and thus bugs ... -
Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL
(Association for Computing Machinery (ACM), 15 October 2024)Smart contracts are computer programs designed to automate legal agreements. They are usually developed in a high-level programming language, the most popular of which is Solidity. Every day, hundreds of thousands of new ...