Personal Information:
Associate professor graduate teacher
Academic Titles:计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
Paper Publications
- [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.Structured Object-Oriented Formal Language and Method-9th International Workshop, SOFL+MSVL 2019.2019:141–154
- [4]Jin Cui.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]Checking satisfiability of two-dimensional logic PPTL^SL.Journal of Software.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
| |