Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Javier Esparza
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2016 profile
POPL 2019 profile
POPL 2022 profile
Not registered as user yet
Name:
Javier Esparza
Contributions
2022
VMCAI
Keynote Speaker of Back to the Future: A Fresh Look at Linear Temporal Logic within the VMCAI 2022-track
2019
TACAS
Author of Computing the Expected Execution Time of Probabilistic Workflow Nets within the TACAS 2019-track
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
2016
VMCAI
Committee Member in Program Committee
Share
x
Thu 21 Nov 11:47