A Logic for Probability in Quantum Systems. - Ron van der Meyden; Manas K. Patra (CSL, 2003)

Knowledge in quantum systems. - Ron van der Meyden; Manas K. Patra (TARK, 2003)

A Logic for Quantum Circuits and Protocols. - Manas K. Patra (ICTAC, 2005)

An Algebraic Characterization of Security of Cryptographic Protocols - Manas K. Patra; Yan Zhang (CoRR, 2008)

An algebraic approach to information theory. - Manas K. Patra; Samuel L. Braunstein (ISIT, 2010)

Zero-error subspaces of quantum channels. - Samuel L. Braunstein; David W. Kribs; Manas K. Patra (ISIT, 2011)

Generalised probabilistic theories and conic extensions of polytopes. - Samuel Fiorini; Serge Massar; Manas K. Patra; Hans Raj Tiwary (CoRR, 2013)

An algebraic framework for information theory: classical information. - Manas K. Patra; Samuel L. Braunstein (IMA J. Math. Control. Inf., 2013)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). - Ron van der Meyden; Manas K. Patra (TARK, 2015)

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. - Ron van der Meyden; Manas K. Patra (ACM Trans. Comput. Log., 2020)