Ivar Rummelhoff

Reproducible preservation of databases through executable specifications International Journal of Digital Curation, (ISSN 1746-8256 ), doi: https://doi.org/10.2218/ijdc.v19i1.922 , 2025. Scientific article

Legal knowledge representation and reasoning with generative AI 2025. Report

Reproducible preservation of databases through executable specifications 2024. Scientific lecture

Regelverk, digitalisering og automatisering 2023. Report

O3.1: Process definition and guidelines for system decommissioning 2023. Report

O3.2-3: The DbSpec Executable Specification Language 2023. Report

Malware analysis: Tool support and innovation opportunities 2023. Report

A logic-based event controller for means-end reasoning in simulation environments Simulation (San Diego, Calif.), vol. 99, (ISSN 0037-5497 1741-3133 ), doi: https://doi.org/10.1177/00375497231157384 , 2023. Scientific article

Operational Risk: Future Directions in Security, Resilience and Maturity 2022. Report

Preservation of decommissioned IT systems: Strategies, technologies, and state of the art 2022. Report

An Abstract Machine Approach to Preserving Digital Information IEEE Access, vol. 9, pp. 154914 154932 , (ISSN 2169-3536 ), doi: https://doi.org/10.1109/ACCESS.2021.3128382 , 2021. Scientific article

PCube User Manual Version 9.0 2021. Report

PCube Reference Manual 2021. Report

PCube Reference Manual 2020. Report

PCube+ User Manual Version 8.0 2020. Report

Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence 2019. Lecture

This is a user manual for PCube. PCube is a seismic inversion software that computes lithology and fluid probabilities from seismic AVO data. 2018. Report

PCAS Deliverable D8.1: Security Evaluation – Communication 2016. Report

PCAS Deliverable D6.3: Security evaluation of STG and communications 2016. Report

PCAS Deliverable D6.4: Secured Trusted Gateway (STG) 2016. Report

Thwarting data exfiltration by repackaged applications Symposium on Reliable Distributed Systems. Proceedings, vol. 2016-October, pp. 43 48 , (ISSN 1060-9857 2575-8462 ), doi: https://doi.org/10.1109/SRDSW.2016.18 , 2016. Scientific article

PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design 2015. Report

PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms 2015. Report

The future is reactive 2011. Lecture

Ivar Rummelhoff; Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets 2007. Doctor dissertat

Ivar Rummelhoff; Polynat in PER models Theoretical Computer Science, pp. 215 224 10 , 2004. Scientific article

Ivar Rummelhoff; Normal Domain Representations of Topological Spaces Mathematical logic quarterly, pp. 409 412 , 2001. Scientific article