• Sign in
  • Sign up
conf.researchr.org / Javier Esparza
  • ETAPS 2019 profile
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2022 profile

Not registered as user yet

Name:Javier Esparza

Contributions

VMCAI 2022 Keynote Speaker of Back to the Future: A Fresh Look at Linear Temporal Logic within the VMCAI 2022-track
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
TACAS 2019 Author of Computing the Expected Execution Time of Probabilistic Workflow Nets within the TACAS 2019-track
VMCAI Committee Member in Program Committee

Share
xFri 20 May 00:59
using conf.researchr.org (v1.55.6)
Support page
Sign Up