Zum Inhalt springen

  1. Trifonov, Peter [HerausgeberIn]; Podkopaev, Anton [HerausgeberIn] ; 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

    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.

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

    Erschienen in: CEUR workshop proceedings ; 2953

  2. Podkopaev, Anton [VerfasserIn]; Lahav, Ori [VerfasserIn]; Vafeiadis, Viktor [VerfasserIn] ; Anton Podkopaev and Ori Lahav and Viktor Vafeiadis [MitwirkendeR]

    Promising Compilation to ARMv8 POP

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

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

    Formal Methods for Correct Persistent Programming (Dagstuhl Seminar 23412)

    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. Moiseenko, Evgenii [VerfasserIn]; Podkopaev, Anton [VerfasserIn]; Lahav, Ori [VerfasserIn]; Melkonian, Orestis [VerfasserIn]; Vafeiadis, Viktor [VerfasserIn] ; Evgenii Moiseenko and Anton Podkopaev and Ori Lahav and Orestis Melkonian and Viktor Vafeiadis [MitwirkendeR]

    Reconciling Event Structures with Modern Multiprocessors

    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. Moiseenko, Evgenii [VerfasserIn]; Podkopaev, Anton [VerfasserIn]; Lahav, Ori [VerfasserIn]; Melkonian, Orestis [VerfasserIn]; Vafeiadis, Viktor [VerfasserIn] ; Evgenii Moiseenko and Anton Podkopaev and Ori Lahav and Orestis Melkonian and Viktor Vafeiadis [MitwirkendeR]

    Reconciling Event Structures with Modern Multiprocessors (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

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

    Making weak memory models fair

    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.

    Association for Computing Machinery (ACM), 2021

    Erschienen in: Proceedings of the ACM on Programming Languages

  10. Iustinovich Mis’kevich, Aleksey; Bo Guo, Jin; Alekseevich Duyzhov, Yurii; Viktorovich Podkopaev, Anton

    The Effect of Super-Radiance on the C-A Transition of the Excimer Molecule XeCl* at 352 nm Excited Only by <sup>235</sup>U Fission Fragments

    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.

    Science Publishing Group, 2019

    Erschienen in: American Journal of Modern Physics