PPaperPicks

Patrick Rodler

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Papers

  1. Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint)
    AAAI 2026 · Patrick Rodler
  2. Sequential Model-Based Diagnosis by Systematic Search (Abstract Reprint)
    AAAI 2024 · Patrick Rodler