International
Symposium on Software and Systems (I3S), 2000;
International Symposium on Innovation in Information &
Communication Technology (ISIICT), 2001
.
Referee for several international and national journals:
IEEE/ACM Transactions on Networking,
Theoretical Computer Science, IEEE Concurrency
(former IEEE Journal of Parallel and Distributed Technology),
Information Systems: The International Journal,
International Journal of Software Engineering and Knowledge
Engineering, Transactions on Knowledge and Data Engineering,
Informatik - Forschung und Entwicklung.
Referee for international and national conferences:
International Symposium on Innovation
in Information & Communication Technology, 2001;
International Symposium on Software and Systems, 2001;
IFIP TC6/WG6.1 4th International Conference on Formal Methods for
Open Object-Based Distributed Systems, 2000;
17th International Conference on Automated Deduction, 2000;
17th International Symposium on Theoretical Aspects of Computer
Science, 2000; 1st Mediterranean International Conference on Computer
Technologies, 1999; 5th ACM Conference on Computer and Communications
Security, 1998; 9th International Conference on Concurrency Theory,
1998; 12th Annual Symposium on High Performance Computing Systems and
Applications, 1998; 8th Conference on Software Engineering
Environments, 1997; 9th Conference on Advanced Information System
Engineering; Datenbanksysteme in Büro, Technik und
Wissenschaft, 1997; 13th International Conference on Data Engineering,
1996; 11th Workshop on Abstract Data Types and 8th COMPASS Workshop,
1995; 10th Workshop on Abstract Data Types and 6th COMPASS Workshop,
1994.
Book referee:
Transactions and Change in Logic Databases, Springer Verlag, 1998; Information Systems - Correctness and Reusability, Kluwer Verlag, 1994.