Belief Revision in a Fact-Rule Agent's Belief Base. - Hai H. Nguyen (KES-AMSTA, 2009)

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. - Hai H. Nguyen; Natasha Alechina; Brian Logan 001 (Description Logics, 2012)

A new approach for pin detection for an electronic system prototyping reconfigurable platform. - Hai H. Nguyen; Mikael Guillemot; Yvon Savaria; Yves Blaquière (RSP, 2012)

Multi-Cycle Query Caching in Agent Programming. - Natasha Alechina; Tristan M. Behrens; Mehdi Dastani; Koen V. Hindriks; Jomi Fred Hübner; Brian Logan 001; Hai H. Nguyen; Marc van Zee (AAAI, 2013)

CURIOS Mobile: Linked Data Exploitation for Tourist Mobile Apps in Rural Areas. - Hai H. Nguyen; David E. Beel; Gemma Webster; Chris Mellish; Jeff Z. Pan; Claire Wallace (JIST, 2014)

A Lightweight Treatment of Inexact Dates. - Hai H. Nguyen; Stuart Taylor; Gemma Webster; Nophadol Jekjantuk; Chris Mellish; Jeff Z. Pan; Tristan ap Rheinallt; Kate Byrne (JIST, 2014)

CURIOS: Web-based Presentation and Management of Linked Datasets. - Hai H. Nguyen; Stuart Taylor; Gemma Webster; Nophadol Jekjantuk; Chris Mellish; Jeff Z. Pan; Tristan ap Rheinallt (ISWC (Posters & Demos), 2014)

The Ubiquitous Semantic Web: Promises, Progress and Challenges. - Yuan-Fang Li; Jeff Z. Pan; Shonali Krishnaswamy; Manfred Hauswirth; Hai H. Nguyen (Int. J. Semantic Web Inf. Syst., 2014)

Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. - Heshan Du; Hai H. Nguyen; Natasha Alechina; Brian Logan 001; Michael Jackson 005; John Goodwin (AAAI, 2015)

CURIOS: Connecting Community Heritage through Linked Data. - Gemma Webster; Hai H. Nguyen; David E. Beel; Chris Mellish; Claire D. Wallace; Jeff Z. Pan (CSCW, 2015)

A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices. - Edgaras Valincius; Hai H. Nguyen; Jeff Z. Pan (ORE, 2015)

Success Stories. - Marco Monti; Fernanda Perego; Yuting Zhao; Guido Vetere; José Manuél Gómez-Pérez; Panos Alexopoulos; Hai H. Nguyen; Gemma Webster; Boris Villazón-Terrazas; Nuria García-Santa; Jeff Z. Pan (Exploiting Linked Data and Knowledge Graphs in Large Organisations, 2017)

Secure Computation Based on Leaky Correlations: High Resilience Setting. - Alexander R. Block; Hemanta K. Maji; Hai H. Nguyen (CRYPTO (2), 2017)

Secure Computation using Leaky Correlations (Asymptotically Optimal Constructions). - Alexander R. Block; Divya Gupta 001; Hemanta K. Maji; Hai H. Nguyen (IACR Cryptol. ePrint Arch., 2018)

Secure Computation with Constant Communication Overhead using Multiplication Embeddings. - Alexander R. Block; Hemanta K. Maji; Hai H. Nguyen (IACR Cryptol. ePrint Arch., 2018)

P4-free Partition and Cover Numbers. - Alexander R. Block; Simina Brânzei; Hemanta K. Maji; Himanshi K. Mehta; Tamalika Mukherjee; Hai H. Nguyen (IACR Cryptol. ePrint Arch., 2020)

Secure Non-interactive Simulation: Hardness & Feasibility. - Hamidreza Amini Khorasgani; Hemanta K. Maji; Hai H. Nguyen (IACR Cryptol. ePrint Arch., 2020)

