Research output per year
Research output per year
Fingerprint
Dive into the research topics where Rick Erkens 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
-
A Set Automaton to Locate All Pattern Matches in a Term
Erkens, R. & Groote, J. F., 29 Jun 2021, (Submitted) In: arXiv.Research output: Contribution to journal › Article › Academic
File2 Downloads (Pure) -
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. (eds.). Springer, p. 67-85 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
A Set Automaton to Locate All Pattern Matches in a Term
Erkens, R. & Groote, J. F., 2021, In: CoRR. abs/2106.15311Research output: Contribution to journal › Article › Academic
-
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. (eds.). p. 67-85 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and Simulation
Bartholomeus, M., Erkens, R., Luttik, S. P. B. & Willemse, T. A. C., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (eds.). p. 498-499 (Lecture Notes in Computer Science; no. 13036).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic