All Stories

  1. Dynamic TopHat: Start and Stop Tasks at Runtime

    Article • August 2023, ACM (Association for Computing Machinery)

    Nico Naus

  2. End-user feedback in multi-user workflow systems

    Article • September 2020, ACM (Association for Computing Machinery)

    Johan Jeuring, Nico Naus

  3. Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution

    Article • January 2020, Springer Science + Business Media

    Nico Naus

  4. TopHat

    Article • October 2019, ACM (Association for Computing Machinery)

    Nico Naus

  5. A symbolic execution semantics for TopHat

    Article • September 2019, ACM (Association for Computing Machinery)

    Nico Naus

  6. Dynamic Flow Analysis for JavaScript

    Article • January 2019, Springer Science + Business Media

    Nico Naus

  7. Building a Generic Feedback System for Rule-Based Problems

    Article • January 2019, Springer Science + Business Media

    Nico Naus

  8. Use expert knowledge instead of data

    Article • June 2018, ACM (Association for Computing Machinery)

    Nico Naus