P4-free Partition and Cover Numbers & Applications. - Alexander R. Block; Simina Brânzei; Hemanta K. Maji; Himanshi K. Mehta; Tamalika Mukherjee; Hai H. Nguyen (ITC, 2021)

Lower Bounds for Leakage-Resilient Secret-Sharing Schemes against Probing Attacks. - Donald Q. Adams; Hemanta K. Maji; Hai H. Nguyen; Minh L. Nguyen; Anat Paskin-Cherniavsky; Tom Suad; Mingyuan Wang 001 (ISIT, 2021)

Decidability of Secure Non-interactive Simulation of Doubly Symmetric Binary Source. - Hamidreza Amini Khorasgani; Hemanta K. Maji; Hai H. Nguyen (IACR Cryptol. ePrint Arch., 2021)

Leakage-resilience of the Shamir Secret-sharing Scheme against Physical-bit Leakages. - Hemanta K. Maji; Hai H. Nguyen; Anat Paskin-Cherniavsky; Tom Suad; Mingyuan Wang 001 (IACR Cryptol. ePrint Arch., 2021)

Tight Estimate of the Local Leakage Resilience of the Additive Secret-Sharing Scheme & Its Consequences. - Hemanta K. Maji; Hai H. Nguyen; Anat Paskin-Cherniavsky; Tom Suad; Mingyuan Wang 001; Xiuyu Ye; Albert Yu 003 (ITC, 2022)

Secure Non-interactive Simulation: Feasibility and Rate. - Hamidreza Amini Khorasgani; Hemanta K. Maji; Hai H. Nguyen (EUROCRYPT (3), 2022)

Geometry of Secure Two-party Computation. - Saugata Basu; Hamidreza Amini Khorasgani; Hemanta K. Maji; Hai H. Nguyen (FOCS, 2022)

Improved Bound on the Local Leakage-resilience of Shamir's Secret Sharing. - Hemanta K. Maji; Hai H. Nguyen; Anat Paskin-Cherniavsky; Mingyuan Wang 001 (ISIT, 2022)

Secure Non-interactive Simulation from Arbitrary Joint Distributions. - Hamidreza Amini Khorasgani; Hemanta K. Maji; Hai H. Nguyen (TCC (2), 2022)

Leakage-resilient Linear Secret-sharing Against Arbitrary Bounded-size Leakage Family. - Hemanta K. Maji; Hai H. Nguyen; Anat Paskin-Cherniavsky; Tom Suad; Mingyuan Wang 001; Xiuyu Ye; Albert Yu 003 (TCC (1), 2022)

Randomized Functions with High Round Complexity. - Saugata Basu; Hamidreza Amini Khorasgani; Hemanta K. Maji; Hai H. Nguyen (TCC (1), 2023)

Towards Breaking the Half-Barrier of Local Leakage-Resilient Shamir's Secret Sharing. - Hai H. Nguyen (CRYPTO (5), 2024)

Constructing Leakage-Resilient Shamir's Secret Sharing: Over Composite Order Fields. - Hemanta K. Maji; Hai H. Nguyen; Anat Paskin-Cherniavsky; Xiuyu Ye (EUROCRYPT (4), 2024)

Unconditional Security using (Random) Anonymous Bulletin Board. - Albert Yu 003; Hai H. Nguyen; Aniket Kate; Hemanta K. Maji (IACR Cryptol. ePrint Arch., 2024)

Leakage-Resilience of Shamir's Secret Sharing: Identifying Secure Evaluation Places. - Jihun Hwang; Hemanta K. Maji; Hai H. Nguyen; Xiuyu Ye (ITC, 2025)

Physical-Bit Leakage Resilience of Linear Code-Based Secret Sharing. - Hai H. Nguyen (EUROCRYPT (8), 2025)

Disincentivize Collusion in Verifiable Secret Sharing. - Tiantian Gong; Aniket Kate; Hemanta K. Maji; Hai H. Nguyen (IACR Cryptol. ePrint Arch., 2025)