| Π-Ware: An Embedded Hardware Description Language using Dependent Types JPP Flor, W Swierstra Master's thesis, Utrecht University, 2014 | 25* | 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 | 21 | 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 |
| Comparing functional embedded domain-specific languages for hardware description JPP Flor Technical report, Utrecht University, 2013 | 2 | 2013 |
| Verified Timing Transformations in Synchronous Circuits with -Ware JPP Flor, W Swierstra International Conference on Interactive Theorem Proving, 504-522, 2018 | 1* | 2018 |
| Síntese comportamental de componentes de um Sistema Operacional em hardware JPP Flor | | 2011 |
Wouter SwierstraUniversiteit UtrechtVerified email at uu.nl
