S
Zodix
Study
Academic Library
Search
Shelves
Open access
Sign in
Search or jump to…
⌘K
Máté Kovács · Study
Home
/
Author
Máté Kovács
3 works
· latest 2008
· 1 institutions
cluster: provisional
ORCID 0009-0008-9541-1414
Follow
Suggest an ORCID correction
h-index
3
i10
3
Citations
51
Works here
3
07
08
Most cited in this library
Simulation and Formal Analysis of Workflow Models
2008 · 24 citations
Formal analysis of BPEL workflows with compensation by model checking
2008 · 16 citations
Formal modeling of BPEL workflows including fault and compensation handling
2007 · 11 citations
Works
3 shown
Formal analysis of BPEL workflows with compensation by model checking
·
2008
·
3 authors
16
citations
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science
·
2008
·
2 authors
·
Open access
24
citations
Formal modeling of BPEL workflows including fault and compensation handling
·
2007
·
3 authors
·
other
11
citations