Seniorforsker

Ivar Rummelhoff

Publikasjoner

  • 24 publikasjoner funnet
  • Utgiver

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. Vitenskapelig artikkel

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver 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. Vitenskapelig artikkel

Utgiver Norsk Regnesentral

PCube Reference Manual 2021. Rapport

Utgiver 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. Vitenskapelig artikkel

PCube Reference Manual 2020. Rapport

Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver Norsk Regnesentral
Utgiver 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. Vitenskapelig artikkel

Utgiver OS New Horizon Ltd.

The future is reactive 2011. Faglig foredrag