An Asynchronous 2-D Discrete Cosine Transform Chip. - Ross Smith 003; Karl Fant; Dave Parker; Rick Stephani; Ching-Yi Wang (ASYNC, 1998)

DynAbs: Abstraction-Based Controller Synthesis for Stochastic Linear Dynamical Systems. - Thom S. Badings; Licio Romao; Alessandro Abate; Dave Parker; Hasan Poonawala; Mariëlle Stoelinga; Nils Jansen 001 (Zenodo, 2024)