Photo of Rick Erkens
  • Source: Scopus
20202020

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • 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 proceedingConference contributionAcademicpeer-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. (eds.). Cham: Springer, p. 285-297 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12011 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    1 Downloads (Pure)
If you made any changes in Pure these will be visible here soon.