default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHai-Feng Guo 0002
Person information
- affiliation: University of Nebraska at Omaha, Department of Computer Science, Omaha, NE, USA
- affiliation: SUNY Stony Brook, Computer Science Department, Stony Brook, NY, USA
Other persons with the same name
- Haifeng Guo (aka: Hai-feng Guo, Hai-Feng Guo) — disambiguation page
- Haifeng Guo 0001
![[0000-0001-7517-6359]](/https://anthro-https-dblp.org/img/orcid-mark.12x12.png "0000-0001-7517-6359")
— Lingnan University, School of Data Science, Hong Kong (and 1 more)
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
2010 – 2019
- 2016
[j11]Hai-Feng Guo:
A semantic approach for automated test oracle generation. Comput. Lang. Syst. Struct. 45: 204-219 (2016)- [c38]Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury:
Debugging energy-efficiency related field failures in mobile apps. MOBILESoft 2016: 127-138 - 2015
- [j10]Hai-Feng Guo, Zongyan Qiu:
A dynamic stochastic model for automatic grammar-based test generation. Softw. Pract. Exp. 45(11): 1519-1547 (2015) - [c37]Hai-Feng Guo, Qing Ouyang, Harvey P. Siy:
Semantics-based Automated Web Testing. WWV 2015: 59-74 - 2014
- [j9]Hai-Feng Guo, Mahadevan Subramaniam:
Model-based test generation using extended symbolic grammars. Int. J. Softw. Tools Technol. Transf. 16(4): 437-455 (2014) - [c36]Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu:
Automated Test Oracle Generation via Denotational Semantics. QSIC 2014: 139-144 - [c35]Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy:
Locating fault-inducing patterns from structural inputs. SAC 2014: 1100-1107 - [e1]Matthew Flatt, Hai-Feng Guo:
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Lecture Notes in Computer Science 8324, Springer 2014, ISBN 978-3-319-04131-5 [contents] - 2013
- [c34]Hai-Feng Guo, Zongyan Qiu:
Automatic Grammar-Based Test Generation. ICTSS 2013: 17-32 - 2012
- [c33]Songqing Liu, Liping Li, Hai-Feng Guo:
Generating test cases via model-based simulation. IRI 2012: 17-24 - [c32]Hai-Feng Guo, Mahadevan Subramaniam:
Model-Based Test Generation Using Evolutional Symbolic Grammar. TASE 2012: 111-118 - 2011
- [c31]Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo:
An Approach to Regression Test Selection of Adaptive EFSM Tests. TASE 2011: 217-220 - 2010
- [j8]Dalei Wu, Song Ci, Haiyan Luo, Hai-Feng Guo:
A theoretical framework for interaction measure and sensitivity analysis in cross-layer design. ACM Trans. Model. Comput. Simul. 21(1): 6:1-6:26 (2010) - [i3]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: Logic-based LSC Consistency Checking. CoRR abs/1002.3083 (2010)
2000 – 2009
- 2009
- [j7]Hai-Feng Guo, Gopal Gupta:
Dynamic reordering of alternatives for definite logic programs. Comput. Lang. Syst. Struct. 35(3): 252-265 (2009) - [c30]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194 - [c29]Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
Consistency Checking for LSC Specifications. TASE 2009: 119-126 - 2008
- [j6]Hai-Feng Guo, Bharat Jayaraman:
Logic programming with solution preferences. J. Log. Algebraic Methods Program. 78(1): 1-21 (2008) - [j5]Hai-Feng Guo, Gopal Gupta:
Simplifying dynamic programming via mode-directed tabling. Softw. Pract. Exp. 38(1): 75-94 (2008) - [c28]Hai-Feng Guo:
A Memoized Strategy for Preference Logic Programs. TASE 2008: 255-262 - 2007
- [j4]Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan:
Precise specification matching for adaptive reuse in embedded systems. J. Appl. Log. 5(2): 333-355 (2007) - [j3]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. Theory Pract. Log. Program. 7(6): 633-695 (2007) - [c27]Miao Liu, Hai-Feng Guo, Zhengxin Chen:
On Multi-Relational Data Mining for Foundation of Data Mining. AICCSA 2007: 389-395 - [c26]Song Ci, Hai-Feng Guo:
Significance Measure with Nonlinear and Incommensurable Observations. GLOBECOM 2007: 4739-4743 - [c25]Deepa Gopal, Qian Wang, Gopal Gupta, S. Chitnis, Haifeng Guo, Arthur I. Karshmer:
Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) 2007: 309-318 - [c24]Song Ci, Hai-Feng Guo:
Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. ICCCN 2007: 900-904 - [c23]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 - 2006
- [j2]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 Distributed Comput. 66(10): 1267-1293 (2006) - [c22]Hai-Feng Guo, Miao Liu, Bharat Jayaraman:
Relaxation on Optimization Predicates. ICLP 2006: 425-426 - [i2]Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters. CoRR abs/cs/0607040 (2006) - 2005
- [c21]Miao Liu, Hai-Feng Guo, Zhengxin Chen:
Genetic Algorithm Based Approach for Nucleic Acid Pattern Extraction. AMCIS 2005: 329 - [c20]Hai-Feng Guo:
Mode-Directed Fixed Point Computation. LPNMR 2005: 253-265 - [c19]Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with mode-directed preferences. PPDP 2005: 242-251 - [c18]Hai-Feng Guo, Bharat Jayaraman:
Mode-directed preferences for logic programs. SAC 2005: 1414-1418 - 2004
- [j1]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ACM SIGACCESS Access. Comput. 77-78: 55-62 (2004) - [c17]Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo:
UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62 - [c16]Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung:
A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. CASDMKM 2004: 34-40 - [c15]Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38 - [c14]Hai-Feng Guo, Gopal Gupta:
Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177 - [i1]Hai-Feng Guo, Gopal Gupta:
An Efficient and Flexible Engine for Computing Fixed Points. CoRR abs/cs/0412041 (2004) - 2003
- [c13]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 - [c12]Zhenyuan Wang, Hai-Feng Guo:
A new genetic algorithm for nonlinear multiregressions based on generalized Choquet integrals. FUZZ-IEEE 2003: 819-821 - [c11]Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer:
INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex. HCI (4) 2003: 1245-1249 - [c10]Hai-Feng Guo, Gopal Gupta:
A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486 - [c9]Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan:
Online Justification for Tabled Logic Programs. ICLP 2003: 500-501 - [c8]Hai-Feng Guo, Miao Liu, Jiaxiong Pi:
Precise Specification Matching for Automated Component Retrieval and Adaptation. IRI 2003: 77-84 - 2002
- [c7]Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justification Based on Program Transformation. LOPSTR 2002: 158-159 - [c6]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
- [c5]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 - [c4]Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42 - [c3]Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Speculative Beats Conservative Justification. ICLP 2001: 150-165 - [c2]Hai-Feng Guo, Gopal Gupta:
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196 - [c1]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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-06-26 02:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
