PPaperPicks

Swen Jacobs

2 papers at tracked venues · 1 at CORE A* · active 2024–2024

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Dana Fisman
×1
Noa Izsak
×1
Tom Baumeister
×1
Paul Eichler
×1
Mouhammad Sakr
×1
Marcus Völp
×1

Papers

  1. Learning Broadcast Protocols
    AAAI 2024 ·
    Dana Fisman
    ,
    Noa Izsak
    , Swen Jacobs
  2. Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata
    FM 2024 ·
    Tom Baumeister
    ,
    Paul Eichler
    , Swen Jacobs,
    Mouhammad Sakr
    ,
    Marcus Völp