Department of Computer Science

Activities

Activities per year 2014 2018 2022 2023

• 39 Peer-review (publication)
• 38 Talk or presentation (not at a conference)
• 28 Organising an event
• 13 Editorial work journal
• 42 More
  • 12 PhD examination
  • 8 Conference contribution (without a publication)
  • 6 Attending an event
  • 4 Editorial work book
  • 4 Membership of committee
  • 4 Visiting researcher
  • 1 Webmaster / website management
  • 1 PhD supervision at external institution
  • 1 Membership of network
  • 1 External appointment

Activities per year

Search results

• 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

• 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

• 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

• 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

• 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

• (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

• 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

• TEL trends in medical education

  Ebrahim Rahimi (Speaker)

  28 Feb 2021

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

• Active learning strategies in Online Education

  Ebrahim Rahimi (Speaker)

  12 Sept 2020

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

• Practical Experience in evaluating students' learning in online learning environments

  Ebrahim Rahimi (Speaker)

  9 May 2020

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

  File

• ICT en vakinhoud: op zoek naar de verbindende schakel

  Erik Barendsen (Speaker)

  13 Feb 2019

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

• The electricity consumption of bitcoin mining revisited

  Harald Vranken (Speaker)

  24 Oct 2019

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

• A design framework for Web 2.0 Personal learning environments

  Ebrahim Rahimi (Speaker)

  24 Oct 2019

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

  File

• Het energieverbruik van bitcoin mining: zin en onzin

  Harald Vranken (Speaker)

  11 Sept 2019

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

• IRMA: The future of identities

  Fabian van den Broek (Speaker)

  3 Dec 2019

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

  File

• IRMA: authentic identities for the future

  Fabian van den Broek (Speaker)

  7 Nov 2019

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

• Shepherd - an automatic and large-scale study of website login security

  Hugo Jonker (Invited speaker)

  18 Nov 2019

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

• AVG en UPLOADFILTERS: goed bestuur of censuur?

  Hugo Jonker (Speaker)

  21 May 2019

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

• Formative assessment of programming growth using students generated design products in the context of secondary school

  Ebrahim Rahimi (Speaker)

  17 Apr 2019

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

• Distributed Programming using Role-Parametric Session Types in Go

  Sung-Shik Jongmans (Speaker)

  18 Dec 2018

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

• Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool

  Pekka Aho (Speaker)

  8 Nov 2018

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

• Authentication with Privacy and Security

  Greg Alpár (Speaker)

  25 Aug 2018

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

• Make it to learn it!

  Ebrahim Rahimi (Speaker)

  7 Nov 2018

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

• Scriptless Test Automation through Graphical User Interface

  Pekka Aho (Speaker)

  17 Oct 2018

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

• Online identities

  Fabian van den Broek (Speaker)

  24 Feb 2018

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

• Keynote: Alégroth, Amalfitano, Vos, and Aho

  Emil Alégroth (Keynote speaker), Domenico Amalfitano (Keynote speaker), Tanja E.J. Vos (Keynote speaker) & Pekka Aho (Keynote speaker)

  19 Jul 2018

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

• An extensible strategy language for describing cognitive skills

  Bastiaan Heeren (Speaker) & Johan Jeuring (Speaker)

  23 Mar 2017

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

• Inference for Probabilistic Logic Programming with Continuous Distributions

  Arjen Hommersom (Speaker)

  7 Sept 2017

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

• Resilience of the Internet: case studies on DNS availability and botnet detection

  Harald Vranken (Speaker)

  19 Nov 2016

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

• Wiskunde D online

  Evert van de Vrie (Speaker)

  2016

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

• Een mastercursus over software security: van contactonderijs naar afstandonderwijs

  Harald Vranken (Speaker)

  23 Apr 2015 → 24 Apr 2015

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

• Technologie voor intelligentie in serious games voor algebra

  Johan Jeuring (Speaker)

  31 Jan 2014

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

• Education in interaction design

  Gerrit van der Veer (Keynote speaker)

  9 Jun 2014

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

• Design patterns

  Bastiaan Heeren (Speaker)

  11 Sept 2014

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

• To whom we are talking

  Gerrit van der Veer (Invited speaker)

  18 Feb 2014

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

• Communicate! A serious game for practicing communication skills

  Johan Jeuring (Speaker)

  19 Mar 2014

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