David Friggens

According to our database, David Friggens authored at least 6 papers between 2006 and 2018.

Collaborative distances:

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

2018

Analysing scientific collaborations of new zealand institutions using scopus bibliometric data.

Samin Aref, David Friggens, Shaun Hendy

Proceedings of the Australasian Computer Science Week Multiconference, 2018

2017

A Logical Comparison of Citation Wakes and Generations.

David Friggens

Proceedings of the 16th International Conference on Scientometrics and Informetrics, 2017

2015

Collapsing Threads Safely with Soft Invariants.

David Friggens, Lindsay Groves

CoRR, 2015

2014

Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction.

David Friggens, Lindsay Groves

Proceedings of the Thirty-Seventh Australasian Computer Science Conference, 2014

2013

On the Use of Model Checking for the Bounded and Unbounded Verification of Nonblocking Concurrent Data Structures.

David Friggens

PhD thesis, 2013

2006

A modal proof theory for final polynomial coalgebras.

David Friggens, Robert Goldblatt

Theor. Comput. Sci., 2006