author- PAKM, volume 2569 of Lecture Notes in Computer Science, page 2-13. Springer, (2002)
- World Congress on Formal Methods, volume 1709 of Lecture Notes in Computer Science, page 1870. Springer, (1999)
- GI Jahrestagung, volume 19 of LNI, page 299-303. GI, (2002)
- Australasian J. of Inf. Systems (1999)
- Proceedings of HCI 2003 International, Creta, Greece, (2003)
- (2002)
- Information Visualization 1(3/4):166--181 (2002)
- 5th International Conference on Organisational Knowledge, Learning, and Capabilities. Innsbruck, April 2-3 2004, (2004)
- Wissensmanagement, page 481-486. DFKI, Kaiserslautern, (2005)
- J. UCS 10(3):284-293 (2004)
- IWFM, BCS, (1999)
- J. UCS 8(6):634-643 (2002)
- Information Visualization 1(3-4):166-181 (2002)
- A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module.SAFECOMP, volume 1943 of Lecture Notes in Computer Science, page 187-197. Springer, (2000)
