Science of Computer Programming, Vol. 70, No. 1. (1 January 2008), pp. 1-30.
Semantic Multimedia (2006), pp. 56-70.
(2006), pp. 88-94.
(2006), pp. 289-300.
ACM Comput. Surv., Vol. 10, No. 1. (March 1978), pp. 35-71.
SIGPLAN Not., Vol. 42, No. 9. (September 2007), pp. 315-326.
ACM Transactions on Software Engineering and Methodology, Vol. 5, No. 3. (1996), pp. 231-261.
(1981), pp. 314-323.
(1982), pp. 225-234.
(2002), pp. 9-19.
Vol. 30, No. 4. (July 2005), pp. 1-6.
Software Development Magazine, Vol. 7, No. 7. (July 1999)
Proceedings of the IEEE, Vol. 74, No. 10. (1986), pp. 1431-1444.
Crosstalk: Journal of Defence Software Engineering (December 1998), pp. 11-16.
IEEE Computer, Vol. 34, No. 3. (2001), pp. 115-119.
(17--19 February 2004), pp. 36-41.
(1998)
IEEE Micro, Vol. 23, No. 02. (March 2003), pp. 22-28.
OSDI '06, pp. 205-218.
(2000), pp. 36-50.
ACM Comput. Surv., Vol. 28, No. 1. (March 1996), pp. 121-123.
(1997), pp. 1-18.
(4 Aug 2006)
Vol. 25, No. 2. (June 1996), pp. 505-516.
(2001)
Tools with Artificial Intelligence, 1999. Proceedings. 11th IEEE International Conference on (1999), pp. 391-398.
(15 March 2005)
Lecture Notes in Computer Science : The Semantic Web: Research and Applications (2005), pp. 455-470.
International Journal of Human-Computer Studies, Vol. 46, No. 2-3. (1997), pp. 293-310.
Lecture Notes in Computer Science : On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops (2006), pp. 181-188.
SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 57-74.
(1999), pp. 39-53.
(June 2001)
(1999), pp. 360-368.
(2003), pp. 221-231.
SIGPLAN Not., Vol. 41, No. 10. (October 2006), pp. 325-344.
(2005), pp. 7-11.
(2002)
(2000)
Logic in Computer Science, 1989. LICS '89, Proceedings., Fourth Annual Symposium on (1989), pp. 14-23.
Information and Computation, Vol. 93, No. 1. (1991), pp. 55-92.
(1996), pp. 242-257.