PPaperPicks

Pedro Resende

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Alexandre Lemos
×2
Joana Coutinho
×1
Miguel Terra-Neves
×1
José Amaral
×1
Rui Quintino
×1
António Alegria
×1

Papers

  1. Verifiably UX Compliant and User-Intent Layout Generation (Extended Abstract)
    FM 2026 ·
    Joana Coutinho
    ,
    Alexandre Lemos
    , Pedro Resende
  2. SAT-Based Algorithms for Regular Graph Pattern Matching
    AAAI 2024 ·
    Miguel Terra-Neves
    ,
    José Amaral
    ,
    Alexandre Lemos
    ,
    Rui Quintino
    , Pedro Resende,
    António Alegria