Scientific and Statistical Database Management, 1999. Eleventh International Conference on (1999), pp. 264-273.
J. ACM, Vol. 29, No. 1. (January 1982), pp. 24-32.
Principles and Practice of Constraint Programming – CP 2003 (2003), pp. 377-391.
(1980), pp. 431-441.
(2001), pp. 159-166.
Program Comprehension, 2003. 11th IEEE International Workshop on (2003), pp. 94-103.
Parallel Computer Architectures (1993), pp. 180-189.
(2006), pp. 11-16.
Software, IEEE, Vol. 7, No. 1. (1990), pp. 74-81.
(2004), pp. 40-52.
(1994)
ACM Comput. Surv., Vol. 38, No. 3. (2006)
SIGPLAN Not., Vol. 29, No. 8. (August 1994), pp. 119-128.
ACM Comput. Surv., Vol. 10, No. 1. (March 1978), pp. 35-71.
ACM Comput. Surv., Vol. 36, No. 1. (March 2004), pp. 1-34.
World Wide Web, Vol. 4, No. 1. (1 March 2001), pp. 21-47.
Cluster Computing, Vol. 9, No. 1. (January 2006), pp. 79-99.
ACM Comput. Surv., Vol. 31, No. 1. (March 1999), pp. 63-103.
Software Engineering, IEEE Transactions on, Vol. 24, No. 7. (1998), pp. 534-558.
(2002), pp. 117-119.
(1994), pp. 97-110.
(1999), pp. 181-192.
(1978), pp. 295-304.
ACM Trans. Database Syst., Vol. 2, No. 2. (June 1977), pp. 134-174.
(1999), pp. 718-719.
(2000)
(1997), pp. 338-348.
SIGSIM Simul. Dig., Vol. 11, No. 1. (1979), pp. 163-172.
(1973), pp. 62-67.
FME 2003: Formal Methods (2003), pp. 18-39.
Journal of Systems and Software, Vol. 59, No. 3. (15 December 2001), pp. 271-281.
ACM Trans. Program. Lang. Syst., Vol. 22, No. 5. (September 2000), pp. 932-972.
(1995), pp. 49-61.
(2004), pp. 18-22.
SIGPLAN Lisp Pointers, Vol. VII, No. 3. (1994), pp. 162-172.
(1997), pp. 71-84.
Lecture Notes in Computer Science, Vol. 1628 (1999), pp. 367-??.