Nikolaos Papanikolaou

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Health Insurance

Top Venues

Sci. Comput. Program.

University of Warwick, Coventry, UK (PHD)

Education History

University of Warwick, Coventry, UK

PHD

Publications

Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith
Refinement checking for privacy policies. Sci. Comput. Program. 77 (10-11) (2012)
Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou
Static Analysis of Information Release in Interactive Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
QMC: A Model Checker for Quantum Systems. CAV (2008)
Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
Exogenous Probabilistic Computation Tree Logic. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams
Simulating and Compiling Code for the Sequential Quantum Random Access Machine. Electron. Notes Theor. Comput. Sci. 170 (2007)
Nikolaos Papanikolaou
Logic Column 13: Reasoning Formally about Quantum Systems: An Overview CoRR (2005)
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
Probabilistic Model-Checking of Quantum Protocols CoRR (2005)
Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
An Automated Analysis of the Security of Quantum Key Distribution CoRR (2005)
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) (2005)
Nikolaos Papanikolaou
Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover. SIGACT News 36 (2) (2005)