Ralph‐Johan Back

About

Ralph‐Johan Back has authored 26 papers that have received a total of 273 indexed citations. This includes 17 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Logic, programming, and type systems (12 papers), Formal Methods in Verification (11 papers) and Software Testing and Debugging Techniques (4 papers). Ralph‐Johan Back is often cited by papers focused on Logic, programming, and type systems (12 papers), Formal Methods in Verification (11 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in Finland, The Netherlands and Italy. Ralph‐Johan Back's co-authors include Joakim Wright, Ion Petre, Corrado Priami, Iván Porres and E.P. de Vink and has published in prestigious journals such as Lecture notes in computer science, Networks and Information and Computation.

In The Last Decade

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Paula Cabrera‐Freitag Breakdown of academic impact, for papers by Mary Noonan Breakdown of academic impact, for papers by Maryam Sohrabi Breakdown of academic impact, for papers by Jun Ho Huh Breakdown of academic impact, for papers by Eryk Andreas Breakdown of academic impact, for papers by Shouman Wang Breakdown of academic impact, for papers by T.E. Gills Breakdown of academic impact, for papers by Shigeru Hanaoka