Search results for: Javier Esparza
Fundamenta Informaticae > 2022 > vol. 187 nr 2-4 > 197--243
International Journal of Cancer > 148 > 12 > 3032 - 3040
Acta Informatica > 2019 > 56 > 2 > 93-159
Performance Evaluation > 2017 > 117 > C > 104-129
Formal Methods in System Design > 2016 > 49 > 3 > 219-271
Formal Methods in System Design > 2017 > 50 > 2-3 > 140-167
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 619-628
Acta Informatica > 2017 > 54 > 2 > 191-215
Information Processing Letters > 2016 > 116 > 6 > 423-427