Follow
Nguyen Thanh Binh
Nguyen Thanh Binh
researcher of computer science, JKU
Verified email at ins.jku.at
Title
Cited by
Cited by
Year
Hydrologic evaluation of the Lower Mekong River Basin with the soil and water assessment tool model
CG Rossi, R Srinivasan, K Jirayoot, T Le Duc, P Souvannabouth, N Binh, ...
International Agricultural Engineering Journal 18 (1), 1, 2009
852009
Lockedge: Low-complexity cyberattack detection in iot edge computing
TT Huong, TP Bac, DM Long, BD Thang, NT Binh, TD Luong, TK Phuc
IEEE Access 9, 29696-29710, 2021
752021
Politics, ecology and water: the Mekong Delta and development of the Lower Mekong Basin
C Sneddon, NT Binh
Living with Environmental Change, 256-284, 2012
272012
Vietnam: the challenge of integrating disaster risk reduction and climate change adaptation
M Garschagen, NT Binh, LN Thach
Addressing the challenge: recommendations and quality criteria for linking …, 2009
72009
Abstractions for security protocol verification
BT Nguyen, C Sprenger, C Cremers
Journal of Computer Security 26 (4), 459-508, 2018
52018
Sound security protocol transformations
BT Nguyen, C Sprenger
International Conference on Principles of Security and Trust, 83-104, 2013
52013
Unification in the Description Logic without the Top Concept
F Baader, NT Binh, S Borgwardt, B Morawska
International Conference on Automated Deduction, 70-84, 2011
52011
Vulnerability assessment to salinity intrusion in the Mekong Delta
NT Binh
Scientific Report in Can Tho University, Vietnam, Code T2011-57, 2011
52011
Deciding Unifiability and Computing Local Unifiers in the Description Logic without Top Constructor
F Baader, NT Binh, S Borgwardt, B Morawska
42016
Computing Local Unifiers in the Description Logic EL without the Top Concept.
F Baader, NT Binh, S Borgwardt, B Morawska
UNIF, 2-8, 2011
12011
Factors Affecting Risk Attitude of Rice Farmers: Evidence from Vietnam’s Mekong Delta
KTP Dong, PD Khoi, PH Nhung, NT Binh, TTH Phuc
Journal of Risk and Financial Management 15 (7), 278, 2022
2022
LocKedge: Low-Complexity Cyberattack Detection in IoT Edge Computing
T Thu Huong, T Phuong Bac, DM Long, BD Thang, NT Binh, TD Luong, ...
arXiv e-prints, arXiv: 2011.14194, 2020
2020
Deciding Unifiability and Computing Local Unifiers in the Description Logic without Top Constructor
F Baader, NT Binh, S Borgwardt, B Morawska
2016
Journal Articles and Book Chapters
F Baader, NT Binh, S Borgwardt, BM Deciding
Journal of Web Semantics 33, 50-70, 2015
2015
Integrated flood risk assessment for the Mekong Delta through the combined assessment of flood hazard change and social vulnerability
M Garschagen, H Apel, J Delgado, NV Dung, VV Tuan, NT Binh, ...
Mekong Environmental Symposium (Ho Chi Minh City, Vietnam 2013), 2013
2013
Politics, ecology and water: The Mekong Delta and development ofthe Lower Mekong Basin
C Sneddon, NT Binh
Living with Environmental Change, 234-262, 2012
2012
Attack-preserving Security Protocol Transformations
BT Nguyen, D Basin, C Sprenger
ESSoS Doctoral Symposium, 2012
2012
Decidability of unification in EL without top constructor
NT Binh
International Conference on Web Reasoning and Rule Systems, 170-184, 2011
2011
Unification in the Description Logic EL Without Top Constructor
F Baader, NT Binh, S Borgwardt, B Morawska
2011
HEALTH AND PLOUGHING CAPACITY OF NATIVE MEKONG-DELTA BUFFALOES WITH MULTINUTRITIONAL CAKE SUPPLEMENTATION
TT Nguyen van Thu, NT Binh
Buffalo Bulletin (September 1993) 12 (3), 0
The system can't perform the operation now. Try again later.
Articles 1–20