- Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, page 415. Springer, (2003)
- Electr. Notes Theor. Comput. Sci. 82(3):500-514 (2003)
- ICEIS 3, page 307-313. SciTePress, (2010)
- ICEIS 3, page 505-509. SciTePress, (2010)
- ICSOFT 2, page 414-420. INSTICC Press, (2009)
- EHST, page 36-50. INSTICC Press, (2008)
- ICSOFT SE, page 333-336. INSTICC Press, (2007)
- ICSOFT ISDM/EHST/DC, page 249-255. INSTICC Press, (2007)
- ICSOFT ISDM/EHST/DC, page 235-236. INSTICC Press, (2007)
- ICEIS Selected Papers, volume 12 of Lecture Notes in Business Information Processing, page 225-239. Springer, (2007)
- IEICE Transactions 91-B(1):286-296 (2008)
- ICEIS 3-1, page 334-337. (2008)
- ICEBE, page 13-21. IEEE Computer Society, (2007)
- ICEIS Selected Papers, volume 3 of Lecture Notes in Business Information Processing, page 322-335. Springer, (2006)
- CSCWD, page 525-529. (2001)
- ICEIS 3, page 105-113. (2007)
- ICEBE, page 86-94. IEEE Computer Society, (2006)
- ICEIS 3, page 52-60. (2006)
- ICEIS 3, page 61-69. (2006)
- ICEIS 3, page 417-420. (2005)


author