Search filters

List of works by Thomas Reps

Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics

scientific article published on 08 October 2024

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs

scientific article published on 08 October 2024

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams

scientific article published on 04 March 2024

Newtonian Program Analysis of Probabilistic Programs

scientific article published on 29 April 2024

Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming

scientific article published on 11 January 2023

Unrealizability Logic

scientific article published on 11 January 2023

Weighted Context-Free-Language Ordered Binary Decision Diagrams

scientific article published on 08 October 2024

Paulina is supported by:

About Paulina

Help