| Π-Ware: An Embedded Hardware Description Language using Dependent Types JPP Flor, W Swierstra Master's thesis, Utrecht University, 2014 | 39* | 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 | 33 | 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 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 |
| 21st International Conference on Types for Proofs and Programs (TYPES 2015) R Adams, B Jacobs, B Ahrens, R Matthes, T Altenkirch, A Kaposi, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| Sıntese comportamental de componentes de um Sistema Operacional em Hardware JPP Flor | | |
Wouter SwierstraUniversiteit UtrechtGeverifieerd e-mailadres voor uu.nl
