Ralph‐Johan Back
Impact in
- Software top 5%
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
-
- Formal Methods in Verification
Papers in
-
- Logic, programming, and type systems 19
- Logic, Reasoning, and Knowledge 8
- Advanced Software Engineering Methodologies 3
-
- Formal Methods in Verification 18
- Computability, Logic, AI Algorithms 3
- Co-authors
- Joakim Wright (4 shared papers)Kaisa Sere (3 shared papers)Tapio Salakoski (1 shared paper)Ion Petre (2 shared papers)Iván Porres (2 shared papers)Corrado Priami (1 shared paper)Michael Butler (1 shared paper)Linda Mannila (2 shared papers)
- Journals
- Formal Aspects of Computing (6 papers)Natural Computing (1 paper)Journal of Logical and Algebraic Methods in Programming (1 paper)Networks (1 paper)Simulation Modelling Practice and Theory (1 paper)
- Partner nations
- FinlandItalyUnited Kingdom
In The Last Decade
Ralph‐Johan Back
34 papers receiving 530 citations
Peers
Comparison fields: 5 of 57
- Software 148
- Computational Theory and Mathematics 293
- Hardware and Architecture 81
- Computer Science Applications 64
- Artificial Intelligence 326
Countries citing papers authored by Ralph‐Johan Back
This map shows the geographic impact of Ralph‐Johan Back'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 Ralph‐Johan Back with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ralph‐Johan Back more than expected).
Fields of papers citing papers by Ralph‐Johan Back
This network shows the impact of papers produced by Ralph‐Johan Back. 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 Ralph‐Johan Back. The network helps show where Ralph‐Johan Back may publish in the future.
Co-authors
The 19 scholars most cited alongside Ralph‐Johan Back, 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 37 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 1998 | 146 | |
| 2 | Correctness preserving program refinements: Proof theory and applications | 1980 | 100 |
| 3 | Why complicate things?: introducing programming in high school using Python | 2006 | 72 |
| 4 | 1989 | 42 | |
| 5 | 2010 | 37 | |
| 6 | 2008 | 22 | |
| 7 | 2009 | 16 | |
| 8 | 1999 | 13 | |
| 9 | Action Systems with Synchronous Communication | 1994 | 13 |
| 10 | Continuous action systems as a model for hybrid systems | 2001 | 12 |
| 11 | 2000 | 12 | |
| 12 | 1994 | 11 | |
| 13 | STUDENT JUSTIFICATIONS IN HIGH SCHOOL MATHEMATICS | 2010 | 8 |
| 14 | 2000 | 8 | |
| 15 | 1998 | 7 | |
| 16 | Refinement Concepts Formalized in Higher Order Logic. | 1990 | 6 |
| 17 | 2006 | 6 | |
| 18 | 2009 | 6 | |
| 19 | Modeling and Verifying a Temperature Control System using Continuous Action Systems | 2000 | 4 |
| 20 | 2004 | 4 |
About Ralph‐Johan Back
Ralph‐Johan Back is a scholar working on Artificial Intelligence, Computational Theory and Mathematics, Software, Computer Networks and Communications and Information Systems, having authored 37 papers that have together received 575 indexed citations. Recurring topics across this work include Logic, programming, and type systems (19 papers), Formal Methods in Verification (18 papers), Logic, Reasoning, and Knowledge (8 papers), Software Testing and Debugging Techniques (6 papers), Advanced Software Engineering Methodologies (3 papers), Software Engineering Research (3 papers), Computability, Logic, AI Algorithms (3 papers) and Model-Driven Software Engineering Techniques (3 papers). The work is most often cited by research in Software (148 citations), Computational Theory and Mathematics (293 citations), Hardware and Architecture (81 citations), Computer Science Applications (64 citations) and Artificial Intelligence (326 citations). Ralph‐Johan Back has collaborated with scholars based in Finland, Italy and United Kingdom. Frequent co-authors include Joakim Wright, Kaisa Sere, Tapio Salakoski, Ion Petre, Iván Porres, Corrado Priami, Michael Butler, Linda Mannila, Andrzej Mizera and Andrey Mikhailov. Their work appears in journals such as Formal Aspects of Computing, Natural Computing, Journal of Logical and Algebraic Methods in Programming, Networks and Simulation Modelling Practice and Theory.
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.