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

Research output

Research output per year 2019 2021 2022 2023

• 53 Conference Article in proceeding
• 40 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

  State Identification and Verification with Satisfaction

  Moerman, J. & Wißmann, T., 7 Sept 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Nils Jansen, Mariëlle Stoelinga & Petra van den Bos (eds.). 1 ed. Springer, Vol. 13560. p. 450-466 17 p. (Lecture Notes in Computer Science, Vol. 13560).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Flavors 100%
  • Finite automata 84%
  • Experiments 27%
• 2021

  Attribuut-gebaseerde elektronische handtekeningen en de eIDAS-verordening

  Translated title of the contribution: Attribute-based electronic signatures and the eIDAS-regulationHu, Y. Y., van den Broek, F. M. J., Jacobs, B. & Wolters, P., 23 Dec 2021, Digitalisering en conflictoplossing: Serie onderneming en recht, 130. Kortmann, S. C. J. J., Faber, N. E. D., Jansen, C. J. H. & Schuijling, B. A. (eds.). 2021-1 ed. Deventer: Wolters Kluwer , p. 293-315

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Teachers noticing chemical thinking while students plan and draw designs

  Stammes, H., Henze, I., Barendsen, E. & De Vries, M. J., 25 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 311-343 33 p. (International Technology Education Studies; No. 17, Vol. 1879-8748).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

• Teachers' reported practice of verbal scaffolding during design activities

  Sheoratan, S., Henze, I., Barendsen, E. & De Vries, M. J., 11 Feb 2021, Design-Based Concept Learning in Science and Technology Education. Henze, I. & De Vries, M. J. (eds.). Brill|Sense, Vol. 17. p. 344-371 28 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review