( en | de | ru )

 

Disambiguierung von "Li, Yongjian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanizing the CMP Abstraction for Parameterized Verification.

, , und . Proc. ACM Program. Lang., 8 (OOPSLA1): 1324-1350 (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Yongjian Huang

Yongjian Bao

Yongjian Hu

Yongjian Ding

Li Li

 

Weitere Publikationen von Autoren mit dem selben Namen

Bisimulation for Higher-Order Pi-calculus., und . APLAS, Seite 216-229. (2002)Mechanized proofs for the parameter abstraction and guard strengthening principle in parameterized verification of cache coherence protocols.. SAC, Seite 1534-1535. ACM, (2007)Optimisation of reverse supply chain with used-product collection effort under collector's fairness concerns., , , , und . Int. J. Prod. Res., 59 (2): 652-663 (2021)Simultaneous Measurement of Multiparameter of Diesel Engine Exhaust Based on Mid-Infrared Laser Absorption Spectroscopy., , , und . IEEE Trans. Instrum. Meas., (2023)Accelerated Verification of Parametric Protocols with Decision Trees., , , , und . ICCD, Seite 397-404. IEEE, (2020)Diagnosis of atrial fibrillation using self-complementary attentional convolutional neural network., , , , , , und . Comput. Methods Programs Biomed., (August 2023)An inductive approach to strand spaces., und . Formal Aspects Comput., 25 (4): 465-501 (2013)Pavement Area Water Detection Algorithm Based on Improved DEEPLABV3+., , , und . CCRIS, Seite 93-97. ACM, (2022)A new decentralized approach for the lot sizing problem of durable products with demand substitution., und . INDIN, Seite 343-348. IEEE, (2009)Enhanced symbolic simulation of a round-robin arbiter., , , und . ICCD, Seite 102-107. IEEE Computer Society, (2011)