Thomas Bjørner is on CollEc

rank value
closeness 20232 5.37333
betweenness 21010 0.189571

co-authors

  1. Lars Hansen [pha499]