Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Albert Koelmans.

Newcastle AuthorsTitleYearFull text
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Professor Alex Yakovlev
Design and security evaluation of balanced 1-of-n circuits2012
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Professor Alex Yakovlev
Security Evaluation of Balanced 1-of-n Circuits2011
Dr Frank Burns
Dr Julian Murphy
Dr Albert Koelmans
Professor Alex Yakovlev
Efficient advanced encryption standard implementation using lookup and normal basis2009
Professor David Kinniment
Dr Albert Koelmans
Dr Alex Bystrov
Dr Graeme Chester
Dr Gordon Russell
et al.
Message from General Chairs2008
Dr Delong Shang
Michael Shin
Ping Wang
Dr Fei Xia
Dr Albert Koelmans
et al.
Asynchronous Functional Coupling for Low Power Sensor Network Processors2007
Dr Delong Shang
Michael Shin
Ping Wang
Dr Fei Xia
Dr Albert Koelmans
et al.
Asynchronous functional coupling for low power sensor network processors2007
Dr Albert Koelmans
Professor Alex Yakovlev
Asynchronous functional coupling for low power sensor network processors2007
Dr Frank Burns
Dr Julian Murphy
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Dynamic global security-aware synthesis using SystemC2007
Dr Delong Shang
Professor Alex Yakovlev
Dr Albert Koelmans
Dr Danil Sokolov
Dr Alex Bystrov
et al.
Registers for Phase Difference Based Logic2007
Dr Delong Shang
Dr Frank Burns
Dr Alex Bystrov
Dr Albert Koelmans
Dr Danil Sokolov
et al.
High-security asynchronous circuit implementation of AES2006
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 circuits2004
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 Circuits2004
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 circuits2004
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
An asynchronous synthesis toolset using Verilog2004
Oliver Shaw
Dr Albert Koelmans
Dr Jason Steggles
Professor Anil Wipat
Applying Petri Nets to Systems Biology using XML Technologies2004
Oliver Shaw
Dr Albert Koelmans
Dr Jason Steggles
Professor Anil Wipat
Applying Petri Nets to Systems Biology using XMLTechnologies2004
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 nets2004
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Scheduling and allocation using closeness tables2004
Guang-Yeu Luo
Dr Ian Clark
Dr Fei Xia
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Simulating Heterogeneous timing networks in network simulator ns2004
Guang-Yeu Luo
Dr Fei Xia
Dr Ian Clark
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Simulating heterogeneously timed networks in network simulator NS2004
Guang-Yeu Luo
Dr Fei Xia
Dr Ian Clark
Dr Albert Koelmans
Professor Alex Yakovlev
et al.
Simulating heterogeneously timed networks in network simulator NS2004
Dr Alex Bystrov
Dr Danil Sokolov
Professor Alex Yakovlev
Dr Albert Koelmans
Balancing power signature in secure systems2003
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 Nets2002
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 channel2002
Dr Nick Coleman
Professor David Kinniment
Dr Albert Koelmans
Computer based learning – towards a comprehensive evaluation methodology2002
Dr Frank Burns
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Modelling and verification of an atomic action protocol implemented in Ada2001
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada2001
Dr Frank Burns
Dr Delong Shang
Dr Albert Koelmans
Professor Alex Yakovlev
Translating from asynchronous FSM specifications in VHDL to Petri Nets2001
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
WCET Analysis of Superscalar Processors Using simulation with Coloured Petri Nets2001
Dr Fei Xia
Professor Alex Yakovlev
Dr Delong Shang
Dr Alex Bystrov
Dr Albert Koelmans
et al.
Asynchronous communication mechanisms using self-timed circuits2000
Dr Albert Koelmans
Professor Maciej Koutny
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada2000
Dr Frank Burns
Dr Albert Koelmans
Professor Maciej Koutny
Professor Alexander Romanovsky
Professor Alex Yakovlev
et al.
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets2000
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
WCET analysis of superscalar processors using simulation with Coloured Petri Nets2000
Dr Fei Xia
Professor Alex Yakovlev
Dr Alex Bystrov
Dr Albert Koelmans
Professor David Kinniment
et al.
An Asynchronous Communication Mechanism Using Self-timed Circuits1999
Keith Heron
Dr Albert Koelmans
Professor Alex Yakovlev
Asynchronous microprocessors: From high level model to FPGA implementation1999
Dr Frank Burns
Dr Albert Koelmans
Professor Alex Yakovlev
Analysing Superscalar Processor Architectures with Coloured Petri Nets1998
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 electronics1998
Professor Alex Yakovlev
Dr Albert Koelmans
Estimations of Power Consumption in Asynchronous Logic as Derived from Graph Based Circuit Representations1998
Professor Alex Yakovlev
Dr Albert Koelmans
Petri Nets and Digital Hardware Design1998
Keith Heron
Dr Albert Koelmans
Professor Alex Yakovlev
Rapid Design of Asynchronous Logic Using Reconfigurable Architectures1998
Professor Alex Yakovlev
Dr Albert Koelmans
A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling1997
Keith Heron
Dr Albert Koelmans
Professor Alex Yakovlev
Asynchronous Microprocessors: From High Level Model to FPGA Implementation1997
Dr Albert Koelmans
Professor Alex Yakovlev
Designing an asynchronous processor using petri nets1997
Dr Nick Coleman
Professor David Kinniment
Dr Frank Burns
Dr Albert Koelmans
A Self-Taught Computer Engineering Course1996
Dr Nick Coleman
Professor David Kinniment
Dr Frank Burns
Dr Albert Koelmans
A Self-Taught Computer Engineering Course1996
Professor Alex Yakovlev
Dr Albert Koelmans
Professor David Kinniment
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets1996
Professor Alex Yakovlev
Dr Albert Koelmans
Professor David Kinniment
Petri nets and asynchronous circuit design1996
Dr Albert Koelmans
[PhD Thesis] STRICT: A language and tool set for the design of Very Large Scale Integrated Circuits1995
Dr Albert Koelmans
Professor Alex Yakovlev
Designing an Asynchronous Processor Using Petri-Nets1995
Professor Alex Yakovlev
Dr Albert Koelmans
High Level Modelling and Design of Asynchronous Interface Logic1995
Professor Alex Yakovlev
Dr Albert Koelmans
Professor David Kinniment
Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets1995
Dr Albert Koelmans
Professor Alex Yakovlev
Professor David Kinniment
PNIF: An Interchange Format for System Specification with Coloured Petri Nets1995
Dr Frank Burns
Professor David Kinniment
Dr Albert Koelmans
STRIDE: A Tool for Formal Interactive Systems Synthesis1994
Professor Alex Yakovlev
Dr Albert Koelmans
High Level Modelling and Design of Asynchronous Interface Logic1993
Dr Albert Koelmans
Dr Frank Burns
Professor David Kinniment
Use of a Theorem Prover for Transformational Synthesis1993
Dr Albert Koelmans
Professor Alex Yakovlev
Professor David Kinniment
System-level Design Based on Transformational Synthesis: Problems and Options1992
Dr Frank Burns
Professor David Kinniment
Dr Albert Koelmans
Correct Interactive Transformational Synthesis of DSP Hardware1991
Dr Frank Burns
Professor David Kinniment
Dr Albert Koelmans
Correct Interactive Transformational Synthesis of DSP Hardware1991
Dr Albert Koelmans
Professor David Kinniment
Modelling and Verification of Timing Conditions with the Boyer-Moore Prover1991
Dr Albert Koelmans
Professor David Kinniment
Verification of Timing Conditions Using a Theorem Prover1991
Dr Albert Koelmans
Martin McLauchlan
Professor David Kinniment
Graphical Representation of a Hardware Description Language1990
Dr Albert Koelmans
Graphical Representation of a Hardware Description Language1990
Emeritus Professor Satnam Dlay
Dr Albert Koelmans
Martin McLauchlan
Professor David Kinniment
An Advanced VLSI Security Device Employing Data Verification Features1988
Dr Albert Koelmans
Martin McLauchlan
Professor David Kinniment
Asynchronous Extensions to the STRICT High Level Design System1988
Dr Albert Koelmans
Martin McLauchlan
Professor David Kinniment
Asynchronous Extensions to the STRICT High Level Design System1988
Dr Albert Koelmans
Martin McLauchlan
Tony Robson
The STRICT Language and Design Methodology1987
Dr Albert Koelmans
Martin McLauchlan
STRICT: A Design Language for Strongly Typed Recursive Integrated Circuits1986