Shusaku Iida

Publication Activity (10 Years)

Years Active: 1999-2012
Publications (10 Years): 0

Top Topics

Business Processes

Formal Verification

Cross Organizational

Workflow Processes

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi
Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Trans. Inf. Syst. (5) (2012)
Shusaku Iida, Grit Denker, Carolyn L. Talcott
Document Logic: Risk Analysis of Business Processes Through Document Authenticity. J. Res. Pract. Inf. Technol. 43 (1) (2011)
Shusaku Iida, Grit Denker, Carolyn L. Talcott
Document Logic: Risk analysis of business processes through document authenticity. EDOCW (2009)
John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe
Semantics? ECOOP Workshops (1999)
Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods (1999)