2005, Article in monograph or in proceedings (Canagarajah, N.; Chalmers, A.; Deravi, F. (ed.), Proceedings of The IEE International Conference on Visual Information Engineering (VIE2005): Convergence in Graphics and Vision, pp. 157-164)
2005, Article in monograph or in proceedings (Canagarajah, N.; Chalmers, A.; Deravi, F. (ed.), Proceedings of the IEE International Conference on Visual Information Engineering (VIE2005), pp. 157-164)
2006, Article in monograph or in proceedings (Kehtarnavaz, Nasser; Laplante, Phillip A. (ed.), Proceedings of Real Time Image processing 2006, pp. 54-63)
2003, Part of book or chapter of book (Garavel, H.; Hatcliff, J. (ed.), Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, pp. 113-127)
2006, Article in monograph or in proceedings (Third International Conference on the Quantitative Evaluation of SysTems (QEST 2006), 11-14 September 2006, Riverside, CA, USA, pp. 125-126)
2006, Article in monograph or in proceedings (Bertolino, A.; Polini, A. (ed.), International Workshop on Web Services - Modeling and Testing (WS-MaTe2006), pp. 67-82)
2005, Part of book or chapter of book (Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures, pp. 391-438)
2007, Article in monograph or in proceedings (Tretmans, J. (ed.), Tangram: Model-Based Integration and Testing of Complex High-Tech Systems, pp. 199-207)
2005, Article in monograph or in proceedings (Kr"ose, B.; Hendriks, E.; Bos, H. (ed.), Proceedings of the Eleventh Annual Conference of the Advanced School for Computing and Imaging, pp. [in press])
2005, Article in monograph or in proceedings (Abadi, Martin; Alfaro, Luca de (ed.), 16th International Conference on Concurrency Theory CONCUR 2005, pp. 125-140)
2007, Article in monograph or in proceedings (Geuvers, H.; Courtieu, P. (ed.), PATE'07, International Workshop on Proof Assistants and Types in Education, pp. 37-50)
2005, Article in monograph or in proceedings (Proceedings First International Colloquium on Theoretical Aspects of Computing (ICTAC2004), rm Guiyang, China, 20-24 September 2004, pp. 494-510)