Thomas Bjørner is on CollEc

rank value
closeness 22262 5.08328
betweenness 23719 0.236457

co-authors