( en | de | ru )

 

Disambiguation of "Chen, Yixiang"

Author of the publication

copydeleteadd this publication to your clipboard
On divergence-sensitive weak probabilistic bisimilarity.

, , and . Inf. Comput., (June 2023)

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. You can also use the button next to the name to display some publications already assigned to the person.

Yixiang Xu

Yixiang Hua

Yixiang Gan

Yixiang Liao

Chen Chen

 

Other publications of authors with the same name

A new metric model for trustworthiness of softwares., and . Telecommun. Syst., 51 (2-3): 95-105 (2012)Quantitative Analysis of Lattice-valued Kripke Structures., , , and . Fundam. Informaticae, 135 (3): 269-293 (2014)Land Cover Change Detection Based on Adaptive Contextual Information Using Bi-Temporal Remote Sensing Images., , , , and . Remote Sensing, 10 (6): 901 (2018)A Quantitative Relation Model between Trustworthy Attributes., and . QLSC, volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)Two-thirds simulation indexes and modal logic characterization., , , and . Frontiers Comput. Sci. China, 5 (4): 454-471 (2011)A Self-Adaptive Traffic Light Control System Based on Speed of Vehicles., , and . QRS Companion, page 382-388. IEEE, (2016)Efficient tasks scheduling in multicore systems integrated with hardware accelerators., , and . J. Supercomput., 79 (7): 7244-7271 (May 2023)A Novel Real-Time Traffic Signal Control Strategy for Emergency Vehicles., and . IEEE Access, (2022)A Framework for Data-Driven Automata Design., , and . APRES, volume 558 of Communications in Computer and Information Science, page 33-47. Springer, (2015)A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems., , , and . Sci. Comput. Program., (2021)