David Friggens

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 3

Top Topics

Projective Invariants

Top Venues

Publications

Samin Aref, David Friggens, Shaun Hendy
Analysing scientific collaborations of new zealand institutions using scopus bibliometric data. ACSW (2018)
Samin Aref, David Friggens, Shaun Hendy
Analysing Scientific Collaborations of New Zealand Institutions using Scopus Bibliometric Data. CoRR (2017)
David Friggens
A Logical Comparison of Citation Wakes and Generations. ISSI (2017)
David Friggens, Lindsay Groves
Collapsing Threads Safely with Soft Invariants. CoRR (2015)
David Friggens, Lindsay Groves
Shape Predicates Allow Unbounded Verification of Linearizability Using Canonical Abstraction. ACSC (2014)
David Friggens, Robert Goldblatt
A modal proof theory for final polynomial coalgebras. Theor. Comput. Sci. 360 (1-3) (2006)