(1 October 2004)
(16 August 2007)
(11 January 2008)
(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.
(1998), pp. 89-98.
(2005), pp. 128-137.
(2005), pp. 23-27.
Lisp and Symbolic Computation, Vol. 4, No. 3. (1991)
(28 February 2006)
The Journal of Supercomputing, Vol. 38, No. 1. (19 October 2006), pp. 73-82.
Operations Research Letters, Vol. 33, No. 3. (May 2005), pp. 231-234.
(26 July 2005)
(24 April 1998)
Acta Informatica, Vol. 16, No. 2. (1 October 1981), pp. 237-252.
(12 February 2005)
(31 May 2004)
International Journal of Computer Mathematics, Vol. 70, No. 2. (1998), pp. 319-332.
The Computer Journal, Vol. 23, No. 4. (1 April 1980), pp. 332-337.
Theoretical Computer Science, Vol. 98, No. 1. (11 May 1992), pp. 65-76.
Commun. ACM, Vol. 5, No. 6. (June 1962), pp. 344-344.
Journal of Functional Programming, Vol. 16, No. 3. (May 2006), pp. 281-291.
(06 February 2006)
(14 February 2005)
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.
Proceedings. IEEE Conference on Advanced Video and Signal Based Surveillance, 2005. (2005), pp. 318-323.
(1998)
SIGMOBILE Mob. Comput. Commun. Rev., Vol. 5, No. 1. (January 2001), pp. 3-55.
(01 January 1990)
ACM Computing Surveys, Vol. 23, No. 1. (1991), pp. 5-48.
(01 August 1986)
ACM Comput. Surv., Vol. 32, No. 3. (September 2000), pp. 300-335.
(01 February 1984)
(01 April 1994)
(01 June 1987)
(01 April 1993)
(16 May 1985)
(15 January 1984)
(01 December 1983)
(19 April 1982)
(15 June 1984)
European Journal of Combinatorics, Vol. In Press, Corrected Proof
Neurocomputing, Vol. 61 (October 2004), pp. 99-119.
Computers & Industrial Engineering, Vol. 43, No. 4. (September 2002), pp. 787-800.