( en | de | ru )

 

Disambiguation of "Fu, Jicheng"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques.

, , and . HASE, page 333-342. IEEE Computer Society, (2008)

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.

Zhendong Fu

Qiang Fu

Lei Fu

Ganhua Fu

Jian Fu

 

Other publications of authors with the same name

Model-Driven Prototyping Based Requirements Elicitation., , and . Monterey Workshop, volume 5320 of Lecture Notes in Computer Science, page 43-61. Springer, (2007)A Novel Picture Fingerprinting Technique to Provide Practical Indoor Localization for Wheelchair Users., , , , and . HCI (34), volume 1033 of Communications in Computer and Information Science, page 273-278. Springer, (2019)Achieving Better Cloud Access Experience with Server Virtualization., , , and . SEDE, page 149-154. ISCA, (2011)Commit Message Can Help: Security Patch Detection in Open Source Software via Transformer., , , , and . SERA, page 345-351. IEEE, (2023)Automated Discovery of Loop Invariants for High-Assurance Programs Synthesized Using AI Planning Techniques., , and . HASE, page 333-342. IEEE Computer Society, (2008)Handling Planning Failures with Virtual Actions., , , , and . ICTAI, page 468-475. IEEE Computer Society, (2012)Balancing Power Consumption and Data Analysis Accuracy Through Adjusting Sampling Rates: Seeking for the Optimal Configuration of Inertial Sensors for Power Wheelchair Users., , , , and . HCI (17), volume 9185 of Lecture Notes in Computer Science, page 184-192. Springer, (2015)Characterization of wheelchair maneuvers based on noisy inertial sensor data: A preliminary study., , , , and . EMBC, page 1731-1734. IEEE, (2014)Towards a Practical Approach for Assessing Pressure Relief Activities for Manual Wheelchair Users in Their Daily Lives., , , , , and . HCI (17), volume 12778 of Lecture Notes in Computer Science, page 40-49. Springer, (2021)Cloud Based Content Adaptation System for Mobile Learners., and . CCNC, page 1-2. IEEE, (2010)