Business process analysis and real-world application scenariosMichiharu KudoTakahide Nogayamaet al.2013SITIS 2013Conference paper
Business process discovery by using process skeletonizationMichiharu KudoAi Ishidaet al.2013SITIS 2013Conference paper
Pattern-based model checking for dynamic analysis of workflow processes with temporal constraintsYanhua DuWending Zhanget al.2013SITIS 2013Conference paper