Nikolaos Papanikolaou

Nick Papanikolaou

University of Warwick

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

8EESimon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
7EERajagopal 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)
6EEPedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)
5EERajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution CoRR abs/cs/0502048: (2005)
4EENikolaos Papanikolaou: Logic Column 13: Reasoning Formally about Quantum Systems: An Overview CoRR abs/cs/0508005: (2005)
3EESimon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)
2EENikolaos Papanikolaou: Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover. SIGACT News 36(2): 8-13 (2005)
1EENikolaos 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

1Pedro Baltazar [6]
2Garry Bowen [5]
3Simon J. Gay [3] [5] [8]
4Paulo Mateus [6]
5Rajagopal Nagarajan [3] [5] [6] [7] [8]
6David Williams [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)