Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. - Hridesh Rajan; Jia Tao 001; Steve M. Shaner; Gary T. Leavens (ESOP, 2009)

Secrecy-Preserving Query Answering for Instance Checking in EL mathcal{EL}. - Jia Tao 001; Giora Slutzki; Vasant G. Honavar (RR, 2010)

PSPACE Tableau Algorithms for Acyclic Modalized $ boldsymbol{ mathcal{ALC}}$. - Jia Tao 001; Giora Slutzki; Vasant G. Honavar (J. Autom. Reason., 2012)

A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases. - Jia Tao 001; Giora Slutzki; Vasant G. Honavar (ACM Trans. Comput. Log., 2014)

Budget-Constrained Knowledge in Multiagent Systems. - Pavel Naumov; Jia Tao 001 (AAMAS, 2015)

Shared genetic architecture in autoimmune disease - preliminary analysis. - Leqi Liu; Jia Tao 001; Ziyan Yang; Fadi Towfic (BIBM, 2015)

The Budget-Constrained Functional Dependency. - Pavel Naumov; Jia Tao 001 (CoRR, 2015)

Logic of confidence. - Pavel Naumov; Jia Tao 001 (Synth., 2015)

Coalition Power in Epistemic Transition Systems. - Pavel Naumov; Jia Tao 001 (AAMAS, 2017)

Together We Know How to Achieve: An Epistemic Logic of Know-How (Extended Abstract). - Pavel Naumov; Jia Tao 001 (TARK, 2017)

Price of privacy. - Pavel Naumov; Jia Tao 001 (J. Appl. Log., 2017)

Marketing impact on diffusion in social networks. - Pavel Naumov; Jia Tao 001 (J. Appl. Log., 2017)

A modal logic for reasoning about economic policies. - Pavel Naumov; Jia Tao 001 (J. Log. Comput., 2017)

Knowledge in communication networks. - Pavel Naumov; Jia Tao 001 (J. Log. Comput., 2017)

Information Flow under Budget Constraints. - Pavel Naumov; Jia Tao 001 (ACM Trans. Comput. Log., 2017)

Strategic Coalitions With Perfect Recall. - Pavel Naumov; Jia Tao 001 (AAAI, 2018)

Second-Order Know-How Strategies. - Pavel Naumov; Jia Tao 001 (AAMAS, 2018)

Together we know how to achieve: An epistemic logic of know-how. - Pavel Naumov; Jia Tao 001 (Artif. Intell., 2018)

Blameworthiness in Games with Imperfect Information. - Pavel Naumov; Jia Tao 001 (CoRR, 2018)

Blameworthiness in Strategic Games. - Pavel Naumov; Jia Tao 001 (AAAI, 2019)

Knowing-how under uncertainty. - Pavel Naumov; Jia Tao 001 (Artif. Intell., 2019)

A PSpace Algorithm for Acyclic Epistemic DL ALCS5m. - Jia Tao 001 (J. Autom. Reason., 2019)

Everyone Knows that someone Knows: Quantifiers over Epistemic Agents. - Pavel Naumov; Jia Tao 001 (Rev. Symb. Log., 2019)

Blameworthiness in Security Games. - Pavel Naumov; Jia Tao 001 (AAAI, 2020)

Duty to Warn in Strategic Games. - Pavel Naumov; Jia Tao 001 (AAMAS, 2020)

Knowing-How under Uncertainty (Extended Abstract). - Pavel Naumov; Jia Tao 001 (IJCAI, 2020)

An epistemic logic of blameworthiness. - Pavel Naumov; Jia Tao 001 (Artif. Intell., 2020)

Two Forms of Responsibility in Strategic Games. - Pavel Naumov; Jia Tao 001 (IJCAI, 2021)

Attainable Knowledge and Omniscience. - Pavel Naumov; Jia Tao 001 (TARK, 2021)

Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries. - Samik Basu 001; Vasant G. Honavar; Ganesh Ram Santhanam; Jia Tao 001 (ECAI, 2023)

Counterfactual and seeing-to-it responsibilities in strategic games. - Pavel Naumov; Jia Tao 001 (Ann. Pure Appl. Log., 2023)

An egocentric logic of de dicto and de re knowing who. - Sophia Epstein; Pavel Naumov; Jia Tao 001 (J. Log. Comput., 2024)