Zheng Wang
Harbin University(CN)Qingdao University of Science and Technology(CN)
Publications by Year
Research Areas
Formal Methods in Verification, Decision-Making and Behavioral Economics, Computational Drug Discovery Methods, Matrix Theory and Algorithms, Process Optimization and Integration
Most-Cited Works
- → Statistical Model Checking for Networks of Priced Timed Automata(2011)150 cited
- → UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata(2012)146 cited
- → Time for Statistical Model Checking of Real-Time Systems(2011)144 cited
- → Multidimensions of Media Multitasking and Adaptive Media Selection(2014)137 cited
- → USING FUZZY LINGUISTICS TO SELECT OPTIMUM MAINTENANCE AND CONDITION MONITORING STRATEGIES(2001)114 cited
- → Motivational Processing and Choice Behavior During Television Viewing: An Integrative Dynamic Approach(2011)94 cited
- → Interference effects of categorization on decision making(2016)59 cited
- → Backstepping-Based Lyapunov Function Construction Using Approximate Dynamic Programming and Sum of Square Techniques(2016)37 cited
- → Pyridinyl aminohydantoins as small molecule BACE1 inhibitors(2010)34 cited
- → Is there a problem with quantum models of psychological measurements?(2017)26 cited