Manas K. Patra

According to our database, Manas K. Patra authored at least 10 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic.

Ron van der Meyden, Manas K. Patra

ACM Trans. Comput. Log., 2020

2015

Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract).

Ron van der Meyden, Manas K. Patra

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

2013

An algebraic framework for information theory: classical information.

Manas K. Patra, Samuel L. Braunstein

IMA J. Math. Control. Inf., 2013

Generalised probabilistic theories and conic extensions of polytopes.

Samuel Fiorini, Serge Massar, Manas K. Patra, Hans Raj Tiwary

CoRR, 2013

2011

Zero-error subspaces of quantum channels.

Samuel L. Braunstein, David W. Kribs, Manas K. Patra

Proceedings of the 2011 IEEE International Symposium on Information Theory Proceedings, 2011

2010

An algebraic approach to information theory.

Manas K. Patra, Samuel L. Braunstein

Proceedings of the IEEE International Symposium on Information Theory, 2010

2008

An Algebraic Characterization of Security of Cryptographic Protocols

Manas K. Patra, Yan Zhang

CoRR, 2008

2005

A Logic for Quantum Circuits and Protocols.

Manas K. Patra

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Knowledge in quantum systems.

Ron van der Meyden, Manas K. Patra

Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), 2003

A Logic for Probability in Quantum Systems.

Ron van der Meyden, Manas K. Patra

Proceedings of the Computer Science Logic, 17th International Workshop, 2003