Frank Burns
Beijing Foreign Studies University(CN)Space Telescope Science Institute(US)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Petri Nets in System Modeling, Formal Methods in Verification, Low-power high-performance VLSI design, Cryptographic Implementations and Security
Most-Cited Works
- → Robust estimation of bacterial cell count from optical density(2020)214 cited
- → Effectiveness of computer-aided learning as a direct replacement for lecturing in degree-level electronics(1998)47 cited
- → High-security asynchronous circuit implementation of AES(2006)22 cited
- → Low-Cost Online Testing of Asynchronous Handshakes(2006)21 cited
- → Asynchronous system synthesis based on direct mapping using VHDL and Petri nets(2004)21 cited
- → WCET Analysis of Superscalar Processors Using Simulation With Coloured Petri Nets(2000)21 cited
- → Author Correction: Robust estimation of bacterial cell count from optical density(2020)12 cited