Dines Bjørner
Impact in
- Software top 1%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Computational Theory and Mathematics top 0.5%
- Formal Methods in Verification
Papers in
-
- Advanced Software Engineering Methodologies 44
- Logic, programming, and type systems 24
- Software 50
- Model-Driven Software Engineering Techniques 49
- Co-authors
- CB Jones (1 shared paper)A. P. Ershov (3 shared papers)Neil D. Jones (2 shared papers)Klaus Havelund (1 shared paper)Martin Pěnička (5 shared papers)Chris George (3 shared papers)C. A. R. Hoare (1 shared paper)Hans Langmaack (2 shared papers)
- Journals
- Lecture notes in computer science (33 papers)Formal Aspects of Computing (3 papers)Future Generation Computer Systems (2 papers)Journal of Logical and Algebraic Methods in Programming (1 paper)ACM SIGPLAN Notices (1 paper)
- Partner nations
- DenmarkUnited StatesSingapore
In The Last Decade
Dines Bjørner
119 papers receiving 1.4k citations
Peers
Comparison fields: 5 of 65
- Software 639
- Computational Theory and Mathematics 711
- Artificial Intelligence 1.2k
- Hardware and Architecture 190
- Information Systems 516
Countries citing papers authored by Dines Bjørner
This map shows the geographic impact of Dines Bjørner's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Dines Bjørner with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dines Bjørner more than expected).
Fields of papers citing papers by Dines Bjørner
This network shows the impact of papers produced by Dines Bjørner. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Dines Bjørner. The network helps show where Dines Bjørner may publish in the future.
Co-authors
The 25 scholars most cited alongside Dines Bjørner, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 136 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1978 | 282 | |
| 2 | Formal Specification and Software Development | 1982 | 170 |
| 3 | 1980 | 138 | |
| 4 | 1980 | 99 | |
| 5 | Proceedings of the 11th international conference on Software engineering | 1989 | 76 |
| 6 | Software Engineering, vol. 3: Domains, Requirements and Software Design | 2006 | 46 |
| 7 | Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 | 1988 | 45 |
| 8 | 1987 | 41 | |
| 9 | Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) | 2006 | 41 |
| 10 | 2014 | 32 | |
| 11 | Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) | 2005 | 23 |
| 12 | 1980 | 22 | |
| 13 | Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) | 2005 | 22 |
| 14 | Programming Languages: Formal Development of Interpreters and Compilers. | 1977 | 19 |
| 15 | 2010 | 19 | |
| 16 | VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | 1990 | 18 |
| 17 | 1979 | 18 | |
| 18 | 2008 | 17 | |
| 19 | 1978 | 17 | |
| 20 | Domains, requirements, and software design | 2006 | 16 |
About Dines Bjørner
Dines Bjørner is a scholar working on Artificial Intelligence, Software, Information Systems, Computational Theory and Mathematics and Computer Networks and Communications, having authored 136 papers that have together received 1.7k indexed citations. Recurring topics across this work include Model-Driven Software Engineering Techniques (49 papers), Advanced Software Engineering Methodologies (44 papers), Logic, programming, and type systems (24 papers), Formal Methods in Verification (22 papers), Software Engineering Research (13 papers), Software Engineering Techniques and Practices (13 papers), Service-Oriented Architecture and Web Services (12 papers) and Business Process Modeling and Analysis (11 papers). The work is most often cited by research in Software (639 citations), Computational Theory and Mathematics (711 citations), Artificial Intelligence (1.2k citations), Hardware and Architecture (190 citations) and Information Systems (516 citations). Dines Bjørner has collaborated with scholars based in Denmark, United States and Singapore. Frequent co-authors include CB Jones, A. P. Ershov, Neil D. Jones, Klaus Havelund, Martin Pěnička, Chris George, C. A. R. Hoare, Hans Langmaack, Jorge Cuéllar and J. Hartmanis. Their work appears in journals such as Lecture notes in computer science, Formal Aspects of Computing, Future Generation Computer Systems, Journal of Logical and Algebraic Methods in Programming and ACM SIGPLAN Notices.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.