Rick Erkens

Bekijk Scopus-profiel

5

Citaties

Onderzoeksresultaten per jaar

4 Conferentiebijdrage
3 Tijdschriftartikel
1 Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
1 Preprint

9 resultaten

2024

Automaton-based Techniques for Optimized Term Rewriting
Erkens, R. J. A., 30 sep. 2024, Eindhoven: Eindhoven University of Technology. 156 blz.
Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand

158 Downloads (Pure)
Optimizing term rewriting with creeper trace transducers
Erkens, R. (Corresponding author), okt. 2024, In: Journal of Logical and Algebraic Methods in Programming. 141, 18 blz., 100987.
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

Open Access
Bestand
4 Downloads (Pure)
2022

Term Rewriting Based On Set Automaton Matching
Bouwman, M. & Erkens, R., 17 feb. 2022.
Onderzoeksoutput: Werkdocument › Preprint › Academic

Bestand

31 Downloads (Pure)
2021
A Set Automaton to Locate All Pattern Matches in a Term
Erkens, R. & Groote, J. F., 2021, Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings. Cerone, A. & Olveczky, P. C. (uitgave). Springer, blz. 67-85 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
1 Citaat (Scopus)
A Set Automaton to Locate All Pattern Matches in a Term
Erkens, R. & Groote, J. F., 2021, In: CoRR. abs/2106.15311
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
A Set Automaton to Locate All Pattern Matches in a Term
Erkens, R. & Groote, J. F., 29 jun. 2021, In: arXiv. 2021, 2106.15311.
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic

Open Access
Bestand
32 Downloads (Pure)
Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation
Bartholomeus, M., Erkens, R., Luttik, S. P. & Willemse, T. A. C., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (uitgave). blz. 498-499 (Lecture Notes in Computer Science; nr. 13036).
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic
2020
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. (uitgave). 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
Up-to techniques for branching bisimilarity
Erkens, R., Rot, J. & Luttik, B., 17 jan. 2020, SOFSEM 2020: Theory and Practice of Computer Science - 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Proceedings. Chatzigeorgiou, A., Dondi, R., Herodotou, H., Kapoutsis, C., Manolopoulos, Y., Papadopoulos, G. A. & Sikora, F. (uitgave). Cham: Springer, blz. 285-297 13 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
4 Citaten (Scopus)

1 Downloads (Pure)

Rick Erkens, MSc

Onderzoeksoutput

Zoekresultaten