Manas K. Patra

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