Peer-reviewed publications

A4 Conference proceedings
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
View on publisher's site
A1 Journal article (refereed)
Verification and code generation for invariant diagrams in Isabelle (2015)
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
View on publisher's site
A4 Conference proceedings
Proofs and Refutations in Invariant-Based Programming (2014)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Springer
View on publisher's site
A3 Book section, Chapters in research books
A New Mathematical Model for the Heat Shock Response (2009)
Petre I, Mizera A, Hyder CL, Mikhailov A, Eriksson JE, Sistonen L, Back RJ
Springer
View on publisher's site
A4 Conference proceedings
Software Development and Experimentation in an Academic Environment: The Gaudi Experience (2005)
Back R, Milovanov L, Porres I
A4 Conference proceedings
A Workbench to Experiment on New Model Engineering Applications (2003)
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan
Porres

Springer
View on publisher's site
A1 Journal article (refereed)
Continuous Action Systems as a Model for Hybrid Systems (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Nordic Journal of Computing
A4 Conference proceedings
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A1 Journal article (refereed)
Quantitative analysis of the self-assembly strategies of intermediate filaments from tetrameric vimentin (2000)
Czeizler E, Mizera A, Czeizler E, Back RJ, Eriksson JE, Petre I
IEEE/ACM Transactions on Computational Biology and Bioinformatics
View on publisher's site
A4 Conference proceedings
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Conference proceedings
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A1 Journal article (refereed)
Analysis of Stimulated Triples Gamma Ray Data on a 100 Processor Transputer System (1993)
T. Lönnroth, J. Hattula, R. Julin, A. Lampinen, M. Aspnäs, R.J.R. Back, J. Granlund, P. Waxlax
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
View on publisher's site
A4 Conference proceedings
Millipede - A Programming Environment Providing Visual Support for Parallel Programming (1992)
Aspnäs M, Back R, Långbacka T
IOS Press
IOS Press
A1 Journal article (refereed)
The Hathi-2 Multiprocessor System (1990)
M Aspnäs M, R. J. R Back, T-E Malén
Microprocessors and Microsystems
A4 Conference proceedings
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back


Other publications

D4 Published development or research report or study
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Published development or research report or study
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Published development or research report or study
Analysis of Three-Dimensional Nuclear Data on a Transputer-Based Multiprocessor System (1991)
R.J.R. Back, M. Aspnäs, J. Granlund, J. Hattula, R. Julin, A. Lampinen, T. Lonnroth, P. Waxlax,
D4 Published development or research report or study
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Published development or research report or study
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
Aspnäs M, Back R
D4 Published development or research report or study
Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks (1989)
M. Aspnäs M, R. J. R Back R, R. Kurki-Suonio
D4 Published development or research report or study
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Published development or research report or study
The Hathi-2 Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back, T-E. Malén
D4 Published development or research report or study
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere

Last updated on 2019-20-10 at 08:08

Get in contact