Jie Zhang
Orcid: 0000-0002-8438-2573Affiliations:
- University of Chemical Technology, College of Information Science and Technology, Beijing, China
According to our database1,
Jie Zhang
authored at least 33 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
3
1
1
1
1
2
1
2
3
1
1
1
2
1
2
6
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
From GPT-4 to Gemini and Beyond: Assessing the Landscape of MLLMs on Generalizability, Trustworthiness and Causality through Four Modalities.
CoRR, 2024
Towards Tracing Trustworthiness Dynamics: Revisiting Pre-training Period of Large Language Models.
Proceedings of the Findings of the Association for Computational Linguistics, 2024
2022
IEEE Trans. Image Process., 2022
2021
Neurocomputing, 2021
2020
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems.
J. Syst. Archit., 2020
Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020
2019
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019
2018
Visual Tracking With Weighted Adaptive Local Sparse Appearance Model via Spatio-Temporal Context Learning.
IEEE Trans. Image Process., 2018
Proceedings of the 2018 IEEE SmartWorld, 2018
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
2016
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).
计算机科学, 2016
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).
计算机科学, 2016
Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016
2015
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform).
计算机科学, 2015
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
2014
J. Appl. Math., 2014
Proceedings of the Intelligent Information Processing VII, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
A framework of model checking guided test vector generation for the 6DOF manipulator.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
2013
J. Appl. Math., 2013
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013
2008
Proceedings of the Fifth International Conference on Fuzzy Systems and Knowledge Discovery, 2008