Zum Inhalt springen

  2. Gardner, Philippa [Herausgeber:in]; Geerts, Floris [Sonstige Person, Familie und Körperschaft] ; DBPL 12 2009 Lyon

    Database programming languages : 12th international symposium, DBPL 2009, Lyon, France, August 24, 2009 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5708

  4. Felleisen, Matthias [Verfasser:in] ; Gardner, Philippa [Sonstige Person, Familie und Körperschaft]

    Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7792

  5. Gardner, Philippa [Sonstige Person, Familie und Körperschaft] ; CONCUR 15 2004 London

    CONCUR 2004 - Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg: Springer, 2004

    Erschienen in: Lecture notes in computer science ; 317000

  6. Gardner, Philippa [Verfasser:in] ; Yoshida, Nobuko [Sonstige Person, Familie und Körperschaft]

    CONCUR 2004 -- Concurrency Theory : 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2004

    Erschienen in: Lecture notes in computer science ; 3170

  7. Gardner, Philippa [Sonstige Person, Familie und Körperschaft]; Geerts, Floris [Sonstige Person, Familie und Körperschaft]

    Database Programming Languages : 12th International Symposium, DBPL 2009, Lyon, France, August 23-24, 2009. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5708

  8. König, Barbara [Verfasser:in]; Montanari, Ugo [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Barbara König and Ugo Montanari and Philippa Gardner [Mitwirkende:r]

    04241 Abstracts Collection – Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2005

  9. Maksimović, Petar [Verfasser:in]; Cronjäger, Caroline [Verfasser:in]; Lööw, Andreas [Verfasser:in]; Sutherland, Julian [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Petar Maksimović and Caroline Cronjäger and Andreas Lööw and Julian Sutherland and Philippa Gardner [Mitwirkende:r]

    Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  10. D'Osualdo, Emanuele [Verfasser:in]; Sutherland, Julian [Verfasser:in]; Farzan, Azadeh [Verfasser:in]; Gardner, Philippa [Verfasser:in]

    TaDA Live : Compositional Reasoning for Termination of Fine-grained Concurrent Programs

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Konstanz: KOPS Universität Konstanz, 2021

  11. Xiong, Shale [Verfasser:in]; Cerone, Andrea [Verfasser:in]; Raad, Azalea [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Shale Xiong and Andrea Cerone and Azalea Raad and Philippa Gardner [Mitwirkende:r]

    Data Consistency in Transactional Storage Systems: A Centralised Semantics

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  12. Sampaio, Gabriela [Verfasser:in]; Fragoso Santos, José [Verfasser:in]; Maksimović, Petar [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Gabriela Sampaio and José Fragoso Santos and Petar Maksimović and Philippa Gardner [Mitwirkende:r]

    A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  13. Sampaio, Gabriela [Verfasser:in]; Fragoso Santos, José [Verfasser:in]; Maksimović, Petar [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Gabriela Sampaio and José Fragoso Santos and Petar Maksimović and Philippa Gardner [Mitwirkende:r]

    A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  14. Watt, Conrad [Verfasser:in]; Maksimović, Petar [Verfasser:in]; Krishnaswami, Neelakantan R. [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Conrad Watt and Petar Maksimović and Neelakantan R. Krishnaswami and Philippa Gardner [Mitwirkende:r]

    A Program Logic for First-Order Encapsulated WebAssembly

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  15. Ntzik, Gian [Verfasser:in]; da Rocha Pinto, Pedro [Verfasser:in]; Sutherland, Julian [Verfasser:in]; Gardner, Philippa [Verfasser:in] ; Gian Ntzik and Pedro da Rocha Pinto and Julian Sutherland and Philippa Gardner [Mitwirkende:r]

    A Concurrent Specification of POSIX File Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  16. Birkedal, Lars [Verfasser:in]; Dreyer, Derek [Verfasser:in]; Gardner, Philippa [Verfasser:in]; Shao, Zhong [Verfasser:in] ; Lars Birkedal and Derek Dreyer and Philippa Gardner and Zhong Shao [Mitwirkende:r]

    Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191)

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  18. Gardner, Philippa

    Verified trustworthy software systems

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    The Royal Society, 2017

    Erschienen in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375 (2017) 2104, Seite 20150408

  20. Gardner, Philippa

    Closed action calculi

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 1999

    Erschienen in: Theoretical Computer Science, 228 (1999) 1-2, Seite 77-103