Violet Ka I. Pun
From MaRDI portal
Person:2154051
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Modular soundness checking of feature model evolution plans Theoretical Computer Science | 2025-10-17 | Paper |
| Proceedings of the 17th interaction and concurrency experience, ICE 2024, Groningen, The Netherlands, June 21, 2024 Electronic Proceedings in Theoretical Computer Science (EPTCS) | 2025-08-01 | Paper |
| Modular soundness checking of feature model evolution plans | 2024-09-13 | Paper |
| Active Objects with Deterministic Behaviour | 2023-03-21 | Paper |
| Cost analysis for an actor-based workflow modelling language | 2022-07-13 | Paper |
Research outcomes over time
This page was built for person: Violet Ka I. Pun
