(1 October 2004)
(11 January 2008)
(16 August 2007)
(25 January 2008)
Commun. ACM, Vol. 50, No. 11. (November 2007), pp. 19-21.
Bulletin of the European Association for Theoretical Computer Science, Vol. 62 (1997), pp. 222-259.
Softw. Pract. Exper., Vol. 25, No. 12. (December 1995), pp. 1315-1330.
Commun. ACM, Vol. 46, No. 9. (September 2003), pp. 36-39.
Lisp and Symbolic Computation, Vol. 4, No. 3. (1991)
(2005), pp. 128-137.
(2005), pp. 23-27.
(1998), pp. 89-98.
(28 February 2006)
The Journal of Supercomputing, Vol. 38, No. 1. (19 October 2006), pp. 73-82.
Journal of Functional Programming, Vol. 16, No. 3. (May 2006), pp. 281-291.
(24 April 1998)
(06 February 2006)
(12 February 2005)
(27 April 2008)
(14 February 2005)
Commun. ACM, Vol. 5, No. 6. (June 1962), pp. 344-344.
Theoretical Computer Science, Vol. 98, No. 1. (11 May 1992), pp. 65-76.
Acta Informatica, Vol. 16, No. 2. (1 October 1981), pp. 237-252.
The Computer Journal, Vol. 23, No. 4. (1 April 1980), pp. 332-337.
International Journal of Computer Mathematics, Vol. 70, No. 2. (1998), pp. 319-332.
Operations Research Letters, Vol. 33, No. 3. (May 2005), pp. 231-234.
(31 May 2004)
(26 July 2005)
(1998)
Proceedings. IEEE Conference on Advanced Video and Signal Based Surveillance, 2005. (2005), pp. 318-323.
Computer Vision, 2001. ICCV 2001. Proceedings. Eighth IEEE International Conference on, Vol. 1 (2001), pp. 213-218 vol.1.
Signal Processing Magazine, IEEE, Vol. 22, No. 2. (2005), pp. 38-51.
SIGMOBILE Mob. Comput. Commun. Rev., Vol. 5, No. 1. (January 2001), pp. 3-55.
(01 August 1986)
(01 April 1994)
(01 January 1990)
(01 April 1993)
(16 May 1985)
(19 April 1982)
(01 December 1983)
(15 January 1984)
(15 June 1984)
(01 June 1987)
(01 February 1984)
ACM Comput. Surv., Vol. 32, No. 3. (September 2000), pp. 300-335.
ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48.
Information and Software Technology, Vol. 45, No. 13. (October 2003), pp. 899-909.
Computers & Industrial Engineering, Vol. 43, No. 4. (September 2002), pp. 787-800.