Ka I Pun

Førsteamanuensis - Centre for Scalable Data Access
Bilde av Ka I Pun
English version of this page
Telefon +47 22840062
Brukernavn
Besøksadresse Gaustadalleen 23 B 0373 Oslo
Postadresse Postboks 1080 Blindern 0316 Oslo

Vennligst besøk hjemsiden min for ytterligere informasjon om meg.

Publikasjoner

  • Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2022). Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. IEEE Access. ISSN 2169-3536. 10, s. 6010–6027. doi: 10.1109/ACCESS.2022.3141709. Fulltekst i vitenarkiv
  • Ali, Muhammad Rizwan & Pun, Violet Ka I (2021). Cost Analysis for an Actor-Based Workflow Modelling Language. I Campos, Sérgio & Minea, Marius (Red.), Formal Methods: Foundations and Applications. Springer. ISSN 978-3-030-92136-1. s. 104–121. doi: 10.1007/978-3-030-92137-8_7.
  • Ali, Muhammad Rizwan & Pun, Violet Ka I (2021). Towards a Resource-Aware Formal Modelling Language for Workflow Planning. I Bellatreche, Ladjel; Chernishev, George; Corral, Antonio; Ouchani, Samir & Vain, Juri (Red.), Advances in Model and Data Engineering in the Digitalization Era. Springer Nature. ISSN 978-3-030-87656-2. s. 251–258. doi: 10.1007/978-3-030-87657-9_19.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. I IEEE, IEEE (Red.), 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5,2021. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-7281-1179-7. doi: 10.1109/EMBC46164.2021.9630592.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Diversity-Aware Anonymization for Structured Health Data. I IEEE, IEEE (Red.), 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2021, Mexico, November 1-5,2021. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-7281-1179-7. doi: 10.1109/EMBC46164.2021.9629918.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Privacy preserving distributed extremely randomized trees. I Hung, Chih-Cheng (Red.), SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM). ISSN 978-1-4503-8104-8. doi: https%3A/doi.org/10.1145/3412841.3442110.
  • Mukhiya, Suresh Kumar; Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I & Lamo, Yngve (2021). Artificial Intelligence in Mental Health , Artificial Intelligence: Models, Algorithms and Applications. Bentham Science Publishers. ISSN 978-1-68108-827-3.
  • Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I & Stolz, Volker (2021). Hardware-Assisted Online Data Race Detection. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13065. doi: 10.1007/978-3-030-87348-6_6.
  • Mukhiya, Suresh Kumar; Wake, Jo Dugstad; Inal, Yavuz; Pun, Ka I & Lamo, Yngve (2020). Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review. Journal of Medical Internet Research. ISSN 1438-8871. 22(11). doi: 10.2196/21066. Fulltekst i vitenarkiv
  • Henrio, Ludovic; Johnsen, Einar Broch & Pun, Ka I (2020). Active Objects with Deterministic Behavior. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12546, s. 181–198. doi: 10.1007/978-3-030-63461-2_10.
  • de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth & Tveito, Lars (2020). SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12345, s. 313–338. doi: 10.1007/978-3-030-64354-6_13. Fulltekst i vitenarkiv
  • Stolz, Volker; Pun, Ka I & Gheyi, Rohit (2020). Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-61470-6_9. Fulltekst i vitenarkiv
  • de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2020). From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12226, s. 269–275. doi: 10.1007/978-3-030-57506-9_20. Fulltekst i vitenarkiv
  • Mukhiya, Suresh Kumar; Ahmed, Usman; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2020). Adaptation of IDPT System Based on Patient-Authored Text Data using NLP, IEEE 33rd International Symposium on Computer Based Medical Systems (CBMS). IEEE conference proceedings. ISSN 978-1-7281-9429-5. s. 226–232. doi: 10.1109/CBMS49503.2020.00050.
  • Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2019). An architectural design for self-reporting e-health systems. I IEEE, CS Press (Red.), SEH ’19: Proceedings of the 1st International Workshop on Software Engineering for Healthcare. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-1-7281-2251-9. s. 1–8. doi: 10.1109/SEH.2019.00008.
  • Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I & Roman-Diez, Guillermo (2019). Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 105, s. 1–27. doi: 10.1016/j.jlamp.2019.02.007.
  • Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Rutle, Adrian & Lamo, Yngve (2019). A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. Procedia Computer Science. ISSN 1877-0509. 160, s. 338–345. doi: 10.1016/j.procs.2019.11.082. Fulltekst i vitenarkiv
  • Aminifar, Amin; Lamo, Yngve; Pun, Ka I & Rabbi, Fazle (2019). A Practical Methodology for Anonymization of Structured Health Data. I Granja, Conceição & Solvoll, Terje (Red.), Proceedings of the 17th Scandinavian Conference on Health Informatics 2019. Linköping University Electronic Press. ISSN 978-91-7929-957-6. s. 127–133. Fulltekst i vitenarkiv
  • de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch & Laneve, Cosimo [Vis alle 8 forfattere av denne artikkelen] (2019). Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 302, s. 1–15. doi: 10.4204/EPTCS.302.1. Fulltekst i vitenarkiv
  • Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 11424, s. 332–350. doi: 10.1007/978-3-030-16722-6_20. Fulltekst i vitenarkiv
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2019). A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming. ISSN 0167-6423. 179, s. 24–53. doi: 10.1016/j.scico.2019.04.003.
  • Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet & Stolz, Volker (2018). Stream-based dynamic data race detection. NIKT: Norsk IKT-konferanse for forskning og utdanning. ISSN 1892-0713.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph & Tapia Tarifa, Silvia Lizeth (2018). Deployment by Construction for Multicore Architectures. I Margaria, Tiziana & Steffen, Bernhard (Red.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer. ISSN 978-3-030-03417-7. s. 448–465. doi: 10.1007/978-3-030-03418-4_26.
  • Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun & Roman-Diez, Guillermo (2018). Parallel Cost Analysis. ACM Transactions on Computational Logic. ISSN 1529-3785. 19(4), s. 1–37. doi: 10.1145/3274278.
  • Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). A formal model of cloud-deployed software and its application to workflow processing. I Begušić, Dinko; Rožić, Nikola; Radić, Joško & Šarić, Matko (Red.), SoftCOM 2017. IEEE Sarnoff Symposium. ISSN 978-953-290-078-1. doi: 10.23919/SOFTCOM.2017.8115501.
  • Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I & Roman-Diez, Guillermo (2017). Time analysis of actor programs. I Walden, Marina (Red.), Proceedings of the 29th Nordic Workshop on Programming Theory. Turku Centre for Computer Science. ISSN 978-952-12-3608-2. s. 13–15. doi: 10.1016/j.jlamp.2019.02.007.
  • Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10501 LNAI, s. 22–43. doi: 10.1007/978-3-319-66902-1_2.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2017). A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 10487 LNCS, s. 58–77. doi: 10.1007/978-3-319-68034-7_4.
  • Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. 228, s. 16–26. doi: 10.4204/EPTCS.228.3.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9942, s. 47–63. doi: 10.1007/978-3-319-44802-2_3.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2016). Meeting Deadlines, Elastically. I Petre, Luigia & Sekerinski, Emil (Red.), From Action Systems to Distributed Systems: The Refinement Approach. CRC Press. ISSN 978-1-4987-0158-7. s. 99–111. doi: 10.1201/b20053-11.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2016). An operational semantics of cache coherent multicore architectures. I Ossowski, Sascha (Red.), Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). Association for Computing Machinery (ACM). ISSN 978-1-4503-3739-7. s. 1219–1224. doi: 10.1145/2851613.2851718.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2016). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 85(6), s. 1234–1267. doi: 10.1016/j.jlamp.2016.05.003.
  • Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo & Pun, Ka I (2016). Time complexity of concurrent programs – A technique based on behavioural types. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9539, s. 199–216. doi: 10.1007/978-3-319-28934-2_11.
  • Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker & Wickert, Anna-Katharina (2016). Information flow analysis for Go. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9952 LNCS, s. 431–445. doi: 10.1007/978-3-319-47166-2_30.
  • Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch & Pun, Ka I [Vis alle 9 forfattere av denne artikkelen] (2015). Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 9104, s. 1–56. doi: 10.1007/978-3-319-18941-3_1.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Behaviour Inference for Deadlock Checking. I Leucker, Martin (Red.), 2014 Theoretical Aspects of Software Engineering Conference. IEEE conference proceedings. ISSN 978-1-4799-5029-4. s. 106–113. doi: 10.1109/TASE.2014.23.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Deadlock checking by data race detection. Journal of Logical and Algebraic Methods in Programming. ISSN 2352-2208. 83(5-6), s. 400–426. doi: 10.1016/j.jlamp.2014.07.003.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2014). Effect-Polymorphic Behaviour Inference for Deadlock Checking. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8702, s. 50–64. doi: 10.1007/978-3-319-10431-7_5.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Deadlock Checking by Data Race Detection. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 8161. doi: 10.1007/978-3-642-40213-5_3.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock checking by data race detection. I Wolter, Uwe Egbert & Lamo, Yngve (Red.), 24th Nordic Workshop on Programming Theory. Universitetet i Bergen. ISSN 0333-3590. doi: 10.1007/978-3-642-40213-5_3.
  • Bodden, Eric; Falzon, Kevin; Pun, Ka I & Stolz, Volker (2012). Delta-oriented Monitor Specification. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 7609, s. 162–177. doi: 10.1007/978-3-642-34026-0_13. Fulltekst i vitenarkiv
  • Pun, Ka I; Si, Yain Whar & Pau, Kin Chan (2012). Key Performance Indicators for Traffic Intensive Web-Enabled Business Processes. Business Process Management Journal. ISSN 1463-7154. 18(2), s. 250–283. doi: 10.1108/14637151211225199.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by a Behavioral Effect System for Lock Handling. Journal of Logic and Algebraic Programming. ISSN 1567-8326. 81(3), s. 331–354. doi: 10.1016/j.jlap.2011.11.001.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Polymorphic behavioural lock effects for deadlock checking (extended abstract). I Petterson, Paul & Cristina, Seceleanu (Red.), Proceedings of the 23rd Nordic Workshop on Programming Theory, NWPT'11. Mälardalen University. ISSN 9789521224782.
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling. I Walden, Marina & Petre, Luigia (Red.), Proceedings of the 22nd Nordic Workshop on Programming Theory, NWPT'10. TUCS. ISSN 978-952-12-2478-2.
  • Pun, Ka I & Si, Yain Whar (2009). Audit Trail Analysis for Traffic Intensive Web Applications. I IEEE, Computer Society (Red.), IEEE International Conference on e-Business Engineering, 2009. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-0-7695-3842-6. s. 577–582.
  • Pun, Ka I; Pau, Kin Chan & Si, Yain Whar (2008). Modeling Support for Simulating Traffic Intensive Web Applications. I Jain, Lakhmi C.; Gini, Maria; Faltings, Boi; Terano, Takao; Zhang, Chengqi; Cercone, Nick & Cao, Longbing (Red.), Proceedings of 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology - IAT 2008. IEEE (Institute of Electrical and Electronics Engineers). ISSN 978-0-7695-3496-1. s. 512–516.

