Nikolaos Papanikolaou

Nick Papanikolaou

University of Warwick

other persons with the same name:

• Nikolaos Papanikolaou - National Technical University of Athens

	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)

Coauthor Index

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