System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Mira Mezini (PPDP, 2018)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Michael Raulf; Mira Mezini (Sci. Comput. Program., 2018)

Generating incremental type services. - André Pacak; Sebastian Erdweg (SLE, 2019)

A systematic approach to deriving incremental type checkers. - André Pacak; Sebastian Erdweg; Tamás Szabó (Proc. ACM Program. Lang., 2020)

Concise, type-safe, and efficient structural diffing. - Sebastian Erdweg; Tamás Szabó; André Pacak (PLDI, 2021)

Functional Programming with Datalog. - André Pacak; Sebastian Erdweg (ECOOP, 2022)

Incremental Processing of Structured Data in Datalog. - André Pacak; Tamás Szabó; Sebastian Erdweg (GPCE, 2022)

Interactive Debugging of Datalog Programs. - André Pacak; Sebastian Erdweg (Proc. ACM Program. Lang., 2023)

Separate Compilation and Partial Linking: Modules for Datalog IR. - David Klopp; André Pacak; Sebastian Erdweg (GPCE, 2024)

AUTOINC: Incrementality for Free. - André Pacak; Prashant Kumar; Runqing Xu; Sebastian Erdweg (SPLASH Companion, 2024)

Object-Oriented Fixpoint Programming with Datalog. - David Klopp; Sebastian Erdweg; André Pacak (Proc. ACM Program. Lang., 2024)

A Typed Multi-level Datalog IR and Its Compiler Framework. - David Klopp; Sebastian Erdweg; André Pacak (Proc. ACM Program. Lang., 2024)

Datalog as a (non-logic) Programming Language. - André Pacak (2024)

Incremental Computing by Differential Execution. - Prashant Kumar; André Pacak; Sebastian Erdweg (ECOOP, 2025)

Incremental Computing by Differential Execution (Artifact). - Prashant Kumar; André Pacak; Sebastian Erdweg (Dagstuhl Artifacts Ser., 2025)