PPaperPicks

Jonni Virtema

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

DBLP profile ↗ORCID search ↗

Venues

KR ×4AAAI ×1NeurIPS ×1

Frequent coauthors

Timon Barlag
×2
Vivian Holzapfel
×2
Laura Strieker
×2
Heribert Vollmer
×2
Huan Luo
×1
Nicolas Fröhlich
×1
Arne Meier
×1
Nina Pardal
×1
Jeroen Bollen
×1
Jan Van den Bussche
×1
Stijn Vansummeren
×1
Teemu Hankala
×1

Papers

  1. Recurrent Graph Neural Networks and Arithmetic Circuits
    KR 2026 ·
    Timon Barlag
    ,
    Vivian Holzapfel
    ,
    Laura Strieker
    , Jonni Virtema,
    Heribert Vollmer
  2. Unifying Approach to Uniform Expressivity of Graph Neural Networks
    KR 2026 ·
    Huan Luo
    , Jonni Virtema
  3. A Logic-Based Framework for Database Repairs
    KR 2025 ·
    Nicolas Fröhlich
    ,
    Arne Meier
    ,
    Nina Pardal
    , Jonni Virtema
  4. Halting Recurrent GNNs and the Graded mu-Calculus
    KR 2025 ·
    Jeroen Bollen
    ,
    Jan Van den Bussche
    ,
    Stijn Vansummeren
    , Jonni Virtema
  5. Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
    AAAI 2024 ·
    Teemu Hankala
    ,
    Miika Hannula
    ,
    Juha Kontinen
    , Jonni Virtema
  6. Graph Neural Networks and Arithmetic Circuits
    NeurIPS 2024 ·
    Timon Barlag
    ,
    Vivian Holzapfel
    ,
    Laura Strieker
    , Jonni Virtema,
    Heribert Vollmer