SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Francisco Durán · Study

Home/Author

Francisco Durán

5 works· latest 2021· 1 institutionscluster: provisionalORCID 0000-0001-5864-8094

h-index5

i105

Citations130

Works here5

17

18

19

21

Most cited in this library

Stochastic analysis of BPMN with time in rewriting logic2018 · 43 citations
A rewriting logic approach to resource allocation analysis in business process models2019 · 28 citations
Verifying Timed BPMN Processes Using Maude2017 · 24 citations
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude2021 · 19 citations
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT2018 · 16 citations

Works

5 shown

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude

Journal of Logical and Algebraic Methods in Programming·2021·3 authors·Open access

19citations

A rewriting logic approach to resource allocation analysis in business process models

Science of Computer Programming·2019·3 authors·Open access

28citations

Stochastic analysis of BPMN with time in rewriting logic

Science of Computer Programming·2018·3 authors·Open access

43citations

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

Lecture notes in computer science·2018·3 authors·other·Open access

16citations

Verifying Timed BPMN Processes Using Maude

Lecture notes in computer science·2017·2 authors·other·Open access

24citations