Jonathan Fowler

According to our database, Jonathan Fowler authored at least 5 papers between 1996 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Narrowing in on property-based testing.

Jonathan Fowler

PhD thesis, 2019

2017

Failing Faster: Overlapping Patterns for Property-Based Testing.

Jonathan Fowler, Graham Hutton

Proceedings of the Practical Aspects of Declarative Languages, 2017

The continuity of monadic stream functions.

Venanzio Capretta, Jonathan Fowler

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2015

Towards a Theory of Reach.

Jonathan Fowler, Graham Hutton

Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015

1996

An algorithm for power estimation in switched-capacitor circuits.

Chad Young, Giorgio Casinovi, Jonathan Fowler, Paul Kerstetter

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996