Jie An
Orcid: 0000-0001-9260-9697Affiliations:
- National Institute of Informatics, Tokyo, Japan
- Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany (former)
- Tongji University, School of Software Engineering, Shanghai, China (former, PhD 2020)
According to our database1,
Jie An
authored at least 13 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
2020
Sci. China Inf. Sci., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
2019
High-Speed Rail Operating Environment Recognition Based on Neural Network and Adversarial Training.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018