Manas K. Patra

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 1

Top Topics

Formal Verification

Epistemic Logic

Top Venues

ACM Trans. Comput. Log.

IMA J. Math. Control. Inf.

Publications

Ron van der Meyden, Manas K. Patra
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. ACM Trans. Comput. Log. 21 (4) (2020)
Ron van der Meyden, Manas K. Patra
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic. CoRR (2015)
Ron van der Meyden, Manas K. Patra
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract). TARK (2015)
Manas K. Patra, Samuel L. Braunstein
An algebraic framework for information theory: classical information. IMA J. Math. Control. Inf. 30 (2) (2013)
Samuel Fiorini, Serge Massar, Manas K. Patra, Hans Raj Tiwary
Generalised probabilistic theories and conic extensions of polytopes. CoRR (2013)
Samuel L. Braunstein, David W. Kribs, Manas K. Patra
Zero-error subspaces of quantum channels. ISIT (2011)
Manas K. Patra, Samuel L. Braunstein
An algebraic approach to information theory. ISIT (2010)
Manas K. Patra, Samuel L. Braunstein
An algebraic approach to information theory CoRR (2010)
Manas K. Patra, Samuel L. Braunstein
An algebraic framework for information theory: Classical Information CoRR (2009)
Manas K. Patra, Yan Zhang
An Algebraic Characterization of Security of Cryptographic Protocols CoRR (2008)
Manas K. Patra
A Logic for Quantum Circuits and Protocols. ICTAC (2005)
Ron van der Meyden, Manas K. Patra
A Logic for Probability in Quantum Systems. CSL (2003)
Ron van der Meyden, Manas K. Patra
Knowledge in quantum systems. TARK (2003)