( en | de | ru )

 

Disambiguation of "Duong, Tan"

Author of the publication

copydeleteadd this publication to your clipboard
AErlang: Empowering Erlang with attribute-based communication.

, , , and . Sci. Comput. Program., (2018)

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.

Duong tan Phuoc

Duong Can

Duong Ngoc Tuan

Duong Minh Nhan

Thanh Tu Duong

 

Other publications of authors with the same name

A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 377-396. Springer, (2019)Provably correct implementation of the AbC calculus., , and . Sci. Comput. Program., (2021)Verifying AbC Specifications via Emulation., , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 261-279. Springer, (2020)ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication., , and . COORDINATION, volume 11533 of Lecture Notes in Computer Science, page 111-128. Springer, (2019)Password recovery for encrypted ZIP archives using GPUs., , , , and . SoICT, volume 449 of ACM International Conference Proceeding Series, page 28-33. ACM, (2010)Robust Adaptive Control Strategy for a Bidirectional DC-DC Converter Based on Extremum Seeking and Sliding Mode Control., , , , , , and . Sensors, 23 (1): 457 (2023)A Novel Hybrid Recommendation System Integrating Content-Based and Rating Information., , , , , , and . NBiS, volume 1036 of Advances in Intelligent Systems and Computing, page 325-337. Springer, (2019)Offline gain adjustment with constraints for contour error reduction in high speed milling., , , , and . AIM, page 201-206. IEEE, (2016)Deadbeat Control With Bivariate Online Parameter Identification for SPS-Modulated DAB Converters., and . IEEE Access, (2022)Utilizing Half Convolutional Autoencoder to Generate User and Item Vectors for Initialization in Matrix Factorization., , , , , and . Future Internet, 14 (1): 20 (2022)