Hai-Feng Guo

	2009
34		Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194
33		Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: Consistency Checking for LSC Specifications. TASE 2009: 119-126
	2008
32		Hai-Feng Guo: A Memoized Strategy for Preference Logic Programs. TASE 2008: 255-262
31		Hai-Feng Guo, Bharat Jayaraman: Logic programming with solution preferences. J. Log. Algebr. Program. 78(1): 1-21 (2008)
30		Hai-Feng Guo, Gopal Gupta: Simplifying dynamic programming via mode-directed tabling. Softw., Pract. Exper. 38(1): 75-94 (2008)
	2007
29		Miao Liu, Hai-Feng Guo, Zhengxin Chen: On Multi-Relational Data Mining for Foundation of Data Mining. AICCSA 2007: 389-395
28		Song Ci, Hai-Feng Guo: Significance Measure with Nonlinear and Incommensurable Observations. GLOBECOM 2007: 4739-4743
27		Deepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer: Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) 2007: 309-318
26		Song Ci, Hai-Feng Guo: Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. ICCCN 2007: 900-904
25		Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan: A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. ICDAR 2007: 929-933
24		Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan: Precise specification matching for adaptive reuse in embedded systems. J. Applied Logic 5(2): 333-355 (2007)
23		Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. TPLP 7(6): 633-695 (2007)
	2006
22		Hai-Feng Guo, Miao Liu, Bharat Jayaraman: Relaxation on Optimization Predicates. ICLP 2006: 425-426
21		Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR abs/cs/0607040: (2006)
20		Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distrib. Comput. 66(10): 1267-1293 (2006)
	2005
19		Hai-Feng Guo: Mode-Directed Fixed Point Computation. LPNMR 2005: 253-265
18		Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu: Optimization with mode-directed preferences. PPDP 2005: 242-251
17		Hai-Feng Guo, Bharat Jayaraman: Mode-directed preferences for logic programs. SAC 2005: 1414-1418
	2004
16		Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo: UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62
15		Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung: A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. CASDMKM 2004: 34-40
14		Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38
13		Hai-Feng Guo, Gopal Gupta: Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177
12		Hai-Feng Guo, Gopal Gupta: An Efficient and Flexible Engine for Computing Fixed Points CoRR abs/cs/0412041: (2004)
	2003
11		Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703
10		Hai-Feng Guo, Gopal Gupta: A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486
9		Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501
8		Hai-Feng Guo: Precise Specification Matching for Automated Component Retrieval and Adaptation. IRI 2003: 77-84
	2002
7		Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Justification Based on Program Transformation. LOPSTR 2002: 158-159
6		Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou: Semantics-Based Filtering: Logic Programming's Killer App? PADL 2002: 82-100
	2001
5		Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo: The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI 2001: 929-933
4		Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Speculative Beats Conservative Justification. ICLP 2001: 150-165
3		Hai-Feng Guo, Gopal Gupta: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196
2		Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
1		Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta: Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294

Coauthor Index

1	N. Ammalai	[16]
2	Mario Batusic	[16]
3	Yevgen Borodin	[25]
4	Zhengxin Chen	[29]
5	Sachin V. Chitnis	[27]
6	Song Ci	[26] [28]
7	Nayana Datta	[6]
8	Yifei Dong	[9] [14]
9	Omar El-Khatib	[6]
10	Deepa Gopal	[16] [27]
11	Gopal Gupta	[1] [2] [3] [5] [6] [10] [11] [12] [13] [16] [18] [20] [21] [23] [27] [30]
12	Juan Raymundo Iglesias	[6]
13	Bharat Jayaraman	[17] [18] [22] [31]
14	Arthur I. Karshmer	[5] [6] [16] [27]
15	Kwong-Sak Leung	[15]
16	Miao Liu	[18] [22] [24] [29]
17	Jalal Mahmud	[25]
18	Klaus Miesenberger	[5] [16]
19	Brook Milligan	[6]
20	Mohammed Noamany	[6]
21	B. Palmer	[16]
22	Giridhar Pemmasani	[9] [14]
23	Enrico Pontelli	[1] [2] [5] [6] [11] [16] [20] [21] [23]
24	C. R. Ramakrishnan	[4] [7] [9] [14] [24]
25	I. V. Ramakrishnan	[4] [7] [9] [14] [24] [25]
26	Desh Ranjan	[6]
27	Partha S. Roop	[24]
28	Yong Shi	[15]
29	Amanda Stent	[25]
30	Bernhard Stöger	[16]
31	Mahadevan Subramaniam	[33] [34]
32	Karen Villaverde	[1] [2] [11] [20] [21] [23]
33	Q. Wang	[27]
34	Zhenyuan Wang	[15]
35	Wen Zheng	[33] [34]
36	Xinhong Zhou	[6]

Colors in the list of coauthors