High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International (2004), pp. 141-146.
High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International (2004), pp. 135-140.
: Theory and Applications of Satisfiability Testing (2005), pp. 415-422.
(2000)
(13 Jun 2003)
Biology and Philosophy, Vol. 10, No. 4. (1 October 1995), pp. 419-434.
(19 Jun 2006)
(1 Dec 2006)
No. IDSIA-01-03. (2003)
ArXiv High Energy Physics - Phenomenology e-prints (December 1997)
Global Telecommunications Conference, 2005. GLOBECOM '05. IEEE, Vol. 2 (2005), pp. 1125-1130.
by Tsung-Nan
Lin, Po-Chiang
Lin
Journal of the American Society for Information Science, Vol. 27, No. 3. (1976), pp. 129-146.
Biochimica et Biophysica Acta (BBA) - Biomembranes, Vol. In Press, Accepted Manuscript
ACM SIGOPS Operating Systems Review, Vol. 33, No. 4. (October 1999)
(30 August 2000)
(28 July 2003)
(19 March 2002)
(01 November 1997)
(01 March 1984)
(15 January 2001)
(30 November 1996)
(01 April 1999)
(15 March 2001)
(01 May 1997)
(01 September 1994)
(01 September 2004)
(01 March 2004)
(01 October 1996)
(04 May 2004)
(22 January 2001)
(01 March 1995)
(28 October 2003)
(05 August 2002)
(01 February 2003)
(01 April 1999)
(07 September 1994)
(01 May 2004)
(10 February 2000)
(14 April 1990)
(15 April 2001)
(15 March 2002)
(01 November 1996)
IEEE Transactions on Multimedia, Vol. 9, No. 1. (January 2007), pp. 58-65.
Computer Supported Cooperative Work (CSCW), Vol. 13, No. 5. (1 December 2004), pp. 349-408.
Crop Sci, Vol. 41, No. 3. (1 May 2001), pp. 823-830.
: Practice and Theory of Automated Timetabling V (2005), pp. 334-353.
(2004)
(2005)