Papers
Goulden-Jackson in 2-dimensional
Computer Auto Proof of the AdditivePeriodicity of the Sprague-Grundy Function of Wythoff's Game
The Non-Communicative Goulden-Jackson Cluster Method
in progress
The Symbolic Goulden Jackson Cluster Method
J. Difference Eq. Appl.
,
11
(2005),173-179.
Computer-Generated Symmetric Chain Decompositions for L(4,n) and L(3,n)
Advances in Applied Mathematics
33
(2004) 409 -412
Detection of changes in surveillance videos
IEEE Int. Conf. on Advanced Video and Signal Based Surveillance. With L.J.Latecki and N. Ghubade