Login / Signup
Ivar Rummelhoff
ORCID
Publication Activity (10 Years)
Years Active: 2001-2023
Publications (10 Years): 3
Top Topics
Matlab Simulation
Abstract Machine
Digital Information
Simulation Environment
Top Venues
SRDS Workshop
Simul.
IEEE Access
</>
Publications
</>
Audun Stolpe
,
Ivar Rummelhoff
,
Jo Erskine Hannay
A logic-based event controller for means-end reasoning in simulation environments.
Simul.
99 (8) (2023)
Ivar Rummelhoff
,
Eladio Gutiérrez
,
Thor Kristoffersen
,
Ole Liabø
,
Bjarte M. Østvold
,
Oscar G. Plata
,
Sergio Romero
An Abstract Machine Approach to Preserving Digital Information.
IEEE Access
9 (2021)
Daniel Andrade
,
Thor Kristoffersen
,
Ivar Rummelhoff
,
Alex Gerdov
,
João Nuno Silva
Thwarting Data Exfiltration by Repackaged Applications.
SRDS Workshop
(2016)
Ivar Rummelhoff
Polynat in PER models.
Theor. Comput. Sci.
316 (1) (2004)
Ivar Rummelhoff
Normal Domain Representations of Topological Spaces.
Math. Log. Q.
47 (3) (2001)