Manas Patra

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

3 Manas Patra: A Logic for Quantum Circuits and Protocols. ICTAC 2005: 424-438

2003

2 Ron van der Meyden, Manas Patra: A Logic for Probability in Quantum Systems. CSL 2003: 427-440

1 Ron van der Meyden, Manas Patra: Knowledge in quantum systems. TARK 2003: 104-117

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

Coauthor Index

1 Ron van der Meyden [1] [2]