Personal Information
Associate professor Supervisor of Master's Candidates
Academic Titles:计算机科学与技术学院计算理论与技术研究所本硕博师联合党支部书记
Paper Publications
- Luxury,YUBIN.A Knowledge-based Temporal Planning Approach for Urban Traffic Control.[J]:IEEE Transactions on Intelligent Transportation Systems (中科院一区),2020
- ZHANGNAN,Zhifeng Sun,Ting Zhang.P2P Network Based Smart Parking System Using Edge Computing.[J]:Mobile Networks and Applications,2020(25):2226–2239
- Luxury,Yansong Dong,Wensheng Wang,Runzhe Ma,Yifeng Li,Qing Feng.A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.[C]:Structured Object-Oriented Formal Language and Method-9th International Workshop, SOFL+MSVL 2019,2019:141–154
- Jin Cui,Buwen Liang.An Approach to Modeling and Verifying Multi-level Interrupt Systems with TMSVL.[C]:SOFL+MSVL 2019 Workshop,2019:61–72
- Luxury,堵宏伟.Planning with Spatio-Temporal Search Control Knowledge.[J].IEEE Xplore Digital Library:IEEE Transactions on Knowledge and Data Engineering (TKDE，CCF A类，中科院二区),2018,30(10):1915-1928
- Luxury,堵宏伟.Verify heaps via unified model checking.[J].Elsevier:Theoretical Computer Science (TCS，CCF B类、理论计算机科学著名国际期刊),2018
- Luxury,Temporalising Separation Logic for Planning with Search Control Knowledge.[C]:The 26th International Joint Conferences on Artificial Intelligence (IJCAI 2017，CCF A类、人工智能领域顶级会议),2017:1167-1173
- Luxury,Using Unified Model Checking to Verify Heaps.[C]:The 10th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2016，CCF C类、理论计算机科学高水平会议),2016,LNCS 10043:735-743
- Luxury,Checking satisfiability of two-dimensional logic PPTL^SL.[J].中国北京:Journal of Software,2016,27(3):670-681
- Luxury,TIANCONG,刘鸿瑾.Integrating Separation Logic with PPTL.[C]:The 3rd International Workshop on SOFL + MSVL (SOFL+MSVL 2013),2013,LNCS 8332:35-47
| TOTAL 10 PIECE 1/1 | FIRSTPREVIOUSNEXTLAST |