PPaperPicks

Valeria Fionda

3 papers at tracked venues · 1 at CORE A* · active 20242026

Venues

Frequent coauthors

Ilaria Lucrezia Amerise
×1

Papers

  1. Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
    AAAI 2026 · Valeria Fionda
  2. Are Large Language Models Fluent in Declarative Process Mining?
    IJCAI 2025 · Valeria Fionda
  3. Bipartite Time Series Network for Data Imputation