Application and theory of petri nets 2002: 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 proceedings

por Esparza, Javier, Lakos, Charles
Publicado 2002

Free choice Petri nets

por Desel, Jörg, Esparza, Javier
Publicado 2005

Finite and Algorithmic Model Theory

por Esparza, Javier, Michaux, Christian, Steinhorn, Charles
Publicado 2011

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

por Balasubramanian, A. R., Esparza, Javier, Raskin, Mikhail
Publicado 2021

Automated technology for verification and analysis: 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, proceedings

por Chen, Yu-Fang, Cheng, Chih-Hong, Esparza, Javier
Publicado 2019

The complexity of verifying population protocols

por Esparza, Javier, Jaax, Stefan, Raskin, Mikhail, Weil-Kennedy, Chana
Publicado 2021

Towards efficient verification of population protocols

por Blondin, Michael, Esparza, Javier, Jaax, Stefan, Meyer, Philipp J.
Publicado 2021

Structural Invariants for the Verification of Systems with Parameterized Architectures

por Bozga, Marius, Esparza, Javier, Iosif, Radu, Sifakis, Joseph, Welzel, Christoph
Publicado 2020

Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling

por Blondin, Michael, Esparza, Javier, Helfrich, Martin, Kučera, Antonín, Meyer, Philipp J.
Publicado 2020

The Prevention of Ischemia-Reperfusion Injury in Elderly Rats after Lower Limb Tourniquet Use

por Herrero de la Parte, Borja, Roa-Esparza, Javier, Cearra, Iñigo, Ruiz Montesinos, Inmaculada, Alonso-Alconada, Daniel, Alonso-Varona, Ana, Mar Medina, Carmen, Iturrizaga Correcher, Sira, García-Alonso, Ignacio
Publicado 2022