Dines Bjørner
Impact in
- Software top 1%
- Model-Driven Software Engineering Techniques
- Software Testing and Debugging Techniques
- Software Reliability and Analysis Research
-
- Formal Methods in Verification
Papers in
-
- Advanced Software Engineering Methodologies 23
- Logic, programming, and type systems 14
- Semantic Web and Ontologies 6
- Software 32
- Model-Driven Software Engineering Techniques 32
- Co-authors
- CB Jones (1 shared paper)Martin C. Henson (1 shared paper)Neil D. Jones (2 shared papers)A. P. Ershov (2 shared papers)Manfred Broy (6 shared papers)Jianwen Xiang (3 shared papers)Jorge Cuéllar (1 shared paper)Martin Pěnička (2 shared papers)
- Journals
- Formal Aspects of Computing (2 papers)Future Generation Computer Systems (2 papers)ACM Transactions on Software Engineering and Methodology (1 paper)ACM SIGPLAN Notices (1 paper)BIT Numerical Mathematics (1 paper)
- Partner nations
- DenmarkUnited StatesJapan
In The Last Decade
Dines Bjørner
72 papers receiving 633 citations
Peers
Comparison fields: 5 of 52
- Software 300
- Computational Theory and Mathematics 300
- Artificial Intelligence 495
- Hardware and Architecture 86
- Information Systems 279
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 17 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 84 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1978 | 148 | |
| 2 | Formal Specification and Software Development | 1982 | 103 |
| 3 | Proceedings of the 11th international conference on Software engineering | 1989 | 62 |
| 4 | 1980 | 42 | |
| 5 | 1987 | 37 | |
| 6 | Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct., 1987 | 1988 | 36 |
| 7 | Software Engineering, vol. 3: Domains, Requirements and Software Design | 2006 | 32 |
| 8 | 2007 | 30 | |
| 9 | 2001 | 22 | |
| 10 | Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) | 2006 | 19 |
| 11 | Programming Languages: Formal Development of Interpreters and Compilers. | 1977 | 12 |
| 12 | A Formal Model of a Generalized CSP-like Language. | 1980 | 11 |
| 13 | Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series) | 2005 | 11 |
| 14 | 2000 | 10 | |
| 15 | Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) | 2005 | 10 |
| 16 | 2012 | 9 | |
| 17 | VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | 1990 | 9 |
| 18 | 1990 | 7 | |
| 19 | 2008 | 7 | |
| 20 | 1991 | 7 |
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 84 papers that have together received 771 indexed citations. Recurring topics across this work include Model-Driven Software Engineering Techniques (32 papers), Advanced Software Engineering Methodologies (23 papers), Logic, programming, and type systems (14 papers), Formal Methods in Verification (12 papers), Service-Oriented Architecture and Web Services (7 papers), Software Engineering Techniques and Practices (6 papers), Semantic Web and Ontologies (6 papers) and Business Process Modeling and Analysis (5 papers). The work is most often cited by research in Software (300 citations), Computational Theory and Mathematics (300 citations), Artificial Intelligence (495 citations), Hardware and Architecture (86 citations) and Information Systems (279 citations). Dines Bjørner has collaborated with scholars based in Denmark, United States and Japan. Frequent co-authors include CB Jones, Martin C. Henson, Neil D. Jones, A. P. Ershov, Manfred Broy, Jianwen Xiang, Jorge Cuéllar, Martin Pěnička, C. A. R. Hoare and J. Hartmanis. Their work appears in journals such as Formal Aspects of Computing, Future Generation Computer Systems, ACM Transactions on Software Engineering and Methodology, ACM SIGPLAN Notices and BIT Numerical Mathematics.
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.