| 2023 | EUSFLAT | Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm. | Ivana Micic, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen |
| 2023 | EUSFLAT | On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees. | Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen |
| 2021 | KES | Optimization Models for Medical Procedures Relocation. | Linh Anh Nguyen, Andrzej Szalas |
| 2019 | ICCCI | Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gdel Semantics. | Linh Anh Nguyen, Ngoc Thanh Nguyen |
| 2016 | SMC | Bisimilarity for paraconsistent description logics. | Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha |
| 2014 | ADBIS | An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. | Son Thanh Cao, Linh Anh Nguyen |
| 2013 | ICCCI | Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
| 2012 | ICCCI | On C-Learnability in Description Logics. | Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen |
| 2012 | ICCCI | Query-Subquery Nets. | Linh Anh Nguyen, Son Thanh Cao |
| 2011 | ICCCI | On the Web Ontology Rule Language OWL 2 RL. | Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas |
| 2011 | ICCCI | A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. | Linh Anh Nguyen |
| 2011 | ISMIS | Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic | Linh Anh Nguyen |
| 2009 | CADE | A Tableau Calculus for Regular Grammar Logics with Converse. | Linh Anh Nguyen, Andrzej Szalas |
| 2009 | ICCCI | ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic | Linh Anh Nguyen, Andrzej Szalas |
| 2009 | IDC | Fusing Approximate Knowledge from Distributed Sources. | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
| 2007 | ICLP | Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. | Linh Anh Nguyen |
| 2007 | TABLEAUX | EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. | Rajeev Gor, Linh Anh Nguyen |
| 2006 | AiML | On the Deterministic Horn Fragment of Test-free PDL. | Linh Anh Nguyen |
| 2006 | JELIA | A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic | Linh Anh Nguyen |
| 2006 | MFCS | The Data Complexity of MDatalog in Basic Modal Logics. | Linh Anh Nguyen |
| 2005 | ADBIS | On Modal Deductive Databases. | Linh Anh Nguyen |
| 2005 | ICTAC | An SLD-Resolution Calculus for Basic Serial Multimodal Logics. | Linh Anh Nguyen |
| 2005 | TABLEAUX | A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. | Rajeev Gor, Linh Anh Nguyen |
| 2004 | AiML | On the Complexity of Fragments of Modal Logics. | Linh Anh Nguyen |
| 2004 | ICLP | MProlog: An Extension of Prolog for Modal Logic Programming. | Linh Anh Nguyen |
| 2004 | JELIA | The Modal Logic Programming System MProlog. | Linh Anh Nguyen |
| 2004 | JELIA | Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. | Linh Anh Nguyen |
| 2002 | TABLEAUX | Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. | Linh Anh Nguyen |
| 2000 | TABLEAUX | Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. | Linh Anh Nguyen |
| 1999 | MFCS | A New Space Bound for the Modal Logics K4, KD4 and S4. | Linh Anh Nguyen |