Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Swen Jacobs
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2016 profile
POPL 2018 profile
PPoPP 2019 profile
Registered user since Thu 11 Jan 2018
Name:
Swen Jacobs
Contributions
2019
SYNTCOMP Camp
Committee Member in Program Committee within the SYNT Camp-track
Principles and Practice of Parallel Programming
ERC member in Extended Review Committee
2018
VMCAI
Author of Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity within the VMCAI 2018-track
2016
VMCAI
Author of Tight Cutoffs for Guarded Protocols with Fairness within the VMCAI-track
Share
x
Wed 29 Nov 06:13