Duong Dinh Tran - JoVE Visualize

Showing results (1-10 of 6) with videos related to

Pageof 1

Sort By:

Peerj. Computer Science|June 22, 2023

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scoresDuong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata

Peerj. Computer Science|October 9, 2023

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel versionDuong Dinh Tran, Canh Minh Do, Santiago Escobar, et al.

Zootaxa|December 8, 2024

First record of the genus Palpostilpnus Aubert (Ichneumonidae: Phygadeuontinae) from Vietnam, with descriptions of eight new speciesNhi Thi Pham, Mao-Ling Sheng, Clara Park, et al.

Zootaxa|July 6, 2026

<b>Review of the genus <i>Anterhynchium</i> de Saussure (Hymenoptera: Vespidae: Eumeninae) from Vietnam, with the description of a new species and a key to the Oriental species</b>Hoa Thi Dang, Duong Dinh Tran, Anh Duc Nguyen, et al.

Zootaxa|April 12, 2023

Two new species of Trichrysis Lichtenstein (Hymenoptera: Chrysididae) from Vietnam and China, with taxonomic notes on other species from the Oriental regionLien Thi Phuong Nguyen, Bogdan Wiśniowski, Ngat Thi Tran, et al.

Zookeys|May 22, 2023

The bee genus <i>Anthidiellum</i> in Vietnam: descriptions of five new species and the first male of <i>Anthidiellumcoronum</i> (Hymenoptera, Megachilidae)Ngat Thi Tran, Michael S Engel, Cuong Quang Nguyen, et al.

Pageof 1

Showing results (1-10 of 6) with videos related to

Sort By:

Pageof 1

Peerj. Computer Science|June 22, 2023

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scoresDuong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata

Peerj. Computer Science|October 9, 2023

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel versionDuong Dinh Tran, Canh Minh Do, Santiago Escobar, et al.

Zootaxa|December 8, 2024

First record of the genus Palpostilpnus Aubert (Ichneumonidae: Phygadeuontinae) from Vietnam, with descriptions of eight new speciesNhi Thi Pham, Mao-Ling Sheng, Clara Park, et al.

Zootaxa|July 6, 2026

<b>Review of the genus <i>Anterhynchium</i> de Saussure (Hymenoptera: Vespidae: Eumeninae) from Vietnam, with the description of a new species and a key to the Oriental species</b>Hoa Thi Dang, Duong Dinh Tran, Anh Duc Nguyen, et al.

Zootaxa|April 12, 2023

Two new species of Trichrysis Lichtenstein (Hymenoptera: Chrysididae) from Vietnam and China, with taxonomic notes on other species from the Oriental regionLien Thi Phuong Nguyen, Bogdan Wiśniowski, Ngat Thi Tran, et al.

Zookeys|May 22, 2023

The bee genus <i>Anthidiellum</i> in Vietnam: descriptions of five new species and the first male of <i>Anthidiellumcoronum</i> (Hymenoptera, Megachilidae)Ngat Thi Tran, Michael S Engel, Cuong Quang Nguyen, et al.

Pageof 1