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

Activities

Activities per year 2014 2022 2023

• 32 Peer-review (publication)
• 16 Organising an event
• 11 Talk or presentation (not at a conference)
• 6 Editorial work journal
• 17 More
  • 3 Attending an event
  • 3 PhD examination
  • 3 Visiting researcher
  • 2 Membership of committee
  • 2 Conference contribution (without a publication)
  • 1 Webmaster / website management
  • 1 PhD supervision at external institution
  • 1 Membership of network
  • 1 External appointment

Activities per year

Search results

• Completeness and the Finite Model Property for Kleene Algebra, Reconsidered

  Tobias Kappé (Speaker)

  28 Mar 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Machine learning and deep learning for the analysis of behavioral data

  Frouke Hermens (Speaker)

  26 Jan 2023

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Eye movements during screen-based and real-world tasks

  Frouke Hermens (Invited speaker)

  25 Oct 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming

  Jesse Heyninck (Speaker)

  21 Jul 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Possibilistic logic, argumentation and conditionals

  Jesse Heyninck (Invited speaker)

  24 Aug 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• How to use twitter whilst ensuring privacy

  Hugo Jonker (Speaker)

  14 Jul 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Leapfrog: Certified Equivalence for Protocol Parsers

  Tobias Kappé (Speaker)

  11 Oct 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• (Probabilistic) Guarded Kleene Algebra with Tests

  Tobias Kappé (Speaker)

  22 Oct 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic

• Samen grenzen slechten: autisme en de universiteit

  Sylvia Stuurman (Speaker)

  8 Oct 2022

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Popular

• Bayesian networks

  Simone Tummers (Speaker)

  12 Jul 2021

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Professional

• TEL trends in medical education

  Ebrahim Rahimi (Speaker)

  28 Feb 2021

  Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic