Author of the publication

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.

 

Other publications of authors with the same name

Scheduling jobs with chain precedence constraints and deteriorating jobs., , and . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)Slicing Execution for Model Checking C Programs., , and . Int. J. Softw. Eng. Knowl. Eng., 16 (5): 747-768 (2006)Counterexample-Preserving Reduction for Symbolic Model Checking., , , , , and . ICTAC, volume 8049 of Lecture Notes in Computer Science, page 249-266. Springer, (2013)Efficient Multiplex Symbolic Execution with Adaptive Search Strategy., , , , and . ASE, page 1255-1256. IEEE, (2020)Scheduling constraint based abstraction refinement for weak memory models., , , and . ASE, page 645-655. ACM, (2018)Dynamic Scene Deblurring Using Enhanced Feature Fusion and Multi - Distillation Mechanism., , , , and . IJCNN, page 1-8. IEEE, (2021)Imitation Learning-Based Drone Motion Planning in Dense Obstacle Scenarios., , , , and . ICTAI, page 818-825. IEEE, (2022)Challenges and opportunities: an in-depth empirical study on configuration error injection testing., , , , , , , and . ISSTA, page 478-490. ACM, (2021)A DRL Resource Allocation for Downlink NOMA Multi-beam Satellite Communications., , , , , and . BMSB, page 1-6. IEEE, (2023)A Digital Gaming Intervention Combing Multitasking and Alternating Attention for ADHD: A Preliminary Study., , , , , , and . HBAI@IJCAI, volume 1692 of Communications in Computer and Information Science, page 208-219. Springer, (2022)