![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Nikolaos Papanikolaou 0001
Person information
- affiliation: HP Labs, Cloud and Security Lab, Bristol, UK
- affiliation (PhD 2009): University of Warwick, Coventry, UK
Other persons with the same name
- Nikolaos Papanikolaou 0002 — National Technical University of Athens, Greece
- Nikolaos Papanikolaou 0003
— Champalimaud Center for the Unknown, Lisbon, Portugal
- Nikolaos Papanikolaou 0004 — University of Patras, Electrical and Computer Engineering Department, Greece
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [j9]Nick Papanikolaou, Siani Pearson
, Marco Casassa Mont, Ryan K. L. Ko
:
A toolkit for automating compliance in cloud computing services. Int. J. Cloud Comput. 3(1): 45-68 (2014) - 2013
- [c14]Marianthi Theoharidou
, Nick Papanikolaou, Siani Pearson
, Dimitris Gritzalis:
Privacy Risk, Security, Accountability in the Cloud. CloudCom (1) 2013: 177-184 - [c13]Travis D. Breaux
, David G. Gordon, Nick Papanikolaou, Siani Pearson
:
Mapping legal requirements to IT controls. RELAW 2013: 11-20 - 2012
- [j8]Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou:
Model Checking for Communicating Quantum Processes. Int. J. Unconv. Comput. 8(1): 73-98 (2012) - [j7]Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith:
Refinement checking for privacy policies. Sci. Comput. Program. 77(10-11): 1198-1209 (2012) - [j6]Nick Papanikolaou:
Review of algorithms and theory of computation handbook by Mikhail J. Atallah and Marina Blanton. SIGACT News 43(2): 29-32 (2012) - [c12]Nick Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan K. L. Ko:
Automating Compliance for Cloud Computing Services. CLOSER 2012: 631-637 - [c11]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 - [c10]Nick Wainwright, Nick Papanikolaou:
Introduction: The FIA Research Roadmap, Priorities for Future Internet Research. Future Internet Assembly 2012: 1-5 - [c9]Nick Papanikolaou:
Natural Language Processing of Rules and Regulations for Compliance in the Cloud. OTM Conferences (2) 2012: 620-627 - 2011
- [c8]Nick Papanikolaou, Siani Pearson
, Marco Casassa Mont
:
Towards Natural-Language Understanding and Automated Enforcement of Privacy Rules and Regulations in the Cloud: Survey and Bibliography. STA Workshops 2011: 166-173 - 2010
- [j5]Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou:
Static Analysis of Information Release in Interactive Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [j4]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) - [c7]Marco Casassa Mont
, Siani Pearson
, Sadie Creese, Michael Goldsmith, Nick Papanikolaou:
A Conceptual Model for Privacy Policies with Consent and Revocation Requirements. PrimeLife 2010: 258-270 - [c6]Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou:
Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements. PrimeLife 2010: 271-282 - [c5]Nick Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson:
EnCoRe: Towards a Holistic Approach to Privacy. SECRYPT 2010: 171-176
2000 – 2009
- 2009
- [b1]Nikolaos Papanikolaou:
Model checking quantum protocols. University of Warwick, Coventry, UK, 2009 - [c4]Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nick Papanikolaou:
Reaching for Informed Revocation: Shutting Off the Tap on Personal Data. PrimeLife 2009: 246-258 - 2008
- [c3]Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou:
QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547 - 2007
- [c2]Pedro Baltazar, Paulo Mateus
, Rajagopal Nagarajan, Nikolaos Papanikolaou:
Exogenous Probabilistic Computation Tree Logic. QAPL 2007: 95-110 - 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) - [c1]Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams:
Simulating and Compiling Code for the Sequential Quantum Random Access Machine. QPL 2005: 101-124 - [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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint