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.
- 6 Soortgelijke profielen
Netwerk
Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.
Onderzoeksoutput
-
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, blz. 8:1-8:40 40 blz., 8.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open Access -
Adaptive Non-Linear Pattern Matching Automata
Erkens, R. & Laveaux, M., 28 jun 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) . Ariola, Z. M. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21 blz. 20. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access -
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 29 mei 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (redactie). Cham: Springer, blz. 185-203 19 blz. (Lecture Notes in Computer Science; vol. 11535).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus) -
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T. A. C., 26 feb 2019, In: arXiv. 28 blz., 1902.09880.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open AccessBestand38 Downloads (Pure) -
Correct and efficient antichain algorithms for refinement checking
Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 19/01)Onderzoeksoutput: Boek/rapport › Rapport › Academic
Open AccessBestand105 Downloads (Pure)
Scriptie
-
Abstracting real-valued parameters in parameterised boolean equation systems
Auteur: Laveaux, M., 26 feb 2018Begeleider: Willemse, T. (Afstudeerdocent 1)
Scriptie/Masterproef: Master
Bestand