( en | de | ru )

 

Disambiguation of "Guo, Hai-Feng"

Author of the publication

copydeleteadd this publication to your clipboard
An Efficient and Flexible Engine for Computing Fixed Points

, and . CoRR, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Feng Guo

Hai-Feng Chen

Hai Li

Brigitte Hai

Hai Li

 

Other publications of authors with the same name

An Efficient and Flexible Engine for Computing Fixed Points, and . CoRR, (2004)Automatic Grammar-Based Test Generation., and . ICTSS, volume 8254 of Lecture Notes in Computer Science, page 17-32. Springer, (2013)A dynamic stochastic model for automatic grammar-based test generation., and . Softw. Pract. Exp., 45 (11): 1519-1547 (2015)Model-based test generation using extended symbolic grammars., and . Int. J. Softw. Tools Technol. Transf., 16 (4): 437-455 (2014)Precise Specification Matching for Automated Component Retrieval and Adaptation.. IRI, page 77-84. IEEE Systems, Man, and Cybernetics Society, (2003)PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures., , , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 27-42. Springer, (2001)A Memoized Strategy for Preference Logic Programs.. TASE, page 255-262. IEEE Computer Society, (2008)An Approach to Regression Test Selection of Adaptive EFSM Tests., , and . TASE, page 217-220. IEEE Computer Society, (2011)A General Approach for Partitioning Web Page Content Based on Geometric and Style Information., , , , and . ICDAR, page 929-933. IEEE Computer Society, (2007)A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms., , , and . Euro-Par, volume 2790 of Lecture Notes in Computer Science, page 694-703. Springer, (2003)