Cristin-person-ID: 23441
Person

Ivar Rummelhoff

  • Stilling:
    Seniorforsker
    ved IKT Forskning ved Norsk Regnesentral

Klassifisering

Vitenskapsdisipliner

Matematikk • Logikk

Emneord

Semantikk • Rekursjonsteori • Typeteori • Totalitet i domene • Domeneteori

Resultater Resultater

PCube Reference Manual.

Aker, Eyvind; Sanchis, Charlotte Juliette; Røe, Per; Kjønsberg, Heidi; Barker, Daniel Martin L; Rummelhoff, Ivar; Nilsen, Carl-Inge Colombo. 2021, NRRapport

PCube User Manual Version 9.0.

Aker, Eyvind; Barker, Daniel Martin L; Fjeldstad, Torstein Mæland; Hauge, Ragnar; Kjønsberg, Heidi; Kvernelv, Vegard Berg; Nilsen, Carl-Inge Colombo; Rummelhoff, Ivar; Røe, Per; Sanchis, Charlotte Juliette. 2021, NRRapport

An Abstract Machine Approach to Preserving Digital Information.

Rummelhoff, Ivar; Gutiérrez, Eladio; Kristoffersen, Thor O.; Liabø, Ole; Østvold, Bjarte Mayanja; Plata, Oscar; Romero, Sergio. 2021, IEEE Access. NR, PIQ, UdMVitenskapelig artikkel

PCube Reference Manual.

Aker, Eyvind; Sanchis, Charlotte Juliette; Røe, Per; Kjønsberg, Heidi; Barker, Daniel Martin L; Rummelhoff, Ivar; Nilsen, Carl-Inge Colombo. 2020, NRRapport

PCube+ User Manual Version 8.0.

Røe, Per; Aker, Eyvind; Barker, Daniel Martin L; Hauge, Ragnar; Kjønsberg, Heidi; Nesvold, Erik; Nilsen, Carl-Inge Colombo; Rummelhoff, Ivar; Sanchis, Charlotte Juliette. 2020, NRRapport
1 - 5 av 17 | Neste | Siste »