Ka I Pun
Western Norway University of Applied Sciences(NO)University of Oslo(NO)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Logic, programming, and type systems, Formal Methods in Verification, Software System Performance and Reliability
Most-Cited Works
- → Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore(2015)55 cited
- → Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review(2020)36 cited
- → Adaptation of IDPT System Based on Patient-Authored Text Data using NLP(2020)26 cited
- → Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages(2017)18 cited
- → An Architectural Design for Self-Reporting E-Health Systems(2019)17 cited
- → Privacy preserving distributed extremely randomized trees(2021)15 cited
- → Time Complexity of Concurrent Programs(2016)12 cited
- → Parallel Cost Analysis(2018)12 cited
- → Implementing SOS with Active Objects: A Case Study of a Multicore Memory System(2019)11 cited
- → Deadlock checking by a behavioral effect system for lock handling(2011)10 cited