Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop David N. Jansen actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
-
A near-linear-time algorithm for weak bisimilarity on Markov chains.
Jansen, D., Groote, J. F., Timmers, F. & Yang, P., 1 aug. 2020, 31st International Conference on Concurrency Theory (CONCUR2020). Konnov, I. & Kovacs, L. (uitgave). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, blz. 8:1-8:20 20 blz. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access4 Citaten (Scopus) -
An O(m log n) algorithm for branching bisimilarity on labelled transition systems
Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (uitgave). Springer, blz. 3-20 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access16 Citaten (Scopus) -
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, In: CoRR. abs/1909.10824Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
-
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 sep. 2019, In: arXiv. 2019, 27 blz., 1909.10824.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic
Open AccessBestand41 Downloads (Pure) -
A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems
Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (Computer Science Reports; vol. 19-03)Onderzoeksoutput: Boek/rapport › Rapport › Professioneel
Open AccessBestand145 Downloads (Pure)
Datasets
-
An O(m log n) Algorithm for Branching Bisimilarity on Labelled Transition Systems
Wijs, A. (Ontwerper), Keiren, J. J. A. (Ontwerper), Groote, J. F. (Ontwerper) & Jansen, D. N. (Ontwerper), Figshare, 20 feb. 2020
DOI: 10.6084/m9.figshare.11876688
Dataset