Zum Inhalt springen

  1. Krishna, Siddharth [Verfasser:in] ; Summers, Alex J. [Sonstige Person, Familie und Körperschaft]; Wies, Thomas [Sonstige Person, Familie und Körperschaft]

    Local Reasoning for Global Graph Properties

    Videos
    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.

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

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

  2. Krishna, Siddharth [Verfasser:in] ; Emmi, Michael [Sonstige Person, Familie und Körperschaft]; Enea, Constantin [Sonstige Person, Familie und Körperschaft]; Jovanović, Dejan [Sonstige Person, Familie und Körperschaft]

    Verifying Visibility-Based Weak Consistency

    Videos
    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.

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

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

  3. Barman, Siddharth [Verfasser:in]; Krishna, Anand [Verfasser:in]; Kulkarni, Pooja [Verfasser:in]; Narang, Shivika [Verfasser:in] ; Siddharth Barman and Anand Krishna and Pooja Kulkarni and Shivika Narang [Mitwirkende:r]

    Sublinear Approximation Algorithm for Nash Social Welfare with XOS Valuations

    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, 2024

  4. Barman, Siddharth [Verfasser:in]; Bhaskar, Umang [Verfasser:in]; Krishna, Anand [Verfasser:in]; Sundaram, Ranjani G. [Verfasser:in] ; Siddharth Barman and Umang Bhaskar and Anand Krishna and Ranjani G. Sundaram [Mitwirkende:r]

    Tight Approximation Algorithms for p-Mean Welfare Under Subadditive Valuations

    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

  5. Sharma, Rohit [Verfasser:in]; Iyer, Nikhil [Verfasser:in]; Sonkar, Siddharth [Verfasser:in]; G Namboothiri, Gatha [Verfasser:in]; Cholera, Mahima [Verfasser:in]; Bhojani, Roma [Verfasser:in]; Krishna, Shri [Verfasser:in]

    The NUJS Diversity Report, 2019

    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.

    [S.l.]: SSRN, 2020

  16. Dalai, Hari Krishna; Nanda, Shree; Chavali, Siddharth

    A Clinical Comparison between Intrathecal and Intravenous Infusion of Magnesium Sulphate as an Adjuvant to Hyperbaric 0.5% Bupivacaine in Spinal Anaesthesia for Elective Infraumbilical Surgeries

    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.

    Scholars Publisher, 2017

    Erschienen in: Annals of International medical and Dental Research, 3 (2017) 2