|
|||||||||||||||
|
In order to register data in Cristin, you must be an academic or administrative employee.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
|
2024
|
||
| 1. | Pun, Violet Ka I; Simao, Adenilso; Stolz, Volker. Preface: Special issue on Theoretical Aspects of Computing. Theoretical Computer Science 2024 HVL |
|
|
|
||
| 2. | Pun, Violet Ka I; Stolz, Volker. Enforced Dependencies for Active Objects. Lecture Notes in Computer Science (LNCS) 2024 ;Volume 14360. HVL |
|
|
2023
|
||
| 3. | Ali, Muhammad Rizwan; Pun, Violet Ka I. A Static Analyser for Resource Sensitive Workflow Models. Lecture Notes in Computer Science (LNCS) 2023 ;Volume 13931. p. 305-312 HVL |
|
|
|
||
| 4. | MacCaull, Wendy; Pun, Violet Ka I. Preface for HEDA 2023: The 3rd International Workshop on Health Data. CEUR Workshop Proceedings 2023 ;Volume 3440. HVL |
|
|
|
||
| 5. | Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker. Modular Soundness Checking of Feature Model Evolution Plans. Lecture Notes in Computer Science (LNCS) 2023 ;Volume 14446. p. 417-437 HVL UiB UiO |
|
|
2022
|
||
| 6. | Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker. I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13360. p. 1-18 HVL UiB |
|
|
|
||
| 7. | Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I; Stolz, Volker. A Notion of Equivalence for Refactorings with Abstract Execution. Lecture Notes in Computer Science (LNCS) 2022 ;Volume 13702. p. 259-280 UiO HVL |
|
|
|
||
| 8. | Ali, Muhammad Rizwan; Lamo, Yngve; Pun, Violet Ka I. Cost analysis for a resource sensitive workflow modelling language. Science of Computer Programming 2022 ;Volume 225. HVL |
|
|
|
||
| 9. | Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve. Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. IEEE Access 2022 ;Volume 10. p. 6010-6027 UiO HVL UiB |
|
|
2021
|
||
| 10. | Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Pun, Ka I; Stolz, Volker. Hardware-Assisted Online Data Race Detection. Lecture Notes in Computer Science (LNCS) 2021 ;Volume 13065. HVL |
|
|
|
||
| 11. | Ali, Muhammad Rizwan; Pun, Violet Ka I. Cost Analysis for an Actor-Based Workflow Modelling Language. I: Formal Methods: Foundations and Applications. Springer 2021 ISBN 978-3-030-92136-1. p. 104-121 HVL |
|
|
|
||
| 12. | Ali, Muhammad Rizwan; Pun, Violet Ka I. Cost Analysis for an Actor-Based Workflow Modelling Language (Technical Report). : Høgskulen på Vestlandet 2021 25 p. HVL-Rapport(15/2021) HVL |
|
|
|
||
| 13. | Ali, Muhammad Rizwan; Pun, Violet Ka I. Towards a Resource-Aware Formal Modelling Language for Workflow Planning. I: Advances in Model and Data Engineering in the Digitalization Era. Springer Nature 2021 ISBN 978-3-030-87656-2. p. 251-258 HVL UiO |
|
|
|
||
| 14. | Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve. Diversity-Aware Anonymization for Structured Health Data. I: 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) 2021 ISBN 978-1-7281-1179-7. HVL UiO UiB |
|
|
|
||
| 15. | Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve. Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. I: 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) 2021 ISBN 978-1-7281-1179-7. HVL UiO UiB |
|
|
|
||
| 16. | Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve. Privacy preserving distributed extremely randomized trees. I: SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM) 2021 ISBN 978-1-4503-8104-8. UiO HVL UiB |
|
|
|
||
| 17. | Mukhiya, Suresh Kumar; Aminifar, Amin; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve. Artificial Intelligence in Mental Health. I: Artificial Intelligence: Models, Algorithms and Applications. Bentham Science Publishers 2021 ISBN 978-1-68108-827-3. HVL UiB |
|
|
2020
|
||
| 18. | de Boer, Frank; Bonsangue, Marcello; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Tveito, Lars. SymPaths: Symbolic Execution Meets Partial Order Reduction. Lecture Notes in Computer Science (LNCS) 2020 ;Volume 12345. p. 313-338 HVL UiO |
|
|
|
||
| 19. | de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. From SOS to asynchronously communicating actors. Lecture Notes in Computer Science (LNCS) 2020 ;Volume 12226. p. 269-275 UiO HVL |
|
|
|
||
| 20. | Henrio, Ludovic; Johnsen, Einar Broch; Pun, Ka I. Active Objects with Deterministic Behavior. Lecture Notes in Computer Science (LNCS) 2020 ;Volume 12546. p. 181-198 HVL UiO |
|
|
|
||
| 21. | Mukhiya, Suresh Kumar; Ahmed, Usman; Rabbi, Fazle; Pun, Ka I; Lamo, Yngve. Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. I: IEEE 33rd International Symposium on Computer Based Medical Systems (CBMS). IEEE conference proceedings 2020 ISBN 978-1-7281-9429-5. p. 226-232 UiO HVL UiB |
|
|
|
||
| 22. | Mukhiya, Suresh Kumar; Wake, Jo Dugstad; Inal, Yavuz; Pun, Ka I; Lamo, Yngve. Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review. Journal of Medical Internet Research 2020 ;Volume 22.(11) HVL NORCE UiB |
|
|
|
||
| 23. | Pun, Ka I; Stolz, Volker; Simao, Adenilso. Theoretical Aspects of Computing – ICTAC 2020. Springer 2020 (ISBN 978-3-030-64275-4) 317 p. Lecture Notes in Computer Science (LNCS)(12545) HVL |
|
|
|
||
| 24. | Stolz, Volker; Pun, Ka I; Gheyi, Rohit. Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS) 2020 HVL |
|
|
2019
|
||
| 25. | Aminifar, Amin; Lamo, Yngve; Pun, Ka I; Rabbi, Fazle. A Practical Methodology for Anonymization of Structured Health Data. I: Proceedings of the 17th Scandinavian Conference on Health Informatics 2019. Linköping University Electronic Press 2019 ISBN 978-91-7929-957-6. p. 127-133 HVL UiB UiO |
|
|
|
||
| 26. | Aminifar, Amin; Rabbi, Fazle; Pun, Ka I; Lamo, Yngve. Anonymization of Structured Health Data. INTROMAT Scientific Advisory Council Meeting; 2019-09-03 - 2019-09-04 HVL UiB |
|
|
|
||
| 27. | Bezirgiannis, Nikolaos; de Boer, Frank; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. Lecture Notes in Computer Science (LNCS) 2019 ;Volume 11424. p. 332-350 UiO HVL |
|
|
|
||
| 28. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of data access for multicore architectures with multilevel caches. Science of Computer Programming 2019 ;Volume 179. p. 24-53 UiO HVL |
|
|
|
||
| 29. | de Boer, Frank; Giachino, Elena; de Gouw, Stijn; Hähnle, Reiner; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I; Zavattaro, Gianluigi. Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approachv. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2019 ;Volume 302. p. 1-15 UiO HVL |
|
|
|
||
| 30. | Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Roman-Diez, Guillermo. Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming 2019 ;Volume 105. p. 1-27 HVL UiO |
|
|
|
||
| 31. | Mukhiya, Suresh Kumar; Lamo, Yngve; Rabbi, Fazle; Pun, Ka I. An architecture for creating self-reporting e-health systems. Bergen-Budapest Workshop on Qualitative and Numerical Aspects of Mathematical Modelling; 2019-05-27 - 2019-05-28 HVL UiB |
|
|
|
||
| 32. | Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Lamo, Yngve. An architectural design for self-reporting e-health systems. I: SEH ’19: Proceedings of the 1st International Workshop on Software Engineering for Healthcare. IEEE 2019 ISBN 978-1-7281-2251-9. p. 1-8 HVL UiO |
|
|
|
||
| 33. | Mukhiya, Suresh Kumar; Rabbi, Fazle; Pun, Ka I; Rutle, Adrian; Lamo, Yngve. A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. Procedia Computer Science 2019 ;Volume 160. p. 338-345 HVL UiB UiO |
|
|
2018
|
||
| 34. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I Violet; Seidl, Christoph; Tapia Tarifa, Silvia Lizeth. Deployment by Construction for Multicore Architectures. I: Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018. Proceedings - Part I. Springer 2018 ISBN 978-3-030-03417-7. p. 448-465 HVL UiO |
|
|
|
||
| 35. | Jaksic, Svetlana; Li, Dan; Pun, Ka I Violet; Stolz, Volker. Stream-based dynamic data race detection. NIKT: Norsk IKT-konferanse for forskning og utdanning 2018 p. - HVL |
|
|
|
||
| 36. | Albert, Elvira; Correas, Jesus; Johnsen, Einar Broch; Ka I, Pun; Roman-Diez, Guillermo. Parallel Cost Analysis. ACM Transactions on Computational Logic 2018 ;Volume 19.(4) p. 1-37 UiO HVL |
|
|
|
||
| 37. | Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker. COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20 HVL |
|
|
2017
|
||
| 38. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of parallel execution on multicore architectures with multilevel caches. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10487 LNCS. p. 58-77 UiO |
|
|
|
||
| 39. | Din, Crystal Chang; Hahnle, Reiner; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS) 2017 ;Volume 10501 LNAI. p. 22-43 UiO |
|
|
|
||
| 40. | Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A formal model of cloud-deployed software and its application to workflow processing. I: SoftCOM 2017. IEEE Communications Society 2017 ISBN 978-953-290-078-1. p. - UiO |
|
|
|
||
| 41. | Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Roman-Diez, Guillermo. Time analysis of actor programs. I: Proceedings of the 29th Nordic Workshop on Programming Theory. : Turku Centre for Computer Science 2017 ISBN 978-952-12-3608-2. p. 13-15 UiO |
|
|
2016
|
||
| 42. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. A Maude Framework for Cache Coherent Multicore Architectures. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9942. p. 47-63 UiO |
|
|
|
||
| 43. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An operational semantics of cache coherent multicore architectures. I: Proceedings of the 31st Annual ACM Symposium on Applied Computing (SAC '16). Association for Computing Machinery (ACM) 2016 ISBN 978-1-4503-3739-7. p. 1219-1224 UiO |
|
|
|
||
| 44. | Bodden, Eric; Pun, Ka I; Steffen, Martin; Stolz, Volker; Wickert, Anna-Katharina. Information flow analysis for Go. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9952 LNCS. p. 431-445 UiO HVL |
|
|
|
||
| 45. | Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I. Time complexity of concurrent programs – A technique based on behavioural types. Lecture Notes in Computer Science (LNCS) 2016 ;Volume 9539. p. 199-216 UiO |
|
|
|
||
| 46. | Johnsen, Einar Broch; Pun, Ka I; Steffen, Martin; Tapia Tarifa, Silvia Lizeth; Yu, Ingrid Chieh. Meeting Deadlines, Elastically. I: From Action Systems to Distributed Systems: The Refinement Approach. CRC Press 2016 ISBN 978-1-4987-0158-7. p. 99-111 UiO |
|
|
|
||
| 47. | Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. Modeling deployment decisions for elastic services with ABS. Electronic Proceedings in Theoretical Computer Science (EPTCS) 2016 ;Volume 228. p. 16-26 UiO |
|
|
|
||
| 48. | Pun, Ka I; Steffen, Martin; Stolz, Volker. Effect-Polymorphic Behaviour Inference for Deadlock Checking. Journal of Logical and Algebraic Methods in Programming 2016 ;Volume 85.(6) p. 1234-1267 UiO HVL |
|
|
2015
|
||
| 49. | Bijo, Shiji; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth. An Operational Semantics of Cache Coherent Multicore Architectures. : UiO 2015 11 p. UiO |
|
|
|
||
| 50. | Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Johnsen, Einar Broch; Pun, Ka I; Tapia Tarifa, Silvia Lizeth; Wrigstad, Tobias; Yang, Albert Mingkun. Parallel objects for multicores: A glimpse at the parallel language encore. Lecture Notes in Computer Science (LNCS) 2015 ;Volume 9104. p. 1-56 UiO |
|