Dines Bjørner
About
Dines Bjørner has authored 40 papers that have received a total of 320 indexed citations.
This includes 23 papers in Artificial Intelligence, 15 papers in Software and 10 papers in Information Systems. The topics of these papers are Model-Driven Software Engineering Techniques (15 papers), Advanced Software Engineering Methodologies (11 papers) and Logic, programming, and type systems (7 papers). Dines Bjørner is often cited by papers focused on Model-Driven Software Engineering Techniques (15 papers), Advanced Software Engineering Methodologies (11 papers) and Logic, programming, and type systems (7 papers) and collaborates with scholars based in Denmark, United States and Singapore. Dines Bjørner's co-authors include Manfred Broy, Neil D. Jones, A. P. Ershov, Cliff B. Jones and Jorge Cuéllar and has published in prestigious journals such as Future Generation Computer Systems, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Hussam N. Fakhouri Top fields papers by Simon P. Newman are about Top authors papers by Junko Hara are co-authored with Top journals papers by Michael McVaugh are published in Top countries impacted by papers by Ana Paula Fukushiro Top journals papers by Guanping Feng are published in Top countries impacted by papers by G. S. Rossano Top authors papers by José María Arana Martínez are co-authored with