Cristin-person-ID: 3768
Person

Violet Ka I Pun

  • Stilling:
    Førstelektor
    ved Institutt for informatikk ved Universitetet i Bergen
  • Stilling:
    Førstelektor
    ved Institutt for informatikk ved Universitetet i Bergen
  • Stilling:
    Førsteamanuensis
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet

Resultater Resultater

Proving Correctness of Parallel Implementations of Transition System Models.

de Boer, Frank; Johnsen, Einar Broch; Pun, Violet Ka I; Tapia Tarifa, Silvia Lizeth. 2024, ACM Transactions on Programming Languages and Systems. UIO, HVLVitenskapelig artikkel

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.

Din, Crystal Chang; Hähnle, Reiner; Henrio, Ludovic; Johnsen, Einar Broch; Pun, Violet Ka I; Tapia Tarifa, Silvia Lizeth. 2024, ACM Transactions on Programming Languages and Systems. UIO, UIB, HVLVitenskapelig artikkel

Preface for HEDA 2023: The 3rd International Workshop on Health Data .

MacCaull, Wendy; Pun, Violet Ka I. 2023, CEUR Workshop Proceedings. STFX, HVLLeder

Preface: Special issue on Theoretical Aspects of Computing.

Pun, Violet Ka I; Simao, Adenilso; Stolz, Volker. 2024, Theoretical Computer Science. HVLVitenskapelig oversiktsartikkel/review

Enforced Dependencies for Active Objects.

Pun, Violet Ka I; Stolz, Volker. 2024, Lecture Notes in Computer Science (LNCS). HVLVitenskapelig artikkel
1 - 5 av 70 | Neste | Siste »