| 2006 | ||
|---|---|---|
| 5 | EE | Oliver Pell, Wayne Luk: Generating Parametrised Hardware Libraries from Higher-Order Descriptions. FCCM 2006: 297-298 |
| 4 | EE | Lee W. Howes, Paul Price, Oskar Mencer, Olav Beckmann, Oliver Pell: Comparing FPGAs to Graphics Accelerators and the Playstation 2 Using a Unified Source Description. FPL 2006: 1-6 |
| 3 | EE | Oliver Pell, Wayne Luk: Compiling Higher-Order Polymorphic Hardware Descriptions Into Parametrised VHDL Libraries with Flexible Placement Information. FPL 2006: 1-6 |
| 2 | EE | Oliver Pell: Verification of FPGA Layout Generators in Higher-Order Logic. J. Autom. Reasoning 37(1-2): 117-152 (2006) |
| 2005 | ||
| 1 | EE | Oliver Pell, Wayne Luk: Resolving Quartz Overloading. CHARME 2005: 380-383 |
| 1 | Olav Beckmann | [4] |
| 2 | Lee W. Howes | [4] |
| 3 | Wayne Luk | [1] [3] [5] |
| 4 | Oskar Mencer | [4] |
| 5 | Paul Price | [4] |