Yu Yang

Planning robust drone-truck delivery routes under road traffic uncertainty

Yu Yang, Chiwei Yan, Yufeng Cao et al. · European Journal of Operational Research · 2023 · 75 citations

Path Planning, Road Traffic Uncertainty, Engineering +6

An exact algorithm for the multi-trip vehicle routing and scheduling problem of pickup and delivery of customers to the airport

Jiafu Tang, Yu Yang, Jia Li · Transportation Research Part E Logistics and Transportation Review · 2014 · 50 citations

Route Choice, Transport Network Analysis, Engineering +12

Symbolic pruning of concurrent program executions

Chao Wang, Swarat Chaudhuri, Aarti Gupta et al. · 2009 · 42 citations

Program Checking, Engineering, Verification +19

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan et al. · 2006 · 26 citations

Engineering, Verification, Computer-aided Verification +18

Battery valuation and management for battery swapping station

Xinjiang Chen, Yu Yang, Jianxiao Wang et al. · Energy · 2023 · 23 citations

Electric Battery, Electrical Engineering, Engineering +6