Dines Bjørner

40 papers and 320 indexed citations i.

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