Hai-Feng Guo

57 papers A 2B 11C 9Misc 10Journal 16Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction.
CoRR
Ezana N. Beyenne, Hai-Feng Guo
2018 J jnl
Improving regression test efficiency with an awareness of refactoring changes.
Inf. Softw. Technol.
Zhiyuan Chen, Hai-Feng Guo, Myoungkyu Song
2016 J jnl
A semantic approach for automated test oracle generation.
Comput. Lang. Syst. Struct.
Hai-Feng Guo
2016 — conf
Debugging energy-efficiency related field failures in mobile apps.
MOBILESoft
Abhijeet Banerjee, Hai-Feng Guo, Abhik Roychoudhury
2015 J jnl
A dynamic stochastic model for automatic grammar-based test generation.
Softw. Pract. Exp.
Hai-Feng Guo, Zongyan Qiu
2015 — conf
Semantics-based Automated Web Testing.
WWV
Hai-Feng Guo, Qing Ouyang, Harvey P. Siy
2014 — conf
Automated Test Oracle Generation via Denotational Semantics.
QSIC
Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu
2014 C conf
Design of 2MW/10kV cascaded power conversion system.
IECON
Zhi-Bin Ling, Yang Cao, Qin-Dong Ma, Hai-Feng Guo, Baihua Zhang, Zhi-Gang Lu
2014 Misc conf
Locating fault-inducing patterns from structural inputs.
SAC
Hai-Feng Guo, Zongyan Qiu, Harvey P. Siy
2014 J jnl
Model-based test generation using extended symbolic grammars.
Int. J. Softw. Tools Technol. Transf.
Hai-Feng Guo, Mahadevan Subramaniam
2014 C ed.
Practical Aspects of Declarative Languages - 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings
PADL
Matthew Flatt, Hai-Feng Guo
2013 C conf
Automatic Grammar-Based Test Generation.
ICTSS
Hai-Feng Guo, Zongyan Qiu
2012 Misc conf
Generating test cases via model-based simulation.
IRI
Songqing Liu, Liping Li, Hai-Feng Guo
2012 Misc conf
Model-Based Test Generation Using Evolutional Symbolic Grammar.
TASE
Hai-Feng Guo, Mahadevan Subramaniam
2011 — conf
A Dynamic Cell Resource Reserving Handoff Control Algorithm.
CMC
Li-zhong Zhu, Zhenglin Yao, Hai-Feng Guo
2011 Misc conf
An Approach to Regression Test Selection of Adaptive EFSM Tests.
TASE
Bo Guo, Mahadevan Subramaniam, Hai-Feng Guo
2010 J jnl
A theoretical framework for interaction measure and sensitivity analysis in cross-layer design.
ACM Trans. Model. Comput. Simul.
Dalei Wu, Song Ci, Haiyan Luo, Hai-Feng Guo
2010 J jnl
L2C2: Logic-based LSC Consistency Checking
CoRR
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2009 — conf
A New Sliding-Mode Control Algorithm with Simulation.
ICNC (2)
Li-zhong Zhu, Jing Jiang, Hai-Feng Guo
2009 Misc conf
Consistency Checking for LSC Specifications.
TASE
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2009 J jnl
Dynamic reordering of alternatives for definite logic programs.
Comput. Lang. Syst. Struct.
Hai-Feng Guo, Gopal Gupta
2009 C conf
L2C2: logic-based LSC consistency checking.
PPDP
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
2008 Misc conf
A Memoized Strategy for Preference Logic Programs.
TASE
Hai-Feng Guo
2008 J jnl
Logic programming with solution preferences.
J. Log. Algebraic Methods Program.
Hai-Feng Guo, Bharat Jayaraman
2008 J jnl
Simplifying dynamic programming via mode-directed tabling.
Softw. Pract. Exp.
Hai-Feng Guo, Gopal Gupta
2007 A conf
A General Approach for Partitioning Web Page Content Based on Geometric and Style Information.
ICDAR
Hai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan
2007 C conf
On Multi-Relational Data Mining for Foundation of Data Mining.
AICCSA
Miao Liu, Hai-Feng Guo, Zhengxin Chen
2007 J jnl
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
Theory Pract. Log. Program.
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2007 J jnl
Precise specification matching for adaptive reuse in embedded systems.
J. Appl. Log.
Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan
2007 B conf
Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty.
ICCCN
Song Ci, Hai-Feng Guo
2007 B conf
Significance Measure with Nonlinear and Incommensurable Observations.
GLOBECOM
Song Ci, Hai-Feng Guo
2006 J jnl
PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2006 B conf
Relaxation on Optimization Predicates.
ICLP
Hai-Feng Guo, Miao Liu, Bharat Jayaraman
2006 J jnl
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distributed Comput.
Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
2005 — conf
Genetic Algorithm Based Approach for Nucleic Acid Pattern Extraction.
AMCIS
Miao Liu, Hai-Feng Guo, Zhengxin Chen
2005 B conf
Mode-Directed Fixed Point Computation.
LPNMR
Hai-Feng Guo
2005 Misc conf
Mode-directed preferences for logic programs.
SAC
Hai-Feng Guo, Bharat Jayaraman
2005 C conf
Optimization with mode-directed preferences.
PPDP
Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
2004 — conf
A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals.
CASDMKM
Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung
2004 J jnl
An Efficient and Flexible Engine for Computing Fixed Points
CoRR
Hai-Feng Guo, Gopal Gupta
2004 Misc conf
Online Justification for Tabled Logic Programs.
FLOPS
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
2004 C conf
Simplifying Dynamic Programming via Tabling.
PADL
Hai-Feng Guo, Gopal Gupta
2004 A conf
UMA: a system for universal mathematics accessibility.
ASSETS
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo
2004 J jnl
UMA: a system for universal mathematics accessibility.
ACM SIGACCESS Access. Comput.
Arthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, Brian Palmer, Hai-Feng Guo
2003 — conf
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Euro-Par
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2003 B conf
A New Mode Declaration for Tabled Predicates.
ICLP
Hai-Feng Guo, Gopal Gupta
2003 B conf
A new genetic algorithm for nonlinear multiregressions based on generalized Choquet integrals.
FUZZ-IEEE
Zhenyuan Wang, Hai-Feng Guo
2003 — conf
INSIGHT: A Comprehensive System for Converting Braille based Mathematical Documents to Latex.
HCI (4)
Narayan Annamalai, Deepa Gopal, Gopal Gupta, Hai-Feng Guo, Arthur I. Karshmer
2003 B conf
Online Justification for Tabled Logic Programs.
ICLP
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
2003 Misc conf
Precise Specification Matching for Automated Component Retrieval and Adaptation.
IRI
Hai-Feng Guo
2002 C conf
Justification Based on Program Transformation.
LOPSTR
Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
2002 C conf
Semantics-Based Filtering: Logic Programming's Killer App?
PADL
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
2001 B conf
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.
ICLP
Hai-Feng Guo, Gopal Gupta
2001 B conf
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
ICPP
Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
2001 B conf
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
ICLP
Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
2001 B conf
Speculative Beats Conservative Justification.
ICLP
Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
2001 Misc conf
The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance.
HCI
Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo