The Impact of Apple Orchard Edge Plants on Communities of Pimplinae (Hymenoptera, Ichneumonidae)
Piekarska-Boniecka, Hanna, Zyprych-Walczak, Jolanta, Siatkowski, Idzi, Dolańska-Niedbała, Ewa, Trzciński, Paweł, Rzańska-Wieczorek, Marta, Dinh, Duong Tran
Published in Journal of Entomological Research Society (01.01.2018)
Get full text
Published in Journal of Entomological Research Society (01.01.2018)
Journal Article
THE NUMBER AND ABUNDANCE OF ICHNEUMONIDAE (HYMENOPTERA, APOCRITA) SUBFAMILIES OCCURRING IN APPLE ORCHARDS AND ON THEIR EDGES
Piekarska-Boniecka, Hanna, Zyprych-Walczak, Jolanta, Rzańska-Wieczorek, Marta, Dinh, Duong Tran, Siatkowski, Idzi
Published in Acta scientiarum Polonorum. Hortorum cultus (Ogrodnictwo) (01.01.2018)
Published in Acta scientiarum Polonorum. Hortorum cultus (Ogrodnictwo) (01.01.2018)
Get full text
Journal Article
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
Tran, Duong Dinh, Ogata, Kazuhiro, Escobar, Santiago, Akleylek, Sedat, Otmani, Ayoub
Published in IEEE access (2024)
Published in IEEE access (2024)
Get full text
Journal Article
Kyber, Saber, and SK-MLWR Lattice-Based Key Encapsulation Mechanisms Model Checking with Maude
Tran, Duong Dinh, Ogata, Kazuhiro, Escobar, Santiago, Akleylek, Sedat, Otmani, Ayoub
Published in IET information security (30.10.2023)
Published in IET information security (30.10.2023)
Get full text
Journal Article
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Tran, Duong Dinh, Do, Canh Minh, Escobar, Santiago, Ogata, Kazuhiro
Published in PeerJ. Computer science (22.09.2023)
Published in PeerJ. Computer science (22.09.2023)
Get full text
Journal Article
The bee genus Anthidiellum in Vietnam: descriptions of five new species and the first male of Anthidiellum coronum (Hymenoptera, Megachilidae)
Tran, Ngat Thi, Engel, Michael S, Nguyen, Cuong Quang, Tran, Duong Dinh, Nguyen, Lien Thi Phuong
Published in ZooKeys (02.02.2023)
Published in ZooKeys (02.02.2023)
Get full text
Journal Article
Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving
Bui, Dang Duy, Tran, Duong Dinh, Ogata, Kazuhiro, Riesco, Adrian
Published in Multimedia tools and applications (01.04.2024)
Published in Multimedia tools and applications (01.04.2024)
Get full text
Journal Article
Two new species of Trichrysis Lichtenstein (Hymenoptera: Chrysididae) from Vietnam and China, with taxonomic notes on other species from the Oriental region
Nguyen, Lien Thi Phuong, Wiśniowski, Bogdan, Tran, Ngat Thi, Tran, Duong Dinh, Rosa, Paolo
Published in Zootaxa (04.10.2022)
Published in Zootaxa (04.10.2022)
Get more information
Journal Article
Lemma Weakening for State Machine Invariant Proofs
Tran, Duong Dinh, Bui, Dang Duy, Gupta, Parth, Ogata, Kazuhiro
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)
Published in 2020 27th Asia-Pacific Software Engineering Conference (APSEC) (01.12.2020)
Get full text
Conference Proceeding
IPSG: Invariant Proof Score Generator
Tran, Duong Dinh, Ogata, Kazuhiro
Published in 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) (01.06.2022)
Published in 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) (01.06.2022)
Get full text
Conference Proceeding
Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol
Liu, Minxuan, Bui, Dang Duy, Tran, Duong Dinh, Ogata, Kazuhiro
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01.12.2021)
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01.12.2021)
Get full text
Conference Proceeding