Research output per year
Research output per year
Fingerprint
Dive into the research topics where Maurice Laveaux is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, In: CoRR. abs/2201.09607Research output: Contribution to journal › Article › 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. (eds.). Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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 p.Research output: Contribution to journal › Article › 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 p., 8.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Downloads (Pure) -
Decomposing monolithic processes in a process algebra with multi-actions
Laveaux, M. & Willemse, T. A. C., 2 Oct 2021, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 347, p. 57-76 20 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open AccessFile9 Downloads (Pure)
Thesis
-
Abstracting real-valued parameters in parameterised boolean equation systems
Author: Laveaux, M., 26 Feb 2018Supervisor: Willemse, T. A. C. (Supervisor 1)
Student thesis: Master
File