default search action
Albert Koelmans
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2013
- [c10]Maxim Rykunov, Andrey Mokhov, Danil Sokolov, Alex Yakovlev
, Albert Koelmans:
Design-for-adaptivity of microarchitectures. ASAP 2013: 314-320 - 2012
- [j13]Frank P. Burns, Alexandre V. Bystrov
Design and security evaluation of balanced 1-of-n circuits. IET Comput. Digit. Tech. 6(2): 125-135 (2012) - [j12]Ashur Rafiev, Andrey Mokhov, Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alex Yakovlev
Mixed Radix Reed-Muller Expansions. IEEE Trans. Computers 61(8): 1189-1202 (2012) - 2011
- [j11]Frank P. Burns, Alexandre V. Bystrov
Security Evaluation of Balanced 1-of- n Circuits. IEEE Trans. Very Large Scale Integr. Syst. 19(11): 2135-2139 (2011) - [c9]James Docherty, Albert Koelmans:
A flexible hardware implementation of SHA-1 and SHA-2 Hash Functions. ISCAS 2011: 1932-1935
2000 – 2009
- 2009
- [j10]Frank P. Burns, Julian P. Murphy, Albert Koelmans, Alexandre Yakovlev
Efficient advanced encryption standard implementation using lookup and normal basis. IET Comput. Digit. Tech. 3(3): 270-280 (2009) - 2007
- [j9]Frank P. Burns, Julian P. Murphy, Delong Shang, Albert Koelmans, A. Yakorlev:
Dynamic global security-aware synthesis using SystemC. IET Comput. Digit. Tech. 1(4): 405-413 (2007) - [j8]Delong Shang, Alexandre Yakovlev
Registers for Phase Difference Based Logic. IEEE Trans. Very Large Scale Integr. Syst. 15(6): 720-724 (2007) - [c8]Delong Shang, Chi-Hoon Shin, Ping Wang, Fei Xia, Albert Koelmans, Myeong-Hoon Oh, Seongwoon Kim, Alexandre Yakovlev:
Asynchronous Functional Coupling for Low Power Sensor Network Processors. PATMOS 2007: 53-63 - 2004
- [c7]Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev
An Asynchronous Synthesis Toolset Using Verilog. DATE 2004: 724-725 - [c6]Delong Shang, Frank P. Burns, Alexandre V. Bystrov
A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. PATMOS 2004: 471-480 - 2001
- [j7]Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
Modelling and verification of an atomic action protocol implemented in Ada. Comput. Syst. Sci. Eng. 16(3): 173-182 (2001) - 2000
- [j6]Frank P. Burns, Albert Koelmans, Alexandre Yakovlev:
WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. Real Time Syst. 18(2/3): 275-288 (2000) - [c5]Fei Xia, Alexandre Yakovlev
Asynchronous Communication Mechanisms Using Self-Timed Circuits. ASYNC 2000: 150- - [c4]Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky
On developing and verifying design abstractions for reliable concurrent programming in Ada. IRTAW 2000: 48-55
1990 – 1999
- 1999
- [j5]Lee Lloyd, Keith Heron, Albert Koelmans, Alexandre Yakovlev:
Asynchronous microprocessors: From high level model to FPGA implementation. J. Syst. Archit. 45(12-13): 975-1000 (1999) - 1998
- [j4]Frank P. Burns, Albert Koelmans, Alexandre Yakovlev:
Analysing Superscalar Processor Architectures with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 182-191 (1998) - 1997
- [j3]Alexei L. Semenov, Albert Koelmans, Lee Lloyd, Alexandre Yakovlev
Designing an asynchronous processor using Petri nets. IEEE Micro 17(2): 54-64 (1997) - 1996
- [j2]Alexandre Yakovlev
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. Integr. 21(3): 143-170 (1996) - [c3]J. N. Coleman, Frank P. Burns, D. J. Kinniment, T. J. Butler, Albert Koelmans:
A self-taught computer engineering course. ACSE 1996: 7-12 - 1995
- [j1]Alexandre Yakovlev
High-Level Modeling and Design of Asynchronous Interface Logic. IEEE Des. Test Comput. 12(1): 32-40 (1995) - 1992
- [c2]D. J. Kinniment, Albert Koelmans:
Modelling and Verification of Timing Conditions with the Boyer Moore Prover. TPCD 1992: 111-127 - 1991
- [c1]Frank P. Burns, D. J. Kinniment, Albert Koelmans:
Correct interactive transformational synthesis of DSP hardware. EURO-DAC 1991: 16-21
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: