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

Zoekresultaten

  • 2021

    A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

    Martens, J., Groote, J. F., van den Haak, L., Hijma, P. & Wijs, A., 2021, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Proceedings. Salaün, G. & Wijs, A. (redactie). Springer, blz. 115-133 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    21 Downloads (Pure)
  • 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. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 31:1-31:16 16 blz. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 203).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    1 Citaat (Scopus)
  • 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. (redactie). Springer, blz. 175-189 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). blz. 175-189 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12818 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer 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. (redactie). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 58:1-58:14 MFCS-2020-58. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 170).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    1 Citaat (Scopus)