Nick Papanikolaou
University of Warwick
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2012 | ||
|---|---|---|
| 14 | Nick Wainwright, Nick Papanikolaou: Introduction: The FIA Research Roadmap, Priorities for Future Internet Research. Future Internet Assembly 2012: 1-5 | |
| 13 | Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou: Model Checking for Communicating Quantum Processes. IJUC 8(1): 73-98 (2012) | |
| 2010 | ||
| 12 | Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson: EnCoRe: Towards a Holistic Approach to Privacy. SECRYPT 2010: 171-176 | |
| 11 | Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou: Static Analysis of Information Release in Interactive Programs. ECEASST 35: (2010) | |
| 10 | Nick Papanikolaou: The space and motion of communicating agents author: Robin Milner publisher: cambridge university press, 2009 isbn 978-0-521-73833-0. SIGACT News 41(3): 51-55 (2010) | |
| 2008 | ||
| 9 | Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547 | |
| 2007 | ||
| 8 | 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) | |
| 7 | Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007) | |
| 2005 | ||
| 6 | Nick Papanikolaou: An introduction to quantum cryptography. ACM Crossroads 11(3): 3 (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) | |
| 1 | Adedayo Oyelakin Adetoye | [11] |
| 2 | Pedro Baltazar | [7] |
| 3 | Garry Bowen | [5] |
| 4 | Sadie Creese | [12] |
| 5 | Timothy A. S. Davidson | [13] |
| 6 | Simon J. Gay | [3] [5] [9] [13] |
| 7 | Michael Goldsmith | [12] |
| 8 | Paulo Mateus | [7] |
| 9 | Hynek Mlnarik | [13] |
| 10 | Marco Casassa Mont | [12] |
| 11 | Rajagopal Nagarajan | [3] [5] [7] [8] [9] [13] |
| 12 | Siani Pearson | [12] |
| 13 | Nick Wainwright | [14] |
| 14 | David Williams | [8] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page