Publications :: Search

Show author

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

    Author information
    First name: Raúl
    Last name: Pardo
    DBLP: 117/3450
    Rating: (not rated yet)

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

    Show item 1 to 10 of 11  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider.
    Secure Photo Sharing in Social Networks.
    ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings 2017 (0) 2017
    Journal article
    Raúl Pardo, Musard Balliu, Gerardo Schneider.
    Formalising privacy policies in social networks.
    J. Log. Algebr. Meth. Program. 2017, Volume 90 (0) 2017
    Conference paper
    Raúl Pardo, César Sánchez, Gerardo Schneider.
    Timed Epistemic Knowledge Bases for Social Networks (Extended Version).
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Raúl Pardo, Gerardo Schneider.
    Model Checking Social Network Models.
    Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. 2017, Volume 256 (0) 2017
    Conference paper
    Gordon J. Pace, Raúl Pardo, Gerardo Schneider.
    On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks.
    Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II 2016 (0) 2016
    Conference paper
    Raúl Pardo, Ivana Kellyerova Cesar Sanchez, Gerardo Schneider.
    Specification of Evolving Privacy Policies for Online Social Networks.
    23rd International Symposium on Temporal Representation and Reasoning, TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016 2016 (0) 2016
    Conference paper
    Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider.
    An Automata-Based Approach to Evolving Privacy Policies for Social Networks.
    Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Raúl Pardo, Gerardo Schneider.
    A Formal Privacy Policy Framework for Social Networks.
    Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Raúl Pardo, Fernando López Pelayo, Pedro Valero-Lara.
    GPU Powered ROSA Analyzer.
    42nd International Conference on Parallel Processing, ICPP 2013, Lyon, France, October 1-4, 2013 2013 (0) 2013
    Conference paper
    Raúl Pardo, Fernando López Pelayo.
    Computational analysis of Canny Binary Fuzzy Rough Set model based on Triangle Modulus Edge Detectors.
    11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2012, Kyoto, Japan, August 22-24, 2012 2012 (0) 2012
    Show item 1 to 10 of 11  

    Your query returned 11 matches in the database.