#### Filter Results:

- Full text PDF available (12)

#### Publication Year

2003

2018

- This year (1)
- Last 5 years (6)
- Last 10 years (13)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Ron van der Meyden, Manas K. Patra
- TARK
- 2003

This paper applies to quantum systems a modelling for the logic of knowledge, originally developed for reasoning about distributed systems, but since then applied to game theory, computer securityâ€¦ (More)

- Manas K. Patra, Stefano Pironio, Serge Massar
- Physical review letters
- 2013

The quantum state Ïˆ is a mathematical object used to determine the probabilities of different outcomes when measuring a physical system. Its fundamental nature has been the subject of discussionsâ€¦ (More)

- Ron van der Meyden, Manas K. Patra
- CSL
- 2003

Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to describe quantumâ€¦ (More)

- Manas K. Patra
- ICTAC
- 2005

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

Generalized probabilistic theories (GPT) provide a general framework that includes classical and quantum theories. It is described by a cone C and its dual Câˆ—. We show that whether some one-wayâ€¦ (More)

- Samuel L. Braunstein, Manas K. Patra
- Physical review letters
- 2011

Verlinde recently suggested that gravity, inertia, and even spacetime may be emergent properties of an underlying thermodynamic theory. This vision was motivated in part by Jacobson's 1995 surpriseâ€¦ (More)

This paper aims to explore the inherent connection between Heisenberg groups, quantum Fourier transform (QFT) and (quasi-probability) distribution functions. Distribution functions for continuous andâ€¦ (More)

- Manas K. Patra, Samuel L. Braunstein
- 2010 IEEE International Symposium on Informationâ€¦
- 2010

This work proposes an algebraic model for classical information theory. We first give an algebraic model of probability theory. Information theoretic constructs are based on this model. In additionâ€¦ (More)

- Manas K. Patra
- 2011

We pose and solve a problem concerning consistent assignment of quantum probabilities to a set of bases associated with maximal projective measurements. We show that our solution is optimal. We alsoâ€¦ (More)

- Ron van der Meyden, Manas K. Patra
- TARK
- 2015

We investigate the decidability of model-checking logics of time, knowledge and probability, with respect to two epistemic semantics: the clock and synchronous perfect recall semantics in partiallyâ€¦ (More)