Normal Domain Representations of Topological Spaces. - Ivar Rummelhoff (Math. Log. Q., 2001)

Polynat in PER models. - Ivar Rummelhoff (Theor. Comput. Sci., 2004)

Thwarting Data Exfiltration by Repackaged Applications. - Daniel Andrade; Thor Kristoffersen; Ivar Rummelhoff; Alex Gerdov; João Nuno Silva (SRDS Workshop, 2016)

An Abstract Machine Approach to Preserving Digital Information. - Ivar Rummelhoff; Eladio Gutiérrez; Thor Kristoffersen; Ole Liabø; Bjarte M. Østvold; Oscar G. Plata; Sergio Romero 001 (IEEE Access, 2021)

A logic-based event controller for means-end reasoning in simulation environments. - Audun Stolpe; Ivar Rummelhoff; Jo Erskine Hannay (Simul., 2023)