Nikolaos Papanikolaou

Nick Papanikolaou

University of Warwick

other persons with the same name:

• Nikolaos Papanikolaou 0002 - National Technical University of Athens

	2012
j10		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)
j9		Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith: Refinement checking for privacy policies. Sci. Comput. Program. 77(10-11): 1198-1209 (2012)
j8		Nick Papanikolaou: Review of algorithms and theory of computation handbook by Mikhail J. Atallah and Marina Blanton. SIGACT News 43(2): 29-32 (2012)
c6		Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan K. L. Ko: Automating Compliance for Cloud Computing Services. CLOSER 2012: 631-637
c5		Marco Casassa Mont, Kieran McCorry, Nick Papanikolaou, Siani Pearson: Security and Privacy Governance in Cloud Computing via SLAs and a Policy Orchestration Service. CLOSER 2012: 670-674
c4		Nick Wainwright, Nick Papanikolaou: Introduction: The FIA Research Roadmap, Priorities for Future Internet Research. Future Internet Assembly 2012: 1-5
c3		Nick Papanikolaou: Natural Language Processing of Rules and Regulations for Compliance in the Cloud. OTM Conferences (2) 2012: 620-627
	2010
j7		Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou: Static Analysis of Information Release in Interactive Programs. ECEASST 35 (2010)
j6		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)
c2		Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson: EnCoRe: Towards a Holistic Approach to Privacy. SECRYPT 2010: 171-176
	2008
c1		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
	2007
j5		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)
j4		Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)
	2005
j3		Nick Papanikolaou: An introduction to quantum cryptography. ACM Crossroads 11(3): 3 (2005)
j2		Nikolaos Papanikolaou: Review of "Data Privacy and Security by David Salomon"; Spring-Verlag, 2003, $51.48, Hardcover. SIGACT News 36(2): 8-13 (2005)
j1		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)
i3		Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution. CoRR abs/cs/0502048 (2005)
i2		Nikolaos Papanikolaou: Logic Column 13: Reasoning Formally about Quantum Systems: An Overview. CoRR abs/cs/0508005 (2005)
i1		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols. CoRR abs/quant-ph/0504007 (2005)

Coauthor Index

Colors in the list of coauthors

Last update Sat May 25 07:04:27 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page