Ka I Pun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2012–2021
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SAC | Privacy preserving distributed extremely randomized trees. | Amin Aminifar, Fazle Rabbi, Ka I Pun, Yngve Lamo |
| 2020 | CBMS | Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. | Suresh Kumar Mukhiya, Usman Ahmed, Fazle Rabbi, Ka I Pun, Yngve Lamo |
| 2019 | FASE | Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. | Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2019 | ICSE | An architectural design for self-reporting e-health systems. | Suresh Kumar Mukhiya, Fazle Rabbi, Ka I Pun, Yngve Lamo |
| 2019 | SEFM | From SOS to Asynchronously Communicating Actors. | Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2018 | ISoLA | Deployment by Construction for Multicore Architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa |
| 2017 | SOFTCOM | A formal model of cloud-deployed software and its application to workflow processing. | Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2017 | TABLEAUX | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. | Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2016 | ISoLA | Information Flow Analysis for Go. | Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert |
| 2016 | SAC | An operational semantics of cache coherent multicore architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2014 | SEFM | Effect-Polymorphic Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2014 | TASE | Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2012 | ISoLA | Delta-Oriented Monitor Specification. | Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz |