Zhongxing Xu

According to our database1, Zhongxing Xu authored at least 12 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Polyp-Mamba: Polyp Segmentation with Visual Mamba.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2024, 2024

OphNet: A Large-Scale Video Benchmark for Ophthalmic Surgical Workflow Understanding.
Proceedings of the Computer Vision - ECCV 2024, 2024

Hunting Attributes: Context Prototype-Aware Learning for Weakly Supervised Semantic Segmentation.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2024

2023
DuAT: Dual-Aggregation Transformer Network for Medical Image Segmentation.
Proceedings of the Pattern Recognition and Computer Vision - 6th Chinese Conference, 2023

2015
Melton: a practical and precise memory leak detection tool for C programs.
Frontiers Comput. Sci., 2015

2014
Canalyze: a static bug-finding tool for C programs.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

2011
Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs.
Proceedings of the 11th International Conference on Quality Software, 2011

Memory Leak Detection Based on Memory State Transition Graph.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
A Memory Model for Static Analysis of C Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008
Path and Context Sensitive Inter-procedural Memory Leak Detection.
Proceedings of the Eighth International Conference on Quality Software, 2008

2006
A Test Data Generation Tool for Unit Testing of C Programs.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Finding Relations Among Linear Constraints.
Proceedings of the Artificial Intelligence and Symbolic Computation, 2006


  Loading...