Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexander Knapp
conf.researchr.org general profile
CBI & EDOC 2026 profile
ETAPS 2019 profile
FM 2026 profile
ICSE 2023 profile
SPLASH 2023 profile
STAF 2024 profile
STAF 2026 profile
Registered user since Mon 15 Apr 2019
Name:
Alexander Knapp
Contributions
2026
CBI & EDOC
PC Member in Forum Program Committee within the Forum-track
EDOC
PC Member in Program Committee within the Research Papers-track
WADT
Committee Member in Program Committee within the WADT 2026-track
Committee Member in Programme Committee
Committee Member in Steering Committee within the WADT 2026-track
FM
Committee Member in Program Committee within the Research Track-track
2024
WADT
Committee Member in Programme Committee
Committee Member in Steering Committee
2023
FormaliSE
Committee Member in Program Committee within the FormaliSE 2023-track
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
2019
FASE
Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track
Share
x
Mon 5 Oct 23:36