Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Maurice Laveaux actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Netwerk
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, In: CoRR. abs/2201.09607Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
-
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (redactie). Springer, blz. 137-155 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access -
A thread-safe Term Library: (with a new fast mutual exclusion protocol)
Groote, J. F., Laveaux, M. & Spaendonck, P. H. M. V., 4 nov. 2021, In: CoRR. abs/2111.02706, 13 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
-
Correct and Efficient Antichain Algorithms for Refinement Checking
Laveaux, M., Groote, J. F. & Willemse, T. A. C., 2021, In: Logical Methods in Computer Science. 17, 1, 40 blz., 8.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand2 Downloads (Pure) -
Decomposing monolithic processes in a process algebra with multi-actions
Laveaux, M. & Willemse, T. A. C., 2 okt. 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 347, blz. 57-76 20 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Congresartikel › Academic › peer review
Open AccessBestand10 Downloads (Pure)
Datasets
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Bijdrager) & Willemse, T. A. C. (Bijdrager), Zenodo, 12 jul. 2021
Dataset
Cursussen
Scriptie
-
Abstracting real-valued parameters in parameterised boolean equation systems
Auteur: Laveaux, M., 26 feb. 2018Begeleider: Willemse, T. A. C. (Afstudeerdocent 1)
Scriptie/Masterproef: Master
Bestand