conf.researchr.org / Jan Friso Groote

Registered user since Mon 1 Apr 2019

Name:Jan Friso Groote

Contributions

PLNL 2023 Author of Parallel Programming With An Autonomous Data Language within the PLNL 2023-track
FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
FormaliSE 2020 Author of Active Learning of Decomposable Systems within the FormaliSE 2020-track
ETAPS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the Posters-track
TACAS 2019 Author of The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability within the TACAS 2019-track