Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
3768
Person
Violet Ka I Pun
Førstelektor
ved Institutt for informatikk ved Universitetet i Bergen
Førstelektor
ved Institutt for informatikk ved Universitetet i Bergen
Førsteamanuensis
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Kontaktinformasjon
Kontaktinformasjon
hvl.no Violet.Ka.I.Pun
violet.foldr.org/
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, HVL
Vitenskapelig 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, HVL
Vitenskapelig artikkel
Preface for HEDA 2023: The 3rd International Workshop on Health Data .
MacCaull, Wendy; Pun, Violet Ka I. 2023, CEUR Workshop Proceedings. STFX, HVL
Leder
Preface: Special issue on Theoretical Aspects of Computing.
Pun, Violet Ka I; Simao, Adenilso; Stolz, Volker. 2024, Theoretical Computer Science. HVL
Vitenskapelig oversiktsartikkel/review
Enforced Dependencies for Active Objects.
Pun, Violet Ka I; Stolz, Volker. 2024, Lecture Notes in Computer Science (LNCS). HVL
Vitenskapelig artikkel
1
-
5
av
70
|
Neste
|
Siste »
Tilknyttede prosjekter
Tilknyttede prosjekter
MultiAsm - a novel approach for energy efficient, high performance and compact programming for next-generation EU software engineers
Piotr Czekalski + 4 deltakere
Politechnika Śląska
Aktivt prosjekt
Synchronous Languages meet Asynchronous Semantics
Violet Ka I Pun
Høgskulen på Vestlandet
1 resultat
Avsluttet prosjekt
Enabling Highly Automated Cross-Organisational Workflow Planning
Violet Ka I Pun
Høgskulen på Vestlandet
11 resultater
Aktivt prosjekt
Methods and Tool Support for Refinement, Model Transformation and Verification of Network System
Volker Stolz + 6 deltakere
Høgskulen på Vestlandet
1 resultat
Avsluttet prosjekt
Modern Refactoring
Volker Stolz + 11 deltakere
Høgskulen på Vestlandet
6 resultater
Avsluttet prosjekt
1
-
5
av
7
|
Neste
|
Siste »