• Sign in
  • Sign up
conf.researchr.org / Jan Friso Groote
  • ETAPS 2019 profile
  • FSEN 2025 profile
  • ICSE 2020 profile
  • ICSE 2021 profile
  • PLNL 2023 profile

Registered user since Mon 1 Apr 2019

Name:Jan Friso Groote

Contributions

2025

FSEN

  • Committee Member in Program Committee

2023

PLNL

  • Author of Parallel Programming With An Autonomous Data Language within the PLNL 2023-track

2021

FormaliSE

  • Committee Member in Programme Committee within the FormaliSE 2021-track

2020

FormaliSE

  • Author of Active Learning of Decomposable Systems within the FormaliSE 2020-track

2019

ETAPS

  • Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track

TACAS

  • Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track
Share
xMon 14 Jul 20:00
using conf.researchr.org (v1.69.1)
Support page
Sign Up