An algorithm for power estimation in switched-capacitor circuits. - Chad Young; Giorgio Casinovi; Jonathan Fowler; Paul Kerstetter (ICCAD, 1996)

Towards a Theory of Reach. - Jonathan Fowler; Graham Hutton (TFP, 2015)

The continuity of monadic stream functions. - Venanzio Capretta; Jonathan Fowler (LICS, 2017)

Failing Faster: Overlapping Patterns for Property-Based Testing. - Jonathan Fowler; Graham Hutton (PADL, 2017)

Narrowing in on property-based testing. - Jonathan Fowler (2019)