João Paulo Pizani Flor

According to our database, João Paulo Pizani Flor authored at least 3 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware.

João Paulo Pizani Flor, Wouter Swierstra

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2015

Pi-Ware: Hardware Description and Verification in Agda.

João Paulo Pizani Flor, Wouter Swierstra, Yorick Sijsling

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

2011

High-level design and synthesis of a resource scheduler.

João Paulo Pizani Flor, Tiago Rogério Mück, Antônio Augusto Fröhlich

Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011