Referentgranskade publikationer

A4 Konferenspublikationer
A precise pictorial language for array invariants (2018)
Eriksson Johannes, Parsa Masoumeh, Back Ralph-Johan
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Verification and code generation for invariant diagrams in Isabelle (2015)
Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson
Visa på utgivarens sida
A4 Konferenspublikationer
Proofs and Refutations in Invariant-Based Programming (2014)
Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back
Springer
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
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
Visa på utgivarens sida
A4 Konferenspublikationer
Software Development and Experimentation in an Academic Environment: The Gaudi Experience (2005)
Back R, Milovanov L, Porres I
A4 Konferenspublikationer
A Workbench to Experiment on New Model Engineering Applications (2003)
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan
Porres

Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Continuous Action Systems as a Model for Hybrid Systems (2001)
Ralph-Johan Back, Luigia Petre, Ivan Porres
Nordic Journal of Computing
A4 Konferenspublikationer
Generalizing Action Systems to Hybrid Systems (2000)
Back R, Petre L, Porres I
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
Analysing UML Use Cases as Contracts (1999)
Back R, Petre L, Porres I
A4 Konferenspublikationer
General Hybrid Action Systems (1999)
Back R, Petre L, Porres Paltor I
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
Millipede - A Programming Environment Providing Visual Support for Parallel Programming (1992)
Aspnäs M, Back R, Långbacka T
IOS Press
IOS Press
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
The Hathi-2 Multiprocessor System (1990)
M Aspnäs M, R. J. R Back, T-E Malén
Microprocessors and Microsystems
A4 Konferenspublikationer
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formalising UML Use Cases in the Refinement Calculus (1999)
Back R, Petre L, Porres I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Generalizing Action Systems to Hybrid Systems (1999)
Back R, Petre L, Porres Paltor I
D4 Publicerad utvecklings- eller forskningsrapport eller studie
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 Publicerad utvecklings- eller forskningsrapport eller studie
Millipede - A Programming Environment Providing Graphical Support for Parallel Programming (1991)
M. Aspnäs, R.J.R. Back, T. Långbacka
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Programming Environment for a Transputer-Based Multiprocessor System (1989)
Aspnäs M, Back R
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks (1989)
M. Aspnäs M, R. J. R Back R, R. Kurki-Suonio
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Multiprocessor Applications in the Hathi Project (1989)
M. Aspnäs, R. J. R. Back
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Hathi-2 Multiprocessor System (1989)
M. Aspnäs, R.J.R. Back, T-E. Malén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere

Senast uppdaterad 2019-20-10 vid 08:08