Se alle arbeider i Cristin

  • Pun, Ka I; Stolz, Volker & Simao, Adenilso (2020). Theoretical Aspects of Computing – ICTAC 2020 . Springer. ISBN 978-3-030-64275-4. 317 s.

Se alle arbeider i Cristin

  • Mukhiya, Suresh Kumar; Lamo, Yngve; Rabbi, Fazle & Pun, Ka I (2019). An architecture for creating self-reporting e-health systems.
  • Aminifar, Amin; Rabbi, Fazle; Pun, Ka I & Lamo, Yngve (2019). Anonymization of Structured Health Data.
  • Jaksic, Svetlana; Pun, Ka I Violet & Stolz, Volker (2018). COEMS.
  • Pun, Ka I & Steffen, Martin (2010). Deadlock checking by behavior inference for lock handling (extended abstract).
  • Ali, Muhammad Rizwan & Pun, Violet Ka I (2021). Cost Analysis for an Actor-Based Workflow Modelling Language (Technical Report). Høgskulen på Vestlandet. ISSN 2535-8103.
  • Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I & Tapia Tarifa, Silvia Lizeth (2015). An Operational Semantics of Cache Coherent Multicore Architectures. UiO.
  • Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth & Yu, Ingrid Chieh (2015). Meeting Deadlines, Elastically. UiO. ISSN 978-82-7368-408-0.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2013). Lock-Polymorphic Behaviour Inference for Deadlock Checking. Universitetet i Oslo. ISSN 82-7368-398-2.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Behaviour Inference for Deadlock Checking. Universitet i Oslo Report 416. ISSN 82-7368-379-6".
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2012). Deadlock Checking by Data Race Detection. UiO. ISSN 82-7368-385-0.
  • Pun, Ka I; Steffen, Martin & Stolz, Volker (2011). Deadlock checking by a behavioral effect system for lock handling. Universitetet i Oslo. ISSN 82-7368-366-4.

Se alle arbeider i Cristin

Publisert 12. jan. 2016 14:20 - Sist endret 2. okt. 2017 13:59