Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Gavin
    Last name: Lowe
    DBLP: 84/5569
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 62  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Gavin Lowe.
    Analysing Lock-Free Linearizable Datatypes Using CSP.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney Nogueira, Colin O'Halloran, Augusto Sampaio.
    FDR: From Theory to Industrial Application.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Gavin Lowe.
    Concurrent depth-first search algorithms based on Tarjan's Algorithm.
    STTT 2016, Volume 18 (0) 2016
    Conference paper
    Gavin Lowe.
    Models for CSP with availability information.
    Mathematical Structures in Computer Science 2016, Volume 26 (0) 2016
    Conference paper
    Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe.
    Verifying layered security protocols.
    Journal of Computer Security 2015, Volume 23 (0) 2015
    Journal article
    Tomasz Mazur, Gavin Lowe.
    CSP-based counter abstraction for systems with node identifiers.
    Sci. Comput. Program. 2014, Volume 81 (0) 2014
    Conference paper
    Gavin Lowe.
    Concurrent Depth-First Search Algorithms.
    Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, A. W. Roscoe.
    Model checking Timed CSP.
    HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday 2014 (0) 2014
    Journal article
    Alessandro Armando, Gavin Lowe.
    Preface.
    Journal of Computer Security 2012, Volume 20 (0) 2012
    Conference paper
    Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell.
    Recent Developments in FDR.
    Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings 2012 (0) 2012
    Show item 1 to 10 of 62  

    Your query returned 62 matches in the database.