Marck van der Vegt
Orcid: 0000-0003-2451-5466
According to our database1,
Marck van der Vegt
authored at least 10 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2023
2024
0
1
2
3
4
5
6
7
8
9
3
1
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Dataset, April, 2024
Dataset, April, 2024
Dataset, April, 2024
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, January, 2024
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, January, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Pareto Curves for Compositionally Model Checking String Diagrams of MDPs: Supplemental Material.
Dataset, December, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023