Ivar Rummelhoff

Orcid: 0000-0002-1165-5032

Affiliations:

Norwegian Computing Center, Oslo, Norway
University of Oslo, Department of Mathematics, Norway (former)

According to our database¹, Ivar Rummelhoff authored at least 5 papers between 2001 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

A logic-based event controller for means-end reasoning in simulation environments.

[BibT_eX]

[DOI]

Audun Stolpe

Ivar Rummelhoff

Jo Erskine Hannay

Simul., August, 2023

2021

An Abstract Machine Approach to Preserving Digital Information.

[BibT_eX]

[DOI]

IEEE Access, 2021

2016

Thwarting Data Exfiltration by Repackaged Applications.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems Workshops, 2016

2004

Polynat in PER models.

[BibT_eX]

[DOI]

Ivar Rummelhoff

Theor. Comput. Sci., 2004

2001

Normal Domain Representations of Topological Spaces.

[BibT_eX]

[DOI]

Ivar Rummelhoff

Math. Log. Q., 2001

Ivar Rummelhoff

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...