Dines Bjørner (English Wikipedia)
Analysis of information sources in references of the Wikipedia article "Dines Bjørner" in English language version.
refsWebsite
Global rank
English rank
1st place
1st place
low place
low place
43rd place
161st place
low place
low place
9th place
13th place
dblp.org
- Dines Bjørner at DBLP Bibliography Server
- Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim, eds. (2007). Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. Papers presented at a Symposium held in Macao, China, September 24–25, 2007. LNCS. Vol. 4700. Springer. doi:10.1007/978-3-540-75221-9. ISBN 978-3-540-75220-2. Retrieved 2020-12-25.
doi.org
- Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim, eds. (2007). Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays. Papers presented at a Symposium held in Macao, China, September 24–25, 2007. LNCS. Vol. 4700. Springer. doi:10.1007/978-3-540-75221-9. ISBN 978-3-540-75220-2. Retrieved 2020-12-25.
dtu.dk
dtu.dk
- "Årsfest" (in Danish). Denmark: Technical University of Denmark. 26 April 2021. Retrieved 27 April 2021.
www2.compute.dtu.dk
- Bjørner, Dines (16 April 2016). "Biography". Denmark: Technical University of Denmark. Retrieved 18 August 2019.
fmeurope.org
- "FME Fellowship Awarded to Prof. Dines Bjørner". Formal Methods Europe. 24 November 2021. Retrieved 11 December 2021.
ifipnews.org
- "IFIP Announces 2023 Awards". IFIP. 26 October 2023. Archived from the original on 2023-11-03. Retrieved 2023-11-03.
web.archive.org
- "IFIP Announces 2023 Awards". IFIP. 26 October 2023. Archived from the original on 2023-11-03. Retrieved 2023-11-03.
wikidata.org
- Dines Bjørner at DBLP Bibliography Server
youtube.com
- Bjørner, Dines (20 September 2021). "The 2021 FME Fellowship Acceptance Speech". YouTube. Retrieved 11 December 2021.