(2002), pp. 71-82.
SIGPLAN Not., Vol. 35, No. 5. (May 2000), pp. 219-232.
Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on (2000), pp. 61-70.
(2000)
(2006), pp. 81-87.
(2000), pp. 47-48.
(2004), pp. 1275-1280.
International Journal of Medical Informatics, Vol. In Press, Corrected Proof
Vol. 34(10) (1999), pp. 132-146.
(2000), pp. 36-43.
Vol. 35(10) (2000), pp. 130-145.
Vol. 34, No. 10. (October 1999), pp. 20-34.
(1999), pp. 1-19.
ACM SIG\-PLAN Notices, Vol. 34, No. 10. (1999), pp. 187-206.
(2000)
(2006), pp. 90-95.
No. UUCS-98-015. (June, 1998)
(2002), pp. 115-119.
Personal and Ubiquitous Computing, Vol. 2, No. 2. (25 June 1998), pp. 109-116.
Bioinformatics, Vol. 21, No. 24. (15 December 2005), pp. 4432-4433.
(11 October 1999)
(2002), pp. 157-161.
SIGSOFT Softw. Eng. Notes, Vol. 25, No. 5. (September 2000), pp. 158-167.
(2006), pp. 95-102.
Science of Computer Programming, Vol. 57, No. 3. (September 2005), pp. 339-356.
(30 September 2003)
(# oct 2001)
Verification, Model Checking, and Abstract Interpretation (2004), pp. 211-222.
(2007), pp. 310-319.
Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236.
(08 July 2005)
ECOOP 2007 – Object-Oriented Programming (2007), pp. 151-175.
Acta Cybern., Vol. 16, No. 2. (January 2003), pp. 337-365.
(2002)
(1999), pp. 4-11.
(1999)
(2003), pp. 139-144.
Bioinformatics (3 January 2008)
Vol. 38, No. 11. (November 2003), pp. 388-402.
(2006), pp. 82-91.
Software Maintenance, 2005. ICSM'05. Proceedings of the 21st IEEE International Conference on (2005), pp. 101-110.
(2004), pp. 317-325.
Vol. 35, No. 1. (January 2003), pp. 153-156.
(2002), pp. 95-100.
Vol. 35, No. 3. (September 2003), pp. 215-216.
(2003), pp. 170-177.
(2004), pp. 52-56.
Vol. 32, No. 1. (March 2000), pp. 197-201.