Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Cuiju Luan
Tidjani Négadi
Rongze Xia
Daniel P. Kennedy
Barbara Aquilani
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chang-Duo Liang
Chen Ma
Home
/
Author
/
HONGSEOK YANG
Author Info
Open Visualization
Name
Papers
Collaborators
HONGSEOK YANG
3
5
Citations
PageRank
Referers
1
1.03
2
Referees
References
12
4
Publications (3 rows)
Collaborators (5 rows)
Referers (2 rows)
Referees (12 rows)
Title
Citations
PageRank
Year
An Introduction to Probabilistic Programming.
1
0.35
2018
Linearizability with Ownership Transfer
0
0.34
2013
A Semantic Basis for Local Reasoning
0
0.34
2002
1
