( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation.

, , , , , , , , , и . FTSCS, стр. 68-79. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Zhang Zhang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Xianghui Zhang

Xianghong Zhang

Miao Zhang

 

Другие публикации лиц с тем же именем

Chaos-Genetic Algorithm for the System Identification of a Small Unmanned Helicopter., , , , , и . Journal of Intelligent and Robotic Systems, 67 (3-4): 323-338 (2012)Smart phone camera image localization method for narrow corridors based on epipolar geometry., , и . IWCMC, стр. 660-664. IEEE, (2016)Mission profile based parameter estimation of supercapacitors for reliability improvement in energy storage systems., , , , , и . IECON, стр. 6830-6835. IEEE, (2016)Pedestrian-Safety-Aware Traffic Light Control Strategy for Urban Traffic Congestion Alleviation., , и . IEEE Trans. Intell. Transp. Syst., 22 (1): 178-193 (2021)Going through the motions: AR/VR keylogging from user head motions., , , и . USENIX Security Symposium, стр. 159-174. USENIX Association, (2023)Scientific Knowledge Communication in Online Q&A Communities: Linguistic Devices as a Tool to Increase the Popularity and Perceived Professionalism of Knowledge Contribution., , , и . J. Assoc. Inf. Syst., 20 (8): 3 (2019)Antecedents and role of individual sociability on participation in mobile collaborative consumption., , , и . Internet Res., 29 (5): 1064-1089 (2019)Traffic light scheduling for pedestrians and vehicles., , , и . CCTA, стр. 1593-1598. IEEE, (2017)A MILP-based Traffic Signal Scheduling Solution with Consideration of Platoon Dispersion., и . ITSC, стр. 1-6. IEEE, (2020)Improved artificial bee colony algorithm for solving urban traffic light scheduling problem., , , и . CEC, стр. 395-402. IEEE, (2017)