|
|
Norsk
versjon
In order to register data in Cristin, you must be an academic or administrative employee.
|
|
|
|
|
|
|
|
|
Showing results 1-50 of 68
|
<< Previous
1
2
Next >>
|
2024
|
1. |
Pun, Violet Ka I; Simao, Adenilso; Stolz, Volker. Preface: Special issue on Theoretical Aspects of Computing. Theoretical Computer Science 2024 HVL
Untitled
|
|
2. |
Pun, Violet Ka I; Stolz, Volker. Enforced Dependencies for Active Objects. Lecture Notes in Computer Science (LNCS) 2024 ;Volume 14360. HVL
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
24. |
Stolz, Volker; Pun, Ka I; Gheyi, Rohit. Refactoring and Active Object Languages. Lecture Notes in Computer Science (LNCS) 2020 HVL
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
37. |
Jaksic, Svetlana; Pun, Ka I Violet; Stolz, Volker. COEMS. Norsk Informatikkonferanse; 2018-09-18 - 2018-09-20 HVL
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
|
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
Untitled
|
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
Untitled
|
|
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
Untitled
|
Show next list
|