( en | de | ru )

 

Disambiguierung von "Guan, Yong"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalization of functional variation in HOL Light.

, , , , und . J. Log. Algebraic Methods Program., (2019)

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.

Puangrat Yongvanit

Li Yong

Karn Yongsiriwit

Kim Yonggi

Mei Yong

 

Weitere Publikationen von Autoren mit dem selben Namen

A Dynamic Neural Network Approach for Efficient Control of Manipulators., , und . IEEE Trans. Syst. Man Cybern. Syst., 49 (5): 932-941 (2019)Monaural speech separation based on MAXVQ and CASA for robust speech recognition., , , , und . Comput. Speech Lang., 24 (1): 30-44 (2010)Knowing your Bitcoin Customer: Money Laundering in the Bitcoin Economy., und . SADFE, Seite 38-45. IEEE, (2020)A testbed for evaluation and analysis of stepping stone attack attribution techniques., , , , , , und . TRIDENTCOM, IEEE, (2006)DCR: Deterministic Crash Recovery for NAND Flash Storage Systems., , , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (12): 2201-2214 (2019)An Efficient LSM-Tree-Based SQLite-Like Database Engine for Mobile Devices., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (9): 1635-1647 (2019)Checkpointing-Aware Loop Tiling for Energy Harvesting Powered Nonvolatile Processors., , , , , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 38 (1): 15-28 (2019)Secure online banking on untrusted computers., , , und . ACM Conference on Computer and Communications Security, Seite 720-722. ACM, (2010)Shepherd: A lightweight statistical authentication protocol for access control in wireless LANs., , und . Comput. Commun., 28 (14): 1618-1630 (2005)Formal Modelling and Verification of Spinlocks at Instruction Level., , , , , und . APSEC, Seite 355-362. IEEE, (2019)