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 80  
    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
    Conference paper
    Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider.
    Specification, design, and verification of an accountability-aware surveillance protocol.
    Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017 2017 (0) 2017
    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
    Journal article
    John J. Camilleri, Normunds Gruzitis, Gerardo Schneider.
    Extracting Formal Models from Normative Texts.
    CoRR 2017, Volume 0 (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
    John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider.
    A Web-Based Tool for Analysing Normative Documents in English.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider.
    Verifying data- and control-oriented properties combining static and runtime verification: theory and tools.
    Formal Methods in System Design 2017, Volume 51 (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
    Conference paper
    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
    Show item 1 to 10 of 80  

    Your query returned 80 matches in the database.