Miss Laura Voinea
- Research Associate (School of Computing Science)
Publications
2024
Kouzapas, Dimitrios, Gutkovas, Ramunas Forsberg, Voinea, A. Laura and Gay, Simon J. 
ORCID: https://orcid.org/0000-0003-3033-9091
(2024)
A session type system for asynchronous unreliable broadcast communication.
Logical Methods in Computer Science, 20(3),
13:1-13:54.
(doi: 10.46298/lmcs-20(3:13)2024)
2023
De Muijnck-Hughes, Jan ORCID: https://orcid.org/0000-0003-2185-8543, Urlea, Cristian ORCID: https://orcid.org/0000-0001-7851-8916, Voinea, Laura and Vanderbauwhede, Wim ORCID: https://orcid.org/0000-0001-6768-0037
(2023)
Capable: A Mechanised Imperative Language with Native Multiparty Session Types.
In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023,
(Accepted for Publication)
Articles
Kouzapas, Dimitrios, Gutkovas, Ramunas Forsberg, Voinea, A. Laura and Gay, Simon J. ORCID: https://orcid.org/0000-0003-3033-9091
(2024)
A session type system for asynchronous unreliable broadcast communication.
Logical Methods in Computer Science, 20(3),
13:1-13:54.
(doi: 10.46298/lmcs-20(3:13)2024)
Conference Proceedings
De Muijnck-Hughes, Jan ORCID: https://orcid.org/0000-0003-2185-8543, Urlea, Cristian ORCID: https://orcid.org/0000-0001-7851-8916, Voinea, Laura and Vanderbauwhede, Wim ORCID: https://orcid.org/0000-0001-6768-0037
(2023)
Capable: A Mechanised Imperative Language with Native Multiparty Session Types.
In: ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023) - 30 Years of Session Types Workshop, Cascais, Portugal, 22-23 Oct 2023,
(Accepted for Publication)