E-LIB Suche - Ergebnisse für: Duong, Tran Dinh

1

Auditing of Environmental Management in Industrial Zones of..:

Hien, Tran Thi ; Hieu, Nguyen Khac ; Duong, Tran Dinh..
Archives of Business Research. 10 (2022) 8 - p. 74-98 , 2022

Link: https://doi.org/10.14738..

2

Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Tra..:

Tran, Duong Dinh ; Ogata, Kazuhiro ; Escobar, Santiago..
IEEE Access. 12 (2024) - p. 1672-1687 , 2024

Link: https://doi.org/10.1109/..

3

Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation M..:

Tran, Duong Dinh ; Ogata, Kazuhiro ; Escobar, Santiago...
IET Information Security. 2023 (2023) - p. 1-17 , 2023

Link: https://doi.org/10.1049/..

4

The bee genus Anthidiellum in Vietnam: descriptions of five..:

Tran, Ngat Thi ; Engel, Michael S. ; Nguyen, Cuong Quang..
ZooKeys. 1144 (2023) - p. 171-196 , 2023

Link: https://doi.org/10.3897/..

5

Integration of state machine graphical animation and Maude ..:

Bui, Dang Duy ; Tran, Duong Dinh ; Ogata, Kazuhiro.
Multimedia Tools and Applications. 83 (2023) 12 - p. 36865-36898 , 2023

Link: https://doi.org/10.1007/..

6

Transport Layer Security 1.0 handshake protocol formal veri..:

Tran, Duong Dinh ; Wai Mon, Thet ; Ogata, Kazuhiro
PeerJ Computer Science. 9 (2023) - p. e1284 , 2023

Link: https://doi.org/10.7717/..

7

Formal verification of TLS 1.2 by automatically generating ..:

Tran, Duong Dinh ; Ogata, Kazuhiro
Computers & Security. 123 (2022) - p. 102909 , 2022

Link: https://doi.org/10.1016/..

8

IPSG: Invariant Proof Score Generator:

, In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC),

Tran, Duong Dinh ; Ogata, Kazuhiro - p. 1050-1055 , 2022

Link: https://doi.org/10.1109/..

9

Simulation-Based Invariant Verification Technique for the O..:

Tran, Duong Dinh ; Bui, Dang Duy ; Ogata, Kazuhiro
IEEE Access. 9 (2021) - p. 93847-93870 , 2021

Link: https://doi.org/10.1109/..

10

Formal Specification and Model Checking of an Autonomous Ve..:

, In: 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C),

Liu, Minxuan ; Bui, Dang Duy ; Tran, Duong Dinh. - p. 333-342 , 2021

Link: https://doi.org/10.1109/..

11

A method for Automated User Interface Testing of Windows-ba..:

, In: Proceedings of the Ninth International Symposium on Information and Communication Technology,

Dinh, Duong Tran ; Hung, Pham Ngoc ; Duy, Tung Nguyen - p. 337-343 , 2018

Link: https://dl.acm.org/doi/1..

12

FIGURE 7 in First record of the genus Testudobracon Quicke,..:

Mai, Pham Quynh ; Long, Khuat Dang ; Hiep, Nguyen Duc..
doi:10.11646/zootaxa.5244.5.5. , 2023

Link: https://zenodo.org/recor..

13

FIGURE 5 in First record of the genus Testudobracon Quicke,..:

Mai, Pham Quynh ; Long, Khuat Dang ; Hiep, Nguyen Duc..
doi:10.11646/zootaxa.5244.5.5. , 2023

Link: https://zenodo.org/recor..

14

FIGURES 8a–k in First record of the genus Testudobracon Qui..:

Mai, Pham Quynh ; Long, Khuat Dang ; Hiep, Nguyen Duc..
doi:10.11646/zootaxa.5244.5.5. , 2023

Link: https://zenodo.org/recor..

15

FIGURE 3 in First record of the genus Testudobracon Quicke,..:

Mai, Pham Quynh ; Long, Khuat Dang ; Hiep, Nguyen Duc..
doi:10.11646/zootaxa.5244.5.5. , 2023

Link: https://zenodo.org/recor..