High-level design and synthesis of a resource scheduler. - João Paulo Pizani Flor; Tiago Rogério Mück; Antônio Augusto Fröhlich (ICECS, 2011)

Pi-Ware: Hardware Description and Verification in Agda. - João Paulo Pizani Flor; Wouter Swierstra; Yorick Sijsling (TYPES, 2015)

Verified Timing Transformations in Synchronous Circuits with lambda pi -Ware. - João Paulo Pizani Flor; Wouter Swierstra (ITP, 2018)

Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation. - João Paulo Pizani Flor; Wouter Swierstra (IFL, 2022)