Anders Peter Ravn
Impact in
- Computational Theory and Mathematics top 0.2%
- Formal Methods in Verification
- Software top 2%
- Model-Driven Software Engineering Techniques
Papers in
-
- Formal Methods in Verification 55
-
- Real-Time Systems Scheduling 30
- Embedded Systems Design Techniques 11
- Co-authors
- Zhou Chaochen (6 shared papers)Hans Rischel (20 shared papers)C. A. R. Hoare (3 shared papers)Anil Nerode (1 shared paper)Michael R. Hansen (4 shared papers)Victoria Stavridou (4 shared papers)Ji Wang (1 shared paper)Martin Schoeberl (9 shared papers)
- Journals
- IEEE Transactions on Software Engineering (3 papers)Lecture notes in computer science (20 papers)Software Practice and Experience (2 papers)International Journal on Software Tools for Technology Transfer (2 papers)ACM Transactions on Programming Languages and Systems (1 paper)
- Partner nations
- DenmarkGermanyUnited Kingdom
In The Last Decade
Anders Peter Ravn
115 papers receiving 2.4k citations
Anders Peter Ravn's Hit Papers
Peers
Comparison fields: 5 of 70
- Computational Theory and Mathematics 1.5k
- Software 262
- Hardware and Architecture 314
- Artificial Intelligence 686
- Safety, Risk, Reliability and Quality 142
Countries citing papers authored by Anders Peter Ravn
This map shows the geographic impact of Anders Peter Ravn'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 Anders Peter Ravn with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Anders Peter Ravn more than expected).
Fields of papers citing papers by Anders Peter Ravn
This network shows the impact of papers produced by Anders Peter Ravn. 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 Anders Peter Ravn. The network helps show where Anders Peter Ravn may publish in the future.
Co-authors
The 25 scholars most cited alongside Anders Peter Ravn, 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 118 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | A calculus of durations Hit paper breakdown → | 1991 | 579 |
| 2 | Hybrid Systems Hit paper breakdown → | 1993 | 447 |
| 3 | 1993 | 130 | |
| 4 | 1993 | 120 | |
| 5 | 1998 | 107 | |
| 6 | 1996 | 98 | |
| 7 | 1994 | 67 | |
| 8 | 1991 | 52 | |
| 9 | 2011 | 51 | |
| 10 | 2008 | 45 | |
| 11 | 2002 | 37 | |
| 12 | 1992 | 36 | |
| 13 | 2011 | 31 | |
| 14 | 1992 | 29 | |
| 15 | 2012 | 29 | |
| 16 | 2012 | 28 | |
| 17 | 2008 | 27 | |
| 18 | A ProCos Project Description: Esprit BRA 3104 | 1989 | 25 |
| 19 | Refining System Requirements to Program Specifications | 1996 | 25 |
| 20 | 2009 | 23 |
About Anders Peter Ravn
Anders Peter Ravn is a scholar working on Computational Theory and Mathematics, Hardware and Architecture, Software, Artificial Intelligence and Safety, Risk, Reliability and Quality, having authored 118 papers that have together received 2.6k indexed citations. Recurring topics across this work include Formal Methods in Verification (55 papers), Real-Time Systems Scheduling (30 papers), Logic, programming, and type systems (20 papers), Embedded Systems Design Techniques (11 papers), Advanced Software Engineering Methodologies (10 papers), Safety Systems Engineering in Autonomy (7 papers), Service-Oriented Architecture and Web Services (6 papers) and Model-Driven Software Engineering Techniques (6 papers). The work is most often cited by research in Computational Theory and Mathematics (1.5k citations), Software (262 citations), Hardware and Architecture (314 citations), Artificial Intelligence (686 citations) and Safety, Risk, Reliability and Quality (142 citations). Anders Peter Ravn has collaborated with scholars based in Denmark, Germany and United Kingdom. Frequent co-authors include Zhou Chaochen, Hans Rischel, C. A. R. Hoare, Anil Nerode, Michael R. Hansen, Victoria Stavridou, Ji Wang, Martin Schoeberl, Ernst-Rüdiger Olderog and Zhiming Liu. Their work appears in journals such as IEEE Transactions on Software Engineering, Lecture notes in computer science, Software Practice and Experience, International Journal on Software Tools for Technology Transfer and ACM Transactions on Programming Languages and Systems.
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.