• Bron: Scopus
20192021

Onderzoeksresultaten per jaar

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

Zoekresultaten

  • 2020

    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
  • 2019

    Correct and efficient antichain algorithms for refinement checking

    Laveaux, M., Groote, J. F. & Willemse, T., 29 mei 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Yoshida, N. & Pérez, J. A. (redactie). Cham: Springer, blz. 185-203 19 blz. (Lecture Notes in Computer Science; vol. 11535).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    3 Citaten (Scopus)
  • The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability

    Bunte, O., Groote, J. F., Keiren, J. J. A., Laveaux, M., Neele, T., de Vink, E. P., Wesselink, W., Wijs, A. & Willemse, T. A. C., 1 jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (redactie). Cham: Springer, blz. 21-39 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11428 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Open Access
    Bestand
    31 Citaten (Scopus)
    42 Downloads (Pure)