Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Nikolaos
    Last name: Papanikolaou
    DBLP: p/NikolaosPapanikolaou
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 28  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Emmanuel Karampasis, Nikolaos Papanikolaou, Dionisis Voglitsis, Michael Loupis, Anastasios Psarras, Alexandros Boubaris, Dimitris Baros, Giorgos Dimitrakopoulos.
    Active Thermoelectric Cooling Solutions for Airspace Applications: the THERMICOOL Project.
    IEEE Access 2017, Volume 5 (0) 2017
    Conference paper
    Kostas Marias, Katerina Nikiforaki, Georgios C. Manikis, Eleftherios Kontopodis, Nikolaos Papanikolaou.
    Visualizing tumor environment with perfusion and diffusion MRI: Computational challenges.
    Short Paper Proceedings of the 33rd Computer Graphics International, Heraklion, Greece, June 28 - July 1, 2016 2016 (0) 2016
    Conference paper
    Georgios C. Manikis, Katerina Nikiforaki, Nikolaos Papanikolaou, Kostas Marias.
    Diffusion Modelling Tool (DMT) for the analysis of Diffusion Weighted Imaging (DWI) Magnetic Resonance Imaging (MRI) data.
    Short Paper Proceedings of the 33rd Computer Graphics International, Heraklion, Greece, June 28 - July 1, 2016 2016 (0) 2016
    Journal article
    Nikolaos Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan K. L. Ko.
    A toolkit for automating compliance in cloud computing services.
    IJCC 2014, Volume 3 (0) 2014
    Conference paper
    Marianthi Theoharidou, Nikolaos Papanikolaou, Siani Pearson, Dimitris Gritzalis.
    Privacy Risk, Security, Accountability in the Cloud.
    IEEE 5th International Conference on Cloud Computing Technology and Science, CloudCom 2013, Bristol, United Kingdom, December 2-5, 2013, Volume 1 2013 (0) 2013
    Conference paper
    Travis D. Breaux, David G. Gordon, Nikolaos Papanikolaou, Siani Pearson.
    Mapping legal requirements to IT controls.
    Sixth International Workshop on Requirements Engineering and Law, RELAW 2013, 16 July, 2013, Rio de Janeiro, Brasil 2013 (0) 2013
    Journal article
    Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nikolaos Papanikolaou.
    Model Checking for Communicating Quantum Processes.
    IJUC 2012, Volume 8 (0) 2012
    Conference paper
    Nick Wainwright, Nikolaos Papanikolaou.
    Introduction: The FIA Research Roadmap, Priorities for Future Internet Research.
    The Future Internet - Future Internet Assembly 2012: From Promises to Reality 2012 (0) 2012
    Conference paper
    Marco Casassa Mont, Kieran McCorry, Nikolaos Papanikolaou, Siani Pearson.
    Security and Privacy Governance in Cloud Computing via SLAs and a Policy Orchestration Service.
    CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18 - 21 April, 2012 2012 (0) 2012
    Conference paper
    Nikolaos Papanikolaou, Siani Pearson, Marco Casassa Mont, Ryan K. L. Ko.
    Automating Compliance for Cloud Computing Services.
    CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18 - 21 April, 2012 2012 (0) 2012
    Conference paper
    Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith.
    Refinement checking for privacy policies.
    Sci. Comput. Program. 2012, Volume 77 (0) 2012
    Conference paper
    Nikolaos Papanikolaou.
    Review of algorithms and theory of computation handbook by Mikhail J. Atallah and Marina Blanton.
    SIGACT News 2012, Volume 43 (0) 2012
    Conference paper
    Nikolaos Papanikolaou.
    Natural Language Processing of Rules and Regulations for Compliance in the Cloud.
    On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part II 2012 (0) 2012
    Journal article
    Nikolaos Papanikolaou.
    The space and motion of communicating agents author: Robin Milner publisher: cambridge university press, 2009 isbn 978-0-521-73833-0.
    SIGACT News 2010, Volume 41 (0) 2010
    Conference paper
    Nikolaos Papanikolaou, Sadie Creese, Michael Goldsmith, Marco Casassa Mont, Siani Pearson.
    EnCoRe: Towards a Holistic Approach to Privacy.
    SECRYPT 2010 - Proceedings of the International Conference on Security and Cryptography, Athens, Greece, July 26-28, 2010, SECRYPT is part of ICETE - The International Joint Conference on e-Business and Telecommunications 2010 (0) 2010
    Journal article
    Adedayo Oyelakin Adetoye, Nikolaos Papanikolaou.
    Static Analysis of Information Release in Interactive Programs.
    ECEASST 2010, Volume 35 (0) 2010
    Conference paper
    Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nikolaos Papanikolaou.
    Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
    Privacy and Identity Management for Life - 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers 2011 (0) 2010
    Conference paper
    Marco Casassa Mont, Siani Pearson, Sadie Creese, Michael Goldsmith, Nikolaos Papanikolaou.
    A Conceptual Model for Privacy Policies with Consent and Revocation Requirements.
    Privacy and Identity Management for Life - 6th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Helsingborg, Sweden, August 2-6, 2010, Revised Selected Papers 2011 (0) 2010
    Conference paper
    Ioannis Agrafiotis, Sadie Creese, Michael Goldsmith, Nikolaos Papanikolaou.
    Reaching for Informed Revocation: Shutting Off the Tap on Personal Data.
    Privacy and Identity Management for Life - 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers 2010 (0) 2009
    Conference paper
    Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou.
    QMC: A Model Checker for Quantum Systems.
    Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Rajagopal Nagarajan, Nikolaos Papanikolaou, David Williams.
    Simulating and Compiling Code for the Sequential Quantum Random Access Machine.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 170 (0) 2007
    Conference paper
    Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou.
    Exogenous Probabilistic Computation Tree Logic.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 190 (0) 2007
    Conference paper
    Nikolaos Papanikolaou.
    An introduction to quantum cryptography.
    ACM Crossroads 2004, Volume 11 (0) 2005
    Conference paper
    Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay.
    An Automated Analysis of the Security of Quantum Key Distribution
    CoRR 2005, Volume 0 (0) 2005
    Conference paper
    Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou.
    Probabilistic Model-Checking of Quantum Protocols
    CoRR 2005, Volume 0 (0) 2005
    Show item 1 to 25 of 28  

    Your query returned 28 matches in the database.