Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
1116641
Person
Ole Jørgen Abusdal
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, UIB
Vitenskapelig 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, HVL
Vitenskapelig 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, HVL
Vitenskapelig 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, UIB
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
1
-
4
av
4
Tilknyttede prosjekter
Tilknyttede prosjekter
Security-relevant analysis of execution traces
Volker Stolz + 2 deltakere
Høgskulen på Vestlandet
Avsluttet prosjekt
1
-
1
av
1