| |
| 2005 | ||
|---|---|---|
| 3 | EE | Manas Patra: A Logic for Quantum Circuits and Protocols. ICTAC 2005: 424-438 |
| 2003 | ||
| 2 | EE | Ron van der Meyden, Manas Patra: A Logic for Probability in Quantum Systems. CSL 2003: 427-440 |
| 1 | EE | Ron van der Meyden, Manas Patra: Knowledge in quantum systems. TARK 2003: 104-117 |
| 1 | Ron van der Meyden | [1] [2] |