Senior Research Scientist

Ivar Rummelhoff

Publications

  • 28 publications found
  • Publisher

Preserving Long-Term Access to Decommissioned Database Systems With Immortal Database Access (iDA) IEEE Access, vol. 14, pp. 24496 24511 , (ISSN 2169-3536 ), doi: https://doi.org/10.1109/access.2026.3664594 , 2026. Scientific article

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

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

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

PCube Reference Manual 2021. Report

Publisher Norsk Regnesentral

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

Publisher Norsk Regnesentral

PCube Reference Manual 2020. Report

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

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

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral
Publisher OS New Horizon Ltd.

The future is reactive 2011. Lecture

Publisher Unipub forlag

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

Publisher Elsevier

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