Skip to contents

  1. Krishna, Siddharth [Author] ; Summers, Alex J. [Other]; Wies, Thomas [Other]

    Local Reasoning for Global Graph Properties

    Videos
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  2. Krishna, Siddharth [Author] ; Emmi, Michael [Other]; Enea, Constantin [Other]; Jovanović, Dejan [Other]

    Verifying Visibility-Based Weak Consistency

    Videos
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)

  3. Barman, Siddharth [Author]; Bhaskar, Umang [Author]; Krishna, Anand [Author]; Sundaram, Ranjani G. [Author] ; Siddharth Barman and Umang Bhaskar and Anand Krishna and Ranjani G. Sundaram [Contributor]

    Tight Approximation Algorithms for p-Mean Welfare Under Subadditive Valuations

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

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