Content available in repository
Content available in repository
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., 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., 29 Jun 2021, (Submitted) In: arXiv.Research output: Contribution to journal › Article › Academic
File6 Downloads (Pure) -
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
-
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. (eds.). p. 498-499 (Lecture Notes in Computer Science; no. 13036).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
-
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. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21 p. 20. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access