• 8 Citations
20152019

Research output per year

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

Fingerprint Dive into the research topics where David Jansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 42 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 8 Citations
  • 1 Report
  • 1 Conference contribution

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 p. (Computer Science Reports; vol. 19-03)

Research output: Book/ReportReportProfessional

Open Access
File

A comparative study of BDD packages for probabilistic symbolic model checking

van Dijk, T., Hahn, E. M., Jansen, D., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 17 Oct 2015, Dependable Software Engineering: Theories, Tools, and Applications. Li, X., Liu, Z. & Yi, W. (eds.). Cham: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

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

  • 8 Citations (Scopus)