Citation Impact
Citing Papers
An overview on smart contracts: Challenges, advances and platforms
2019 Standout
Dependent types and multi-monadic effects in F*
2016
A New Method of Isolation of Isoflavones from Glycine max (Soya Beans) by Complexation Technique
2008
Advances in Copper Complexes as Anticancer Agents
2013 Standout
Works of Robert Atkey being referenced
Parameterised notions of computation
2009
Trustworthy Global Computing
2007