| 2008 |
|---|
| 8 | EE | Simon J. Gay,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
QMC: A Model Checker for Quantum Systems.
CAV 2008: 543-547 |
| 2007 |
|---|
| 7 | EE | 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 | EE | 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 | EE | 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 | EE | Nikolaos Papanikolaou:
Logic Column 13: Reasoning Formally about Quantum Systems: An Overview
CoRR abs/cs/0508005: (2005) |
| 3 | EE | Simon J. Gay,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
Probabilistic Model-Checking of Quantum Protocols
CoRR abs/quant-ph/0504007: (2005) |
| 2 | EE | 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 | EE | 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) |
