Explaining Metastability in Real Synchronizers. - Justin Reiher; Mark R. Greenstreet; Ian W. Jones (ASYNC, 2018)

Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms. - Itrat A. Akhter; Justin Reiher; Mark R. Greenstreet (DATE, 2019)

Optimization and Comparison of Synchronizers. - Justin Reiher; Mark R. Greenstreet (ASYNC, 2020)