Search the dblp DataBase

Publications of Author

1. Fei Xia, Alexandre Yakovlev, Delong Shang, Alexandre V. Bystrov, Alexandre V. Koelmans, D. J. Kinniment
   Asynchronous Communication Mechanisms Using Self-Timed Circuits. [Citation Graph (0, 0)][DBLP]
   ASYNC, 2000, pp:150-0 [Conf]
   
2. Frank P. Burns, Delong Shang, Albert Koelmans, Alexandre Yakovlev
   An Asynchronous Synthesis Toolset Using Verilog. [Citation Graph (0, 0)][DBLP]
   DATE, 2004, pp:724-725 [Conf]
   
3. Delong Shang, Frank P. Burns, Alexandre V. Bystrov, Alexandre V. Koelmans, Danil Sokolov, Alexandre Yakovlev
   A Low and Balanced Power Implementation of the AES Security Mechanism Using Self-Timed Circuits. [Citation Graph (0, 0)][DBLP]
   PATMOS, 2004, pp:471-480 [Conf]
   
4. D. J. Kinniment, Albert Koelmans
   Modelling and Verification of Timing Conditions with the Boyer Moore Prover. [Citation Graph (0, 0)][DBLP]
   TPCD, 1992, pp:111-127 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   Comput. Syst. Sci. Eng., 2001, v:16, n:3, pp:173-182 [Journal]
   
6. Alexandre Yakovlev, Albert Koelmans, Luciano Lavagno
   High-Level Modeling and Design of Asynchronous Interface Logic. [Citation Graph (0, 0)][DBLP]
   IEEE Design & Test of Computers, 1995, v:12, n:1, pp:32-40 [Journal]
   
7. Alexandre Yakovlev, Albert Koelmans, Alexei L. Semenov, D. J. Kinniment
   Modelling, analysis and synthesis of asynchronous control circuits using Petri nets. [Citation Graph (0, 0)][DBLP]
   Integration, 1996, v:21, n:3, pp:143-170 [Journal]
   
8. Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
   WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   Real-Time Systems, 2000, v:18, n:2/3, pp:275-288 [Journal]
   
9. Frank P. Burns, Albert Koelmans, Alexandre Yakovlev
   Analysing Superscalar Processor Architectures with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   STTT, 1998, v:2, n:2, pp:182-191 [Journal]
   
10. 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. [Citation Graph (0, 0)][DBLP]
    PATMOS, 2007, pp:53-63 [Conf]
    
11. Delong Shang, Alexandre Yakovlev, Albert Koelmans, Danil Sokolov, Alexandre V. Bystrov
    Registers for Phase Difference Based Logic. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. VLSI Syst., 2007, v:15, n:6, pp:720-724 [Journal]
    
12. 
    A self-taught computer engineering course. [Citation Graph (, )][DBLP]