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

Towards an Unified Multi-service Ethernet Transport Network(ETN)., , , , , , , , and . ITNAC, page 1-6. IEEE Computer Society, (2018)Message Race Detection for Web Services by an SMT-Based Analysis., , , and . ATC, volume 6407 of Lecture Notes in Computer Science, page 182-194. Springer, (2010)Learn to Design the Heuristics for Vehicle Routing Problem., , , , , and . CoRR, (2020)HEAT: a combined approach for thread escape analysis., , and . Int. J. Syst. Assur. Eng. Manag., 2 (2): 135-143 (2011)SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs., , and . Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 115-129. Springer, (2011)Dynamic Partial Removal: A Neural Network Heuristic for Large Neighborhood Search., , , and . CoRR, (2020)HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis., , and . COMPSAC (1), page 142-147. IEEE Computer Society, (2009)An Integrated Framework for Checking Concurrency-Related Programming Errors., and . COMPSAC (1), page 676-679. IEEE Computer Society, (2009)Cross-View Deformable Transformer for Non-displaced Hip Fracture Classification from Frontal-Lateral X-Ray Pair., , , , , , and . MICCAI (6), volume 14225 of Lecture Notes in Computer Science, page 444-453. Springer, (2023)MRGIS: A MapReduce-Enabled High Performance Workflow System for GIS., , and . eScience, page 646-651. IEEE Computer Society, (2008)