Author of the publication

Accelerating Software Model Checking Based on Program Backbone.

, , , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 347-358. Springer, (2013)

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

Research on Photon-Integrated Interferometric Remote Sensing Image Reconstruction Based on Compressed Sensing., , , , , , , and . Remote. Sens., 15 (9): 2478 (May 2023)Estimating Total Traffic Volume with Statistical Modeling Approach., , , , , , and . ITSC, page 304-309. IEEE, (2022)A Cross-Topic Method for Supervised Relevance Classification.. W-NUT@EMNLP, page 147-152. Association for Computational Linguistics, (2019)Revisiting Mobility Modeling with Graph: A Graph Transformer Model for Next Point-of-Interest Recommendation., , , , , , , and . SIGSPATIAL/GIS, page 94:1-94:10. ACM, (2023)Spatio-Temporal Meta-Graph Learning for Traffic Forecasting., , , , , , , , and . AAAI, page 8078-8086. AAAI Press, (2023)Cloud-based Hint Application of Relevant Meeting Materials Using OCR and ASR Text Information., , , , , and . UCC, page 201-202. ACM, (2017)Remote Sensing Object Detection Based on Strong Feature Extraction and Prescreening Network., , , , , , and . IEEE Geosci. Remote. Sens. Lett., (2023)Accelerating Software Model Checking Based on Program Backbone., , , , , and . APPT, volume 8299 of Lecture Notes in Computer Science, page 347-358. Springer, (2013)A novel optimization approach for revenue maximization in mobile data pricing., , , , and . ICC, page 6918-6923. IEEE, (2015)Improving software model checking on program backbone within distributed system., , , , and . ICIA, page 35-40. IEEE, (2014)