• Source: Scopus
20202021

Content available in repository

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

Search results

  • 2021

    Bisimulation by Partitioning Is Ω((m+n) logn)

    Groote, J. F., Martens, J. & Vink, E. P. D., 1 Aug 2021, 32nd International Conference on Concurrency Theory, CONCUR 2021. Haddad, S. & Varacca, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 31:1-31:16 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

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

  • Term Rewriting on GPUs

    van Eerd, J., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). Springer, p. 175-189 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

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

  • Term Rewriting on GPUs.

    Eerd, J. V., Groote, J. F., Hijma, P., Martens, J. & Wijs, A., 2021, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Revised Selected Papers. Hojjat, H. & Massink, M. (eds.). p. 175-189 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

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

  • 2020

    Regular Resynchronizability of Origin Transducers Is Undecidable

    Kuperberg, D. & Martens, J., 1 Aug 2020, 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Esparza, J. & Král, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 58:1-58:14 MFCS-2020-58. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 170).

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

    Open Access
    1 Citation (Scopus)