- 6th International Workshop on Web Services and Formal Methods (WS-FM'09)
- The Fourth International Conference on Internet and Web Applications and Services. (ICIW 2009).
- 14th Asia-Pacific Software Engineering Conference (APSEC 2007)
- IADIS Applied Computing 2007.
- International Conference on e-Business 2007 (ICE-B07).
- The 2nd International Conference on Internet and Web Applications and Services (ICIW07).
- IADIS Applied Computing 2006.
- International Conference on e-Business 2006 (ICE-B06).
- Workshop on Testing, Analysis and Verification of Web Services and Applications (TAV-WEB 2006).
- 15th InternationalWorldWideWeb Conference (WWW06) poster session.
- International Conference on Internet andWeb Applications and Services (ICIW06).
- the Seventh International Conference onWeb-Age Information Management (WAIM06).
- the 2005 IEEE International Conference on Web Services (ICWS05).
- the 14th International Conference onWorldWideWeb (WWW05) poster session.
Innovational Research Incentives Scheme - Division Physical Sciences of Netherlands Organisation for Scientific Research (2009), NASA Postdoctoral Program (2009), ACM Transactions on Software Engineering and Methodology (2009), Journal of Systems and Software (2008), The 18th International Conference on Concurrency Theory (CONCUR07), 2007. ACM Transactions on Software Engineering and Methodology (TOSEM), 2007. The International Symposium on Software Testing and Analysis (ISSTA), 2007. Journal of Computer Science and Technology (Special Issue in Data Management), 2007. AddisonWesley, Principles of Computer Systems Design, 2007. Addison Wesley, An Integrated Approach to Architecture and Operating Systems, 2006. The 4th International Symposium on Automated Technology for Verification and Analysis (AVTA06). IEEE Transactions on Knowledge and Data Engineering (TKDE), 2006. The 5th International Conference on Web-Age Information Management (WAIM04). The 4th International Conference on Web Engineering (ICWE04). The 1st International Symposium on Applications of Constraint Databases (CDB04). The 6th Asia Pacific Web Conference (APWEB04). The 8th Symposium on Spatial and Temporal Databases (SSTD03). The 3rd International Conference on Web-Age Information Management (WAIM02).