R. J. R. Back

2.6k total citations
39 papers, 875 citations indexed

About

R. J. R. Back is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, R. J. R. Back has authored 39 papers receiving a total of 875 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. Recurrent topics in R. J. R. Back's work include Logic, programming, and type systems (26 papers), Formal Methods in Verification (17 papers) and Parallel Computing and Optimization Techniques (8 papers). R. J. R. Back is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (17 papers) and Parallel Computing and Optimization Techniques (8 papers). R. J. R. Back collaborates with scholars based in Finland, Australia and United States. R. J. R. Back's co-authors include Reino Kurki-Suonio, Joakim Wright, Kaisa Sere, Heikki Mannila, Qiwen Xu, Jim Grundy, Iván Porres, Magnus O. Myreen, Alain J. Martin and Kari‐Jouko Räihä and has published in prestigious journals such as European Journal of Operational Research, Theoretical Computer Science and Journal of Computer and System Sciences.

In The Last Decade

R. J. R. Back

34 papers receiving 729 citations

Peers

R. J. R. Back

AI

CTM

CNC

SOFTW

HA

Ernst-Rüdiger Olderog Germany

Reino Kurki-Suonio Finland

Laura K. Dillon United States

Derek C. Oppen United States

P. J. Landin United Kingdom

Yves Bertot France

Roni Rosner Israel

Martin Hofmann Germany

Robert F. Stärk Switzerland

Peter D. Mosses Denmark

Ernst-Rüdiger Olderog Germany

R. J. R. Back

654 ×1.1

AI

708 ×1.4

CTM

213 ×0.8

CNC

178 ×0.8

SOFTW

132 ×0.7

HA

Citations per year, relative to R. J. R. Back R. J. R. Back (= 1×) peers Ernst-Rüdiger Olderog

Countries citing papers authored by R. J. R. Back

Since Specialization

Citations

This map shows the geographic impact of R. J. R. 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 R. J. R. Back with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites R. J. R. Back more than expected).

Fields of papers citing papers by R. J. R. Back

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by R. J. R. 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 R. J. R. Back. The network helps show where R. J. R. Back may publish in the future.

Co-authorship network of co-authors of R. J. R. Back

This figure shows the co-authorship network connecting the top 25 collaborators of R. J. R. Back. A scholar is included among the top collaborators of R. J. R. Back based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with R. J. R. Back. R. J. R. Back is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Back, R. J. R. & Magnus O. Myreen. (2005). Tool support for invariant based programming. 1383. 8 pp.–8 pp.. 4 indexed citations

2.

Back, R. J. R., et al.. (2004). Evaluating the XP customer model and design by contract. 318–325. 4 indexed citations

3.

Back, R. J. R. & Reino Kurki-Suonio. (2002). Superposition and fairness in reactive system refinement. 366. 162–172. 3 indexed citations

4.

Back, R. J. R. & Joakim Wright. (1999). Reasoning algebraically about loops. Acta Informatica. 36(4). 295–334. 25 indexed citations

5.

Back, R. J. R., et al.. (1999). Products in the Refinement Calculus. 1 indexed citations

6.

Back, R. J. R. & Kaisa Sere. (1996). Superposition refinement of reactive systems. Formal Aspects of Computing. 8(3). 324–346. 39 indexed citations

7.

Back, R. J. R., et al.. (1995). Financial statement planning in the presence of tax constraints. European Journal of Operational Research. 85(1). 66–81. 5 indexed citations

8.

Back, R. J. R. & Joakim Wright. (1992). Combining angels, demons and miracles in program specifications. Theoretical Computer Science. 100(2). 365–383. 21 indexed citations

9.

Back, R. J. R., et al.. (1990). A programming environment for a transputer-based multiprocessor system. Acta Cybernetica. 9(3). 291–301. 3 indexed citations

10.

Back, R. J. R. & Kaisa Sere. (1990). Stepwise refinement of parallel algorithms. Science of Computer Programming. 13(2-3). 133–180. 49 indexed citations

11.

Back, R. J. R. & Joakim Wright. (1990). Refinement concepts formalised in higher order logic. Formal Aspects of Computing. 2(1). 247–272. 35 indexed citations

12.

Back, R. J. R. & Reino Kurki-Suonio. (1989). Decentralization of process nets with centralized control. Distributed Computing. 3(2). 73–87. 73 indexed citations

13.

Back, R. J. R.. (1988). A calculus of refinements for program derivations. Acta Informatica. 25(6). 593–624. 119 indexed citations

14.

Back, R. J. R. & Reino Kurki-Suonio. (1987). A new paradigm for the design of concurrent systems. ACM SIGAda Ada Letters. VII(6). 110–112. 3 indexed citations

15.

Back, R. J. R. & Heikki Mannila. (1984). A semantic approach to program modularity. Information and Control. 60(1-3). 138–167. 1 indexed citations

16.

Back, R. J. R.. (1983). A continuous semantics for unbounded nondeterminism. Theoretical Computer Science. 23(2). 187–210. 16 indexed citations

17.

Back, R. J. R. & Reino Kurki-Suonio. (1983). Decentralization of process nets with centralized control. 131–142. 127 indexed citations

18.

Back, R. J. R.. (1981). On correct refinement of programs. Journal of Computer and System Sciences. 23(1). 49–68. 65 indexed citations

19.

Back, R. J. R.. (1981). Proving total correctness of nondeterministic programs in infinitary logic. Acta Informatica. 15(3). 233–249. 20 indexed citations

20.

Back, R. J. R.. (1980). Checking whether programs are correct or incorrect. Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands. 1–36. 1 indexed citations

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.

Explore authors with similar magnitude of impact