46 citations · 48 across the 2 of their papers we have counts for
2 papers
cs.SE2018★ 2 cited
Literature Review: Smart Contract Semantics
Varun Mathur
This review presents and evaluates various formalisms for the purpose of modelling the semantics of financial derivatives contracts. The formalism proposed by Lee is selected as th…
astro-ph.GA2017★ 46 cited
Median Statistics Estimate of the Distance to the Galactic Center
Tia Camarillo, Varun Mathur, Tyler Mitchell +1
We show that error distributions of a compilation of 28 recent independent measurements of the distance from the Sun to the Galactic center, , are wider than a standard Gaus…