Content available in repository
Content available in repository
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
Research output
-
Automaton-based Techniques for Optimized Term Rewriting
Erkens, R. J. A., 30 Sept 2024, Eindhoven: Eindhoven University of Technology. 156 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile393 Downloads (Pure) -
Optimizing term rewriting with creeper trace transducers
Erkens, R. (Corresponding author), Oct 2024, In: Journal of Logical and Algebraic Methods in Programming. 141, 18 p., 100987.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile30 Downloads (Pure) -
Term Rewriting Based On Set Automaton Matching
Bouwman, M. & Erkens, R., 17 Feb 2022.Research output: Working paper › Preprint › Academic
File72 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
-
A Set Automaton to Locate All Pattern Matches in a Term
Erkens, R. & Groote, J. F., 29 Jun 2021, In: arXiv. 2021, 2106.15311.Research output: Contribution to journal › Article › Academic
Open AccessFile52 Downloads (Pure)
Courses
-
Automata and Formal Languages
Erkens, R., Spronck, M. S. C., Bartels, M., Betancourt Arias, J. S., Liem, E., Keiren, J. J. A., Bloo, R., Škorić, B. & de Vink, E. P. 1/09/24 → 31/08/26
Course
-
Computer Systems
Watkins, A., Bunte, O., Groote, J. F., Betancourt Arias, J. S., Erkens, R. & Costa Martins, E. J. 1/09/09 → 31/08/26
Course
-
-
Logic and Set Theory
Luttik, S. P., Erkens, R., Bloo, R., de Vink, E. P., Castiglioni, V., Betancourt Arias, J. S., Roeloffzen, M. J. M., van Krieken, T. M. K. & Spronck, M. S. C. 1/09/12 → 31/08/26
Course
-