Thuy Nguyen
Orcid: 0000-0002-9358-6201
According to our database1,
Thuy Nguyen
authored at least 32 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Identifying and fixing ambiguities in, and semantically accurate formalisation of, behavioural requirements.
Softw. Syst. Model., December, 2024
Interactive network visualization of opioid crisis research: a tool for reinforcing data linkage skills for public health policy researchers.
Frontiers Artif. Intell., 2024
Retrospectively Using Multilayer Deception in Depth Against Advanced Persistent Threats.
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
2023
CoRR, 2023
Predicting Agricultural Commodities Prices with Machine Learning: A Review of Current Research.
CoRR, 2023
Ensemble Learning of Myocardial Displacements for Myocardial Infarction Detection in Echocardiography.
CoRR, 2023
Proceedings of the 12th International Symposium on Information and Communication Technology, 2023
Food Security Amid Natural Disasters and Geographic Impacts: A Study of the 2017 Hurricane Harvey's Effect on U.S. Retail Baby Food Markets.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2023
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023
2022
Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
2021
Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers.
Softw. Test. Verification Reliab., 2021
2020
Information Seeking Responses to News of Local COVID-19 Cases: Evidence from Internet Search Data.
CoRR, 2020
Design of Visual Deficit Simulation for Integration into a Geriatric Physical Diagnosis Course.
Proceedings of the 2020 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2020
2019
Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems.
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2017
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017
A modelling & simulation based engineering approach for socio-cyber-physical systems.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017
2016
Formal Requirements Engineering for Smart Industries: Toward a Model-Based Graphical Language.
Proceedings of the 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, 2016
Models composition in FORM-L: Study of complex socio-cyber-physical systems and large scale systems of systems.
Proceedings of the 11th System of Systems Engineering Conference, 2016
2015
Proceedings of the Context-Aware Systems and Applications - 4th International Conference, 2015
2014
Robust dose-response curve estimation applied to high content screening data analysis.
Source Code Biol. Medicine, 2014
2012
J. Comput. Civ. Eng., 2012
EDDE: A framework to Explore, Design, Develop and Evaluate Technology-Assisted Instruction for Construction Engineering and Management.
J. Inf. Technol. Constr., 2012
2011
Cognitive task analysis of superintendent's work: Case study and critique of supporting information technologies.
J. Inf. Technol. Constr., 2011
The uniform controllability property of semidiscrete approximations for the parabolic distributed parameter systems in Banach spaces
CoRR, 2011
Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering.
Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011
2009
Proceedings of the 2009 IEEE International Conference on Computing and Communication Technologies, 2009
Failure-aware Scheduling in Grid Computing Environments.
Proceedings of the 2009 International Conference on Grid Computing & Applications, 2009
2008
Anomaly Detection and its Application in Grid.
Proceedings of the 2008 International Conference on Grid Computing & Applications, 2008
On Architecture of the Economic-aware Data Grid.
Proceedings of the 2008 International Conference on Grid Computing & Applications, 2008
2003
Dependability Assessment of Safety-Critical System Software by Static Analysis Methods.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003