Concepedia

Aquinas Hobor

AH

Statistics

Publications

12

Citations

2.7K

H-Index

11

Active since

2008

Affiliations

National University of Singapore(Current)

Yale-NUS College

Princeton University

University College London

Aquinas Hobor is an author at National University of Singapore specializing in computer science, computing, and formal methods.

Publications per year

2008–2019

12

Publications

12

Making Smart Contracts Smarter

Loi Luu, Duc-Hiep Chu, Hrishi Olickel et al. · 2016 · 2.2K citations

Computing, Computer Science, Information Technology +14

On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining

Loi Luu, Ratul Saha, Inian Parameshwaran et al. · 2015 · 165 citations · Full text

Computing, Computer Science, Computer Systems +9

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

Ivica Nikolić, Aashish Kolluri, Ilya Sergey et al. · 2018 · 120 citations · Full text

Computing, Computer Science, Cybersecurity +15

Scilla: a Smart Contract Intermediate-Level LAnguage

Ilya Sergey, Amrit Kumar, Aquinas Hobor · arXiv (Cornell University) · 2018 · 58 citations · Full text

Computing, Computer Science, Computer Systems +17

The ramifications of sharing in data structures

Aquinas Hobor, Jules Villard · 2013 · 51 citations

Computing, Computer Science, Algorithms +13

1–5 of 12