Cristin-person-ID: 1116641
Person

Ole Jørgen Abusdal

  • Stilling:
    Stipendiat
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Resultater Resultater

I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking.

Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker. 2022, Lecture Notes in Computer Science (LNCS). HVL, UIBVitenskapelig artikkel

A Notion of Equivalence for Refactorings with Abstract Execution .

Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I; Stolz, Volker. 2022, Lecture Notes in Computer Science (LNCS). UIO, HVLVitenskapelig artikkel

Padding in the Mathematics of Arrays.

Chetioui, Benjamin; Abusdal, Ole Jørgen; Haveraaen, Magne; Järvi, Jaakko; Mullin, Lenore. 2021, Association for Computing Machinery (ACM). Ty, SUoNYaA, UIB, HVLVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Finite difference methods fengshui: alignment through a mathematics of arrays.

Chetioui, Benjamin; Mullin, Lenore; Abusdal, Ole Jørgen; Haveraaen, Magne; Järvi, Jaakko Timo Henrik; Macià, Sandra. 2019, Association for Computing Machinery (ACM). BSC, SUoNYaA, UIBVitenskapelig Kapittel/Artikkel/Konferanseartikkel
1 - 4 av 4