Research Program Towards High-Quality and Intelligent Software (THIS)

Research output

Research output per year 2019 2021 2022 2023

• 53 Conference Article in proceeding
• 39 Article
• 9 Technical report
• 7 Paper
• 17 More
  • 4 Chapter
  • 2 Conference Abstract/Poster in proceeding
  • 2 Poster
  • 2 Conference Article in journal
  • 2 Software
  • 1 Commissioned report
  • 1 Abstract
  • 1 Editorial
  • 1 Special issue
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2022

  Fast Computations on Ordered Nominal Sets

  Venhoek, D., Moerman, J. & Rot, J., 16 Aug 2022, Cornell University - arXiv, 38 p. (Computing Research Repository).

  Research output: Working paper / Preprint › Preprint › Academic

  Open Access

  • Automata theory 100%
  • Set theory 42%