| FRAMER: a tagged-pointer capability system with memory safety applications | 0 | 0.34 | 2019 |
| Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog | 0 | 0.34 | 2019 |
| Research Note: An Open Source Bluespec Compiler. | 0 | 0.34 | 2019 |
| FRAMER: A Cache-friendly Software-based Capability Model. | 0 | 0.34 | 2018 |
| A New Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware | 0 | 0.34 | 2014 |
| Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing. | 0 | 0.34 | 2013 |
| Open-VSeSeMe: A Middleware for Efficient Vehicular Sensor Processing. | 1 | 0.39 | 2013 |
| TLM POWER3: Power estimation methodology for SystemC TLM 2.0. | 13 | 0.92 | 2012 |
| Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi | 1 | 0.36 | 2011 |
| Intra-vehicular verification and control: A two-pronged approach | 0 | 0.34 | 2010 |
| Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications | 2 | 0.66 | 2010 |
| Designing application specific circuits with concurrent C# programs | 7 | 0.70 | 2010 |
| Controlling real world pervasive environments with knowledge bases | 1 | 0.35 | 2010 |
| Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems | 8 | 0.44 | 2009 |
| Checkable Domain Management with Ontology and Rules | 2 | 0.38 | 2008 |
| Synthesizing FPGA Circuits from Parallel Programs | 0 | 0.34 | 2008 |
| Kiwi: Synthesis of FPGA Circuits from Parallel Programs | 42 | 2.65 | 2008 |
| Using C# attributes to describe hardware artefacts within kiwi | 1 | 0.35 | 2008 |
| Avoiding Two-Level Systems: Using A Textual Environment To Address Cross-Cutting Concerns | 0 | 0.34 | 2006 |
| Automated Hardware Synthesis from Formal Specification Using SAT Solvers | 0 | 0.34 | 2004 |
| Control Software for Home Automation, Design Aspects and Position Paper | 0 | 0.34 | 2002 |
| Internet access to a home area network | 28 | 3.34 | 2001 |
| A Verilog to C Compiler | 4 | 0.63 | 2000 |
| Warren: a low-cost ATM home area network | 5 | 3.82 | 1998 |
| Securing the Residential Asynchronous Transfer Mode Networks | 0 | 0.34 | 1996 |
| The CSYN Verilog Compiler and Other Tools | 0 | 0.34 | 1995 |
| Protocol and Interface for ATM LANs | 5 | 3.96 | 1994 |
| The Cambridge Backbone Network: an overview and preliminary performance | 2 | 0.67 | 1993 |
| Private ATM Networks | 2 | 1.06 | 1992 |
| Battle of the giants: Round one to apple | 0 | 0.34 | 1989 |
| Eurodynamics systems PLC-V-general automation ltd. (As yet unreported — September 1988) | 0 | 0.34 | 1989 |
| The EC green paper — A comment | 0 | 0.34 | 1988 |
| Computer disputes — A new perspective | 0 | 0.34 | 1988 |
| US case low developments | 0 | 0.34 | 1988 |
| US case law and legislative developments | 0 | 0.34 | 1988 |
| Legal liability for expert systems - 14 May 87 London. A one day conference organised by learned information ltd. | 0 | 0.34 | 1987 |
| Sources to structures - whelan V jaslow and its implications for software developers | 0 | 0.34 | 1987 |
| Law reports update - recent legislative and judicial developments in the US | 0 | 0.34 | 1987 |
| Computer disputes: Have the courts become too user-friendly? | 0 | 0.34 | 1987 |
| The 1987 computer law symposium 28 and 29 April 1987, London. A two day course organised by legal studies and services ltd. | 0 | 0.34 | 1987 |
| Computer services association — legal affairs group | 0 | 0.34 | 1986 |
| Maintenance contracts — The insurance ‘claims’ | 0 | 0.34 | 1986 |
| Atwater 1986 conference on the world information economy: Risks and opportunities | 0 | 0.34 | 1986 |
| Product liability — The E.E.C. directive | 0 | 0.34 | 1986 |
| Report on marketing and distributor agreements | 0 | 0.34 | 1985 |
