Stian Lasse Lybech
Orcid: 0000-0001-8219-2285
According to our database1,
Stian Lasse Lybech
authored at least 7 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Inf. Comput., 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024
2022
Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022
Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022
2019
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019