Foto van Rick Erkens

Bekijk Scopus-profiel

Rick Erkens, MSc

  • 5
    Citaties
20202024

Onderzoeksresultaten per jaar

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

Zoekresultaten

  • 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)

  • 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)