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

Not registered as user

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
xThu 8 May 18:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up