Formal Models for Expert Finding on DBLP Bibliography Data | Synapse