Hai-Feng Guo

2008
32	EE	Hai-Feng Guo: A Memoized Strategy for Preference Logic Programs. TASE 2008: 255-262
31	EE	Hai-Feng Guo, Bharat Jayaraman: Logic programming with solution preferences. J. Log. Algebr. Program. 78(1): 1-21 (2008)
30	EE	Hai-Feng Guo, Gopal Gupta: Simplifying dynamic programming via mode-directed tabling. Softw., Pract. Exper. 38(1): 75-94 (2008)
2007
29	EE	Miao Liu, Hai-Feng Guo, Zhengxin Chen: On Multi-Relational Data Mining for Foundation of Data Mining. AICCSA 2007: 389-395
28	EE	Song Ci, Hai-Feng Guo: Significance Measure with Nonlinear and Incommensurable Observations. GLOBECOM 2007: 4739-4743
27	EE	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	EE	Song Ci, Hai-Feng Guo: Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. ICCCN 2007: 900-904
25	EE	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	EE	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	EE	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	EE	Hai-Feng Guo, Miao Liu, Bharat Jayaraman: Relaxation on Optimization Predicates. ICLP 2006: 425-426
21	EE	Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR abs/cs/0607040: (2006)
20	EE	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	EE	Hai-Feng Guo: Mode-Directed Fixed Point Computation. LPNMR 2005: 253-265
18	EE	Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu: Optimization with mode-directed preferences. PPDP 2005: 242-251
17	EE	Hai-Feng Guo, Bharat Jayaraman: Mode-directed preferences for logic programs. SAC 2005: 1414-1418
2004
16	EE	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	EE	Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung: A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. CASDMKM 2004: 34-40
14	EE	Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38
13	EE	Hai-Feng Guo, Gopal Gupta: Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177
12	EE	Hai-Feng Guo, Gopal Gupta: An Efficient and Flexible Engine for Computing Fixed Points CoRR abs/cs/0412041: (2004)
2003
11	EE	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	EE	Hai-Feng Guo, Gopal Gupta: A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486
9	EE	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	EE	Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Justification Based on Program Transformation. LOPSTR 2002: 158-159
6	EE	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	EE	Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Speculative Beats Conservative Justification. ICLP 2001: 150-165
3	EE	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	EE	Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
1	EE	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	Karen Villaverde	[1] [2] [11] [20] [21] [23]
32	Q. Wang	[27]
33	Zhenyuan Wang	[15]
34	Xinhong Zhou	[6]

Colors in the list of coauthors