20 citations · 21 across the 2 of their papers we have counts for
2 papers
cs.DL2017★ 20 cited
Analysing Scientific Collaborations of New Zealand Institutions using Scopus Bibliometric Data
Samin Aref, David Friggens, Shaun Hendy
Scientific collaborations are among the main enablers of development in small national science systems. Although analysing scientific collaborations is a well-established subject i…
cs.LO2015★ 1 cited
Collapsing Threads Safely with Soft Invariants
David Friggens, Lindsay Groves
Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and produces finite abstract systems. Despite providing a finite bound,…