( en | de | ru )

 

Disambiguation of "Jiang, Zhe"

Author of the publication

copydeleteadd this publication to your clipboard
Apply Formal Methods in Certifying the SyberX High-Assurance Kernel.

, , , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 788-798. Springer, (2021)

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.

Zhe Wang

Zhe Zhang

Zhe Lin

Zhe Sun

Zhe Wang

 

Other publications of authors with the same name

A Survey on Spatial Prediction Methods.. IEEE Trans. Knowl. Data Eng., 31 (9): 1645-1664 (2019)UKF based two-timescale control for a helicopter., and . ICARCV, page 1-5. IEEE, (2016)Cross-Modality Knowledge Calibration Network for Video Corpus Moment Retrieval., , , , and . IEEE Trans. Multim., (2024)An Efficient End-to-End Deep Learning Training Framework via Fine-Grained Pattern-Based Pruning., , , , , , , , , and 1 other author(s). CoRR, (2020)Re-Thinking Mixed-Criticality Architecture for Automotive Industry., , , , , , and . ICCD, page 510-517. IEEE, (2020)Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems., , , , and . RTSS, page 38-50. IEEE, (2020)Learning to See in the Dark with Events., , , , , and . ECCV (18), volume 12363 of Lecture Notes in Computer Science, page 666-682. Springer, (2020)A Hidden Markov Forest Model for Terrain-Aware Flood Inundation Mapping from Earth Imagery., , , , , , and . SDM, page 316-324. SIAM, (2023)Research on the Influence of Dehazing Algorithm on YOLOv3 Target Recognition., , , and . ICISCAE (IEEE), page 471-475. IEEE, (2021)Timing-Accurate General-Purpose I/O for Multi- and Many-Core Systems: Scheduling and Hardware Support., , , , , and . DAC, page 1-6. IEEE, (2020)