| Π-Ware: An Embedded Hardware Description Language using Dependent Types JPP Flor, W Swierstra Master's thesis, Utrecht University, 2014 | 36* | 2014 |
| π-Ware: Hardware Description and Verification in Agda JP Pizani Flor, WS Swierstra, Y Sijsling 21st International Conference on Types for Proofs and Programs TYPES 2015 …, 2016 | 30 | 2016 |
| High-level design and synthesis of a resource scheduler JPP Flor, TR Mück, AA Fröhlich 2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011 | 5 | 2011 |
| Verified Timing Transformations in Synchronous Circuits with-Ware JP Pizani Flor, W Swierstra International Conference on Interactive Theorem Proving, 504-522, 2018 | 3 | 2018 |
| Comparing functional embedded domain-specific languages for hardware description JPP Flor Technical report, Utrecht University, 2013 | 3 | 2013 |
| Verified Technology Mapping in an Agda DSL for Circuit Design: Circuit refinement through gate and data concretisation JP Pizani Flor, W Swierstra Proceedings of the 34th Symposium on Implementation and Application of …, 2022 | | 2022 |
| Síntese comportamental de componentes de um Sistema Operacional em hardware JPP Flor | | 2011 |
Wouter SwierstraUniversiteit UtrechtE-mail confirmado em uu.nl
