Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Gerardo
    Last name: Schneider
    DBLP: 01/1333
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 75  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Thibaud Antignac, David Sands, Gerardo Schneider.
    Data Minimisation: A Language-Based Approach.
    ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings 2017 (0) 2017
    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
    Conference paper
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    Natural Language Processing and Information Systems - 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings 2016 (0) 2016
    Journal article
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider.
    Contract automata - An operational view of contracts between interactive parties.
    Artif. Intell. Law 2016, Volume 24 (0) 2016
    Conference paper
    Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider.
    A Privacy-Aware Conceptual Model for Handling Personal Data.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider.
    StaRVOOrS - Episode II - Strengthen and Distribute the Force.
    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I 2016 (0) 2016
    Conference paper
    Gerardo Schneider.
    On the Specification and Enforcement of Privacy-Preserving Contractual Agreements.
    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
    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
    Journal article
    Thibaud Antignac, David Sands, Gerardo Schneider.
    Data Minimisation: a Language-Based Approach (Long Version).
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 10 of 75  

    Your query returned 75 matches in the database.