Get started
Author

David Wang

Observed names: David Cheng-Ping Wang, Wang, David
OpenAlex ID: A5113540248
tBurton: A Divide and Conquer Temporal Planner
2015 · David Wang, Brian Williams · Proceedings of the AAAI Conference on Artificial Intelligence · 23
Temporal Landmarks: What Must Happen, and When
2015 · Erez Karpas, David Wang, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 16
PDF
Automated Semantic Correlation between Multiple Schema for Information Exchange
2000 · David Wang · DSpace@MIT (Massachusetts Institute of Technology) · 10
PDF
Efficiently Exploring Ordering Problems through Conflict-Directed Search
2021 · Jingkai Chen, Cheng Fang, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2
PDF
A factored planner for the temporal coordination of autonomous systems
2015 · David Cheng-Ping Wang · DSpace@MIT (Massachusetts Institute of Technology) · 2
PDF
Formally Verified Certification of Unsolvability of Temporal Planning Problems
2025 · Wang, David, Abdulaziz, Mohammad · arXiv (Cornell University) · 1
PDF
A method for mapping between ASMs and implementation language
2010 · David Cheng-Ping Wang · DSpace@MIT (Massachusetts Institute of Technology)
Security Analysis to Server Cache Synchronization Protocol
1998 · David Wang, Alice Wang
Works count: 9
Citation count: 54
H-index: 3
I10-index: 3
Year
Topic
Type