Jonathan Fowler

Publication Activity (10 Years)

Years Active: 1996-2017
Publications (10 Years): 2

Top Topics

Deductive Databases

Previously Unknown

Top Venues

Publications

Jonathan Fowler, Graham Hutton
Failing Faster: Overlapping Patterns for Property-Based Testing. PADL (2017)
Venanzio Capretta, Jonathan Fowler
The continuity of monadic stream functions. LICS (2017)
Jonathan Fowler, Graham Hutton
Towards a Theory of Reach. TFP (2015)
Chad Young, Giorgio Casinovi, Jonathan Fowler, Paul Kerstetter
An algorithm for power estimation in switched-capacitor circuits. ICCAD (1996)