Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Professor Alex Yakovlev
| Design and security evaluation of balanced 1-of-n circuits | 2012 |
|
Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Professor Alex Yakovlev
| Security Evaluation of Balanced 1-of-n Circuits | 2011 |
|
Dr Frank Burns Dr Julian Murphy Dr Albert Koelmans Professor Alex Yakovlev
| Efficient advanced encryption standard implementation using lookup and normal basis | 2009 |
|
Professor David Kinniment Dr Albert Koelmans Dr Alex Bystrov Dr Graeme Chester Dr Gordon Russell et al. | Message from General Chairs | 2008 |
|
Dr Delong Shang Michael Shin Ping Wang Dr Fei Xia Dr Albert Koelmans et al. | Asynchronous Functional Coupling for Low Power Sensor Network Processors | 2007 |
|
Dr Delong Shang Michael Shin Ping Wang Dr Fei Xia Dr Albert Koelmans et al. | Asynchronous functional coupling for low power sensor network processors | 2007 |
|
Dr Albert Koelmans Professor Alex Yakovlev
| Asynchronous functional coupling for low power sensor network processors | 2007 |
|
Dr Frank Burns Dr Julian Murphy Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev et al. | Dynamic global security-aware synthesis using SystemC | 2007 |
|
Dr Delong Shang Professor Alex Yakovlev Dr Albert Koelmans Dr Danil Sokolov Dr Alex Bystrov et al. | Registers for Phase Difference Based Logic | 2007 |
|
Dr Delong Shang Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Dr Danil Sokolov et al. | High-security asynchronous circuit implementation of AES | 2006 |
|
Dr Delong Shang Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Dr Danil Sokolov et al. | A low and balanced power implementation of the AES security mechanism using self-timed circuits | 2004 |
|
Dr Delong Shang Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Dr Danil Sokolov et al. | A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits | 2004 |
|
Dr Delong Shang Dr Frank Burns Dr Alex Bystrov Dr Albert Koelmans Dr Danil Sokolov et al. | A low and balanced power implementation of the AES security mechanism using self-timed circuits | 2004 |
|
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev
| An asynchronous synthesis toolset using Verilog | 2004 |
|
Oliver Shaw Dr Albert Koelmans Dr Jason Steggles Professor Anil Wipat
| Applying Petri Nets to Systems Biology using XML Technologies | 2004 |
|
Oliver Shaw Dr Albert Koelmans Dr Jason Steggles Professor Anil Wipat
| Applying Petri Nets to Systems Biology using XMLTechnologies | 2004 |
|
Dr Delong Shang Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev Dr Fei Xia et al. | Asynchronous system synthesis based on direct mapping using VHDL and Petri nets | 2004 |
|
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev
| Scheduling and allocation using closeness tables | 2004 |
|
Guang-Yeu Luo Dr Ian Clark Dr Fei Xia Dr Albert Koelmans Professor Alex Yakovlev et al. | Simulating Heterogeneous timing networks in network simulator ns | 2004 |
|
Guang-Yeu Luo Dr Fei Xia Dr Ian Clark Dr Albert Koelmans Professor Alex Yakovlev et al. | Simulating heterogeneously timed networks in network simulator NS | 2004 |
|
Guang-Yeu Luo Dr Fei Xia Dr Ian Clark Dr Albert Koelmans Professor Alex Yakovlev et al. | Simulating heterogeneously timed networks in network simulator NS | 2004 |
|
Dr Alex Bystrov Dr Danil Sokolov Professor Alex Yakovlev Dr Albert Koelmans
| Balancing power signature in secure systems | 2003 |
|
Dr Delong Shang Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev
| An asynchronous DMA system design based on direct mapping using VHDL and Petri Nets | 2002 |
|
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev
| Behavioural synthesis of asynchronous controllers: a case study with a self-timed communication channel | 2002 |
|
Dr Nick Coleman Professor David Kinniment Dr Albert Koelmans
| Computer based learning – towards a comprehensive evaluation methodology | 2002 |
|
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al. | Modelling and verification of an atomic action protocol implemented in Ada | 2001 |
|
Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev
| On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada | 2001 |
|
Dr Frank Burns Dr Delong Shang Dr Albert Koelmans Professor Alex Yakovlev
| Translating from asynchronous FSM specifications in VHDL to Petri Nets | 2001 |
|
Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev
| WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets | 2001 |
|
Dr Fei Xia Professor Alex Yakovlev Dr Delong Shang Dr Alex Bystrov Dr Albert Koelmans et al. | Asynchronous communication mechanisms using self-timed circuits | 2000 |
|
Dr Albert Koelmans Professor Maciej Koutny
| On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada | 2000 |
|
Dr Frank Burns Dr Albert Koelmans Professor Maciej Koutny Emeritus Professor Alexander Romanovsky Professor Alex Yakovlev et al. | Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets | 2000 |
|
Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev
| WCET analysis of superscalar processors using simulation with Coloured Petri Nets | 2000 |
|
Dr Fei Xia Professor Alex Yakovlev Dr Alex Bystrov Dr Albert Koelmans Professor David Kinniment et al. | An Asynchronous Communication Mechanism Using Self-timed Circuits | 1999 |
|
Keith Heron Dr Albert Koelmans Professor Alex Yakovlev
| Asynchronous microprocessors: From high level model to FPGA implementation | 1999 |
|
Dr Frank Burns Dr Albert Koelmans Professor Alex Yakovlev
| Analysing Superscalar Processor Architectures with Coloured Petri Nets | 1998 |
|
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Tim Butler Dr Albert Koelmans et al. | Effectiveness of computer-aided learning as a direct replacement for lecturing in degree-level electronics | 1998 |
|
Professor Alex Yakovlev Dr Albert Koelmans
| Estimations of Power Consumption in Asynchronous Logic as Derived from Graph Based Circuit Representations | 1998 |
|
Professor Alex Yakovlev Dr Albert Koelmans
| Petri Nets and Digital Hardware Design | 1998 |
|
Keith Heron Dr Albert Koelmans Professor Alex Yakovlev
| Rapid Design of Asynchronous Logic Using Reconfigurable Architectures | 1998 |
|
Professor Alex Yakovlev Dr Albert Koelmans
| A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling | 1997 |
|
Keith Heron Dr Albert Koelmans Professor Alex Yakovlev
| Asynchronous Microprocessors: From High Level Model to FPGA Implementation | 1997 |
|
Dr Albert Koelmans Professor Alex Yakovlev
| Designing an asynchronous processor using petri nets | 1997 |
|
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Albert Koelmans
| A Self-Taught Computer Engineering Course | 1996 |
|
Dr Nick Coleman Professor David Kinniment Dr Frank Burns Dr Albert Koelmans
| A Self-Taught Computer Engineering Course | 1996 |
|
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment
| Modelling, analysis and synthesis of asynchronous control circuits using Petri nets | 1996 |
|
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment
| Petri nets and asynchronous circuit design | 1996 |
|
Dr Albert Koelmans
| [PhD Thesis] STRICT: A language and tool set for the design of Very Large Scale Integrated Circuits | 1995 |
|
Dr Albert Koelmans Professor Alex Yakovlev
| Designing an Asynchronous Processor Using Petri-Nets | 1995 |
|
Professor Alex Yakovlev Dr Albert Koelmans
| High Level Modelling and Design of Asynchronous Interface Logic | 1995 |
|
Professor Alex Yakovlev Dr Albert Koelmans Professor David Kinniment
| Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets | 1995 |
|
Dr Albert Koelmans Professor Alex Yakovlev Professor David Kinniment
| PNIF: An Interchange Format for System Specification with Coloured Petri Nets | 1995 |
|
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans
| STRIDE: A Tool for Formal Interactive Systems Synthesis | 1994 |
|
Professor Alex Yakovlev Dr Albert Koelmans
| High Level Modelling and Design of Asynchronous Interface Logic | 1993 |
|
Dr Albert Koelmans Dr Frank Burns Professor David Kinniment
| Use of a Theorem Prover for Transformational Synthesis | 1993 |
|
Dr Albert Koelmans Professor Alex Yakovlev Professor David Kinniment
| System-level Design Based on Transformational Synthesis: Problems and Options | 1992 |
|
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans
| Correct Interactive Transformational Synthesis of DSP Hardware | 1991 |
|
Dr Frank Burns Professor David Kinniment Dr Albert Koelmans
| Correct Interactive Transformational Synthesis of DSP Hardware | 1991 |
|
Dr Albert Koelmans Professor David Kinniment
| Modelling and Verification of Timing Conditions with the Boyer-Moore Prover | 1991 |
|
Dr Albert Koelmans Professor David Kinniment
| Verification of Timing Conditions Using a Theorem Prover | 1991 |
|
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment
| Graphical Representation of a Hardware Description Language | 1990 |
|
Dr Albert Koelmans
| Graphical Representation of a Hardware Description Language | 1990 |
|
Emeritus Professor Satnam Dlay Dr Albert Koelmans Martin McLauchlan Professor David Kinniment
| An Advanced VLSI Security Device Employing Data Verification Features | 1988 |
|
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment
| Asynchronous Extensions to the STRICT High Level Design System | 1988 |
|
Dr Albert Koelmans Martin McLauchlan Professor David Kinniment
| Asynchronous Extensions to the STRICT High Level Design System | 1988 |
|
Dr Albert Koelmans Martin McLauchlan Tony Robson
| The STRICT Language and Design Methodology | 1987 |
|
Dr Albert Koelmans Martin McLauchlan
| STRICT: A Design Language for Strongly Typed Recursive Integrated Circuits | 1986 |
|