Publications

(2024). JustAct: Actions Universally Justified by Partial Dynamic Policies. Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024).

Project Project Project DOI URL

(2022). Security- and Privacy-Aware IoT Application Placement and User Assignment. Computer Security. ESORICS 2021 International Workshops.

DOI

(2022). Promises and pitfalls of computational modelling for insurgency conflicts. The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology.

DOI URL

(2022). Decentralized application placement in fog computing. IEEE Transactions on Parallel and Distributed Systems.

DOI

(2021). Computability of Diagrammatic Theories for Normative Positions. Frontiers in Artificial Intelligence and Applications.

DOI URL

(2021). Computability of Diagrammatic Theories for Normative Positions. Frontiers in Artificial Intelligence and Applications.

DOI URL

(2021). Accounting Value Effects for Responsible Networking. Proceedings of the ACM SIGCOMM 2021 Workshop on Technologies, Applications, and Uses of a Responsible Internet.

DOI URL

(2021). Smart contracts. Internet Policy Review.

DOI URL

(2021). A Deeper Look at the Energy Consumption of Lightweight Block Ciphers. 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

DOI URL

(2021). The Search for Symmetry in Hohfeldian Modalities. Diagrammatic Representation and Inference.

DOI URL

(2021). Profiling and Discriminating of Containerized ML Applications in Digital Data Marketplaces (DDM). Proceedings of the 7th International Conference on Information Systems Security and Privacy - ICISSP.

Project DOI URL

(2021). A Critical Reflection on ODRL. AI Approaches to the Complexity of Legal Systems XI-XII.

DOI URL

(2020). Digital Enforceable Contracts (DEC): Making Smart Contracts Smarter. Frontiers in Artificial Intelligence and Applications.

DOI URL

(2020). A principled approach to REPL interpreters. Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.

DOI URL

(2019). Big Data Platforms and Tools for Data Analytics in the Data Science Engineering Curriculum. Proceedings of the 2019 3rd International Conference on Cloud and Big Data Computing.

DOI URL

(2019). Open Data Market Architecture and Functional Components. 2019 International Conference on High Performance Computing & Simulation (HPCS).

DOI URL

(2019). Designing Customisable Data Science Curriculum Using Ontology for Data Science Competences and Body of Knowledge. Proceedings of the 2019 International Conference on Big Data and Education - ICBDE'19.

DOI URL