 |
个人信息：Personal Information
副教授 研究生导师
主要任职：计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
性别：男
毕业院校：西安电子科技大学
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：2018-03-09
学科：计算机软件与理论
办公地点：西安电子科技大学南校区网安大楼A308
电子邮箱：
扫描关注
- [1]A Knowledge-based Temporal Planning Approach for Urban Traffic Control.IEEE Transactions on Intelligent Transportation Systems (中科院一区).2020
- [2]P2P Network Based Smart Parking System Using Edge Computing.Mobile Networks and Applications.2020 (25):2226–2239
- [3]A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.SOFL+MSVL 2019 Workshop.2019 :141–154
- [4]崔进.An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL.SOFL+MSVL 2019 Workshop.2019 :61–72
- [5]Planning with Spatio-Temporal Search Control Knowledge.IEEE Transactions on Knowledge and Data Engineering (TKDE，CCF A类，中科院二区).2018,30 (10):1915-1928
- [6]Verify heaps via unified model checking.Theoretical Computer Science (TCS，CCF B类、理论计算机科学著名国际期刊).2018
- [7]Temporalising Separation Logic for Planning with Search Control Knowledge.The 26th International Joint Conferences on Artificial Intelligence (IJCAI 2017，CCF A类、人工智能领域顶级会议).2017 :1167-1173
- [8]Using Unified Model Checking to Verify Heaps.The 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2016，CCF C类、理论计算机科学高水平会议).2016,LNCS 10043 :735-743
- [9]二维逻辑PPTL^SL的可满足性检查.软件学报.2016,27 (3):670-681
- [10]Integrating Separation Logic with PPTL.The 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013).2013,LNCS 8332 :35-47
|
|