Skip to contents

  1. Trifonov, Peter [Editor]; Podkopaev, Anton [Editor] ; SEIM 6. 2021 Online

    SEIM 2021: Software Engineering and Information Management : proceedings of the Sixth Conference on Software Engineering and Information Management : St. Petersburg, Russia, April 17th, 2021

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [Aachen, Germany]: [RWTH Aachen], 2021-09-27

    Published in: CEUR workshop proceedings ; 2953

  3. Lahav, Ori [Author]; Raad, Azalea [Author]; Tassarotti, Joseph [Author]; Vafeiadis, Viktor [Author]; Podkopaev, Anton [Author] ; Ori Lahav and Azalea Raad and Joseph Tassarotti and Viktor Vafeiadis and Anton Podkopaev [Contributor]

    Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

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

  4. Moiseenko, Evgenii [Author]; Podkopaev, Anton [Author]; Lahav, Ori [Author]; Melkonian, Orestis [Author]; Vafeiadis, Viktor [Author] ; Evgenii Moiseenko and Anton Podkopaev and Ori Lahav and Orestis Melkonian and Viktor Vafeiadis [Contributor]

    Reconciling Event Structures with Modern Multiprocessors

    Articles
    View online
    Schließen
    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

  5. Moiseenko, Evgenii [Author]; Podkopaev, Anton [Author]; Lahav, Ori [Author]; Melkonian, Orestis [Author]; Vafeiadis, Viktor [Author] ; Evgenii Moiseenko and Anton Podkopaev and Ori Lahav and Orestis Melkonian and Viktor Vafeiadis [Contributor]

    Reconciling Event Structures with Modern Multiprocessors (Artifact)

    Articles
    View online
    Schließen
    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

  8. Lahav, Ori; Namakonov, Egor; Oberhauser, Jonas; Podkopaev, Anton; Vafeiadis, Viktor

    Making weak memory models fair

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    Association for Computing Machinery (ACM), 2021

    Published in: Proceedings of the ACM on Programming Languages