Back to authors

Dines Bjørner

Author ID: 29750
ORCID: -
Most Frequent Institution: Technical University of Denmark
Pagerank: 0.0074438322
Overall Rank: 13,121 | 37.64%
Paper Count: 1

Affiliation Timeline

Technical University of Denmark Most frequent 1982 | 1 papers

Incoming Non-self Citations Over Time

Total yearly non-self incoming citations across all papers by this author.

Publications by Paper Pagerank

Showing 1 of 1 publications.

Rank	Title	Year	Venue	Pagerank
7,805	Formalization of Database Systems — and a Formal Definition of IMS	1982	VLDB	5.5410638e-05