3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.SE2019★ 3 cited
Refinement type contracts for verification of scientific investigative software
Maxwell Shinn
Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural…
physics.soc-ph2017
Versatility of nodal affiliation to communities
Maxwell Shinn, Rafael Romero-Garcia, Jakob Seidlitz +3
Graph theoretical analysis of the community structure of networks attempts to identify the communities (or modules) to which each node affiliates. However, this is in most cases an…