| 2018 | IFM | A Precise Pictorial Language for Array Invariants. | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
| 2014 | IFM | Proofs and Refutations in Invariant-Based Programming. | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
| 2012 | ENASE | Agile Development with Stepwise Feature Introduction. | Mikolaj Olszewski, Ralph-Johan Back |
| 2011 | SAC | Semantics and proof rules of invariant based programs. | Ralph-Johan Back, Viorel Preoteasa |
| 2010 | ICFEM | Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. | Johannes Eriksson, Ralph-Johan Back |
| 2009 | CiE | Computational Heuristics for Simplifying a Biological Model. | Ion Petre, Andrzej Mizera, Ralph-Johan Back |
| 2007 | TAP | Testing and Verifying Invariant Based Programs in the SOCOS Environment. | Ralph-Johan Back, Johannes Eriksson, Magnus Myreen |
| 2005 | APSEC | Tool Support for Invariant Based Programming. | Ralph-Johan Back, Magnus Myreen |
| 2005 | PROFES | Software Development and Experimentation in an Academic Environment: The Gaudi Experience. | Ralph-Johan Back, Luka Milovanov, Ivan Porres |
| 2003 | APSEC | Reasoning about Pointers in Refinement Calculus. | Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa |
| 2003 | ICFP | Reasoning about recursive procedures with parameters. | Ralph-Johan Back, Viorel Preoteasa |
| 2002 | APSEC | Symbolic Simulation of Hybrid Systems. | Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm |
| 2002 | ICFEM | SFI: A Refinement Based Layered Software Architecture. | Ralph-Johan Back |
| 1999 | FM | Reasoning About Interactive Systems. | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
| 1999 | FM | Compositional Symmetric Sharing in B. | Martin Bchi, Ralph-Johan Back |
| 1995 | MPC | Exploring Summation and Product Operators in the Refinement Calculus. | Ralph-Johan Back, Michael J. Butler |
| 1995 | MPC | An Action System Specification of the Caltech Asynchronous Microprocessor. | Ralph-Johan Back, Alain J. Martin, Kaisa Sere |
| 1994 | CONCUR | Trace Refinement of Action Systems. | Ralph-Johan Back, Joakim von Wright |
| 1994 | FM | From Action Systems to Modular Systems. | Ralph-Johan Back, Kaisa Sere |
| 1991 | FORTE | Superposition Refinement of Parallel Algorithms. | Ralph-Johan Back, Kaisa Sere |
| 1989 | MPC | Stepwise Refinement of Action Systems. | Ralph-Johan Back, Kaisa Sere |
| 1989 | MPC | A Lattice-theoretical Basis for a Specification Language. | Ralph-Johan Back, Joakim von Wright |
| 1988 | ICALP | Serializability in Distributed Systems with Handshaking. | Ralph-Johan Back, Reino Kurki-Suonio |
| 1983 | PODC | Decentralization of Process Nets with Centralized Control. | Ralph-Johan Back, Reino Kurki-Suonio |
| 1983 | POPL | Derivation of Efficient DAG Marking Algorithms. | Ralph-Johan Back, Heikki Mannila, Kari-Jouko Rih |
| 1982 | ICALP | Locality in Modular Systems. | Ralph-Johan Back, Heikki Mannila |
| 1982 | PODC | A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). | Ralph-Johan Back, Heikki Mannila |
| 1980 | ICALP | Semantics of Unbounded Nondeterminism. | Ralph-Johan Back |