Nikolaos Papanikolaou

Nick Papanikolaou

University of Warwick

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide -

2008

8 Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547

2007

7 Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams: Simulating and Compiling Code for the Sequential Quantum Random Access Machine. Electr. Notes Theor. Comput. Sci. 170: 101-124 (2007)

6 Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)

2005

5 Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution CoRR abs/cs/0502048: (2005)

4 Nikolaos Papanikolaou: Logic Column 13: Reasoning Formally about Quantum Systems: An Overview CoRR abs/cs/0508005: (2005)

3 Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)

2 Nikolaos Papanikolaou: Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover. SIGACT News 36(2): 8-13 (2005)

1 Nikolaos Papanikolaou: Review of "Classical and Quantum Computing with C++ and Java Simulations, by Yorick Hardy and Willi-Hans Steeb", Birkhauser Verlag, 2001. SIGACT News 36(3): 5-9 (2005)

	2008
8		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
	2007
7		Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams: Simulating and Compiling Code for the Sequential Quantum Random Access Machine. Electr. Notes Theor. Comput. Sci. 170: 101-124 (2007)
6		Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)
	2005
5		Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution CoRR abs/cs/0502048: (2005)
4		Nikolaos Papanikolaou: Logic Column 13: Reasoning Formally about Quantum Systems: An Overview CoRR abs/cs/0508005: (2005)
3		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)
2		Nikolaos Papanikolaou: Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover. SIGACT News 36(2): 8-13 (2005)
1		Nikolaos Papanikolaou: Review of "Classical and Quantum Computing with C++ and Java Simulations, by Yorick Hardy and Willi-Hans Steeb", Birkhauser Verlag, 2001. SIGACT News 36(3): 5-9 (2005)

Coauthor Index