• 0 Citaties
20202020

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Rick Erkens actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.

Onderzoeksoutput

  • 2 Conferentiebijdrage

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. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21 blz. 20. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). 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/CongresprocedureConferentiebijdrageAcademicpeer review

  • 1 Downloads (Pure)

    Cursussen

    Functional Programming

    1/09/16 → …

    Cursus

    Fundamentals of informatics

    1/09/1331/08/20

    Cursus

    Logic and set theory

    1/09/12 → …

    Cursus

    Software specification

    1/09/15 → …

    Cursus