• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Monographs (5):

• Ralph-Johan Back, Joakim von Wright, Mathematics with a Little Bit of Logic: Structured Derivations in High-School Mathematics. Manuscript, 2006.
• Ralph-Johan Back, Joakim von Wright, Matematiikka logiikan avulla: rakenteiset päättelyketjut lukion matematiikassa. Manuscript, 2006.
• Ralph-Johan Back, Joakim von Wright, Matematik med litet logic: Strukturerade härledningar i gymnasiematematiken. Manuscript, 2005.
• Ralph-Johan Back, Joakim von Wright, Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science, Springer-Verlag, 1998.
• Ralph-Johan Back, Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Centre, 1980.

Edited special issues of journals (2):

• Ralph-Johan Back, Ion Petre, Corrado Priami, Erik de Vink (Eds.), Special issue on Computational Models for Cell Processes. Transactions on Computational Systems Biology XIII, 2011.
• Ralph-Johan Back, Ion Petre, Corrado Priami (Eds.), Special Issue on Computational Models for Cell Processes. Transactions on Computational Systems Biology XI, 2009.

Edited proceedings (3):

• Ralph-Johan Back, Ion Petre, Erik de Vink (Eds.), Proceedings of Computational Models for Cell Processes, 6, EPTCS, 2009.
• Ralph-Johan Back, Mikołaj Olszewski, Damian Soriano (Eds.), Deseo Meeting Scheduler: Towards Automated Verification of Database Integrity Constraints, 2008.
• Ralph-Johan Reinhold Back, Kaisa Sere (Eds.), Proceedings of the 5th Nordic Workshop on Program Correctness, Reports on Computer Science and Mathematics, Ser. B, Åbo Akademi, 1994.

Articles in journals (51):

• Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson, Verification and code generation for invariant diagrams in Isabelle. Journal of Logical and Algebraic Methods in Programming 84(1), 19–36, 2015.
• Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre, Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentins. IEEE-ACM Transactions on Computational Biology and Bioinformatics 9(3), 885–898, 2012.
• Viorel Preoteasa, Ralph-Johan Back, Invariant Diagrams with Data Refinement . Formal Aspects of Computing 24(1), 67–95, 2012.
• Ion Petre, Andrzej Mizera, Claire Hyder, Annika Meinander, Andrey Mikhailov, Richard Morimoto, Lea Sistonen, John Eriksson, Ralph-Johan Back, A Simple Mass-Action Model for the Eukaryotic Heat Shock Response and its Mathematical Validation. Natural Computing 10(1), 595–612, 2011.
• Ion Petre, Andrzej Mizera, Claire Hyder, Annika Meinander, Andrey Mikhailov, Richard Morimoto, Lea Sistonen, John Eriksson, Ralph-Johan Back, A Simple Mass-Action Model for the Eukaryotic Heat Shock Response and Its Mathematical Validation. Natural Computing , 2010.
• Mauno Rönkkö, Marina Waldén, Ralph-Johan Back, Beyond Particle Systems: Operator Networks. Simulation Modelling Practice and Theory , 2008.
• Ralph-Johan Back, Luka Milovanov, Ivan Porres, Development andExperimentation in an Academic Environment: The Gaudí Factory. Systems and Software. Elsevier. , 2007.
• Ralph-Johan Back, Viorel Preoteasa, An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification. Formal Aspects of Computing 17(1), 69 – 90, 2005.
• Ralph-Johan Back, Joakim von Wright, Compositional Action System Refinement. Formal Aspects of Computing 15(2), 103–117, 2003.
• Ralph-Johan Back, Luigia Petre, Ivan Porres, Continuous Action Systems as a Model for Hybrid Systems. Nordic Journal of Computing 8(1), 2–21, 2001.
• Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright, Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects of Computing 12, 18–40, 2000.
• Ralph-Johan Back, Joakim von Wright, Encoding, Decoding, and Data Refinement. Formal Aspects of Computing , 2000.
• Ralph-Johan Back, Joakim von Wright, Encoding, Decoding and Data Refinement. Formal Aspects of Computing 12, 313–349, 2000.
• Ralph-Johan Back, Joakim von Wright, Contracts, Games and Refinement. Information and Computation 156, 25–45, 2000.
• Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre, Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin. 9, 885–98, 2000.
• Ralph-Johan Back, Joakim von Wright, Reasoning Algebraically about Loops. Acta Informatica 36, 295–334, 1999.
• Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculational Proof. Formal Aspects of Computing 9, 469–483, 1998.
• Ralph-Johan Back, Jim Grundy, Joakim von Wright, Structured Calculation Proof. 9, 1997.
• Ralph-Johan Back, Qiwen W. Xu, Refinement of Fair Action Systems. Acta Informatica 35, 1997.
• Ralph-Johan Back, Alain Martin, Kaisa Sere, Specifying the Caltech Asynchronous Microprocessor. 26, 1996.
• Ralph-Johan Back, Kaisa Sere, From Action Systems to Modular Systems. Software - Concepts and Tools (17), 26–39, 1996.
• Ralph-Johan Back, Kaisa Sere, Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8(3), 324–346, 1996.
• Ralph-Johan Reinhold Back, Alain J. Martin, Kaisa Sere, Specifying the Caltech asynchronous microprocessor. Science of Computer Programming 26, 79–97, 1996.
• Barbro Back, Ralph-Johan Back, Financial Statement Planning in the Presence of Tax Constraints. European Journal of Operational Research Vol.85, 548–563, 1995.
• Ralph-Johan Back, Joakim von Wright, Games and Winning Strategies. 53(3), 1995.
• Ralph-Johan Reinhold Back, Joakim von Wright, Game and Winning Strategies. Information Processing Letters 53(3), 165–172, 1995.
• Ralph-Johan Back, Joakim von Wright, Statement Inversion and Strongest Postcondition. 20, 1993.
• Tom Lönnroth, Jorma Hattula, R. Julin, A. Lampinen, Mats Aspnäs, Ralph-Johan Back, Jens Granlund, Patrik Waxlax, Analysis of Stimulated Triples Gamma Ray Data on a 100 Processor Transputer System. Nuclear Instruments and Methods in Physics Research Section a: Accelerators Spectrometers Detectors and Associated Equipment A 332, 554–560, 1993.
• Hong Shen, Ralph-Johan Back, Construction of Large Size Interconnection Networks With High Performance. 23, 1993.
• Ralph-Johan Back, Joakim von Wright, Combining Angels, Demons and Miracles in Program Specifications. 100, 1992.
• Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio, On Equivalence Completions of Fairness Assumptions. 4(6), 1992.
• Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Action Systems. 12, 1991.
• Mats Aspnäs, Ralph-Johan Back, Thor-Erik Malén, The Hathi-2 Multiprocessor System. Microprocessors and Microsystems 14(7), 457–466, 1990.
• Ralph-Johan Back, FINSOFTIII: Rinnakkaislaskenta Ja Hermoverkot. (1), 1990.
• Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Parallel Algorithms. 13(2-3), 1990.
• Ralph-Johan Back, Joakim von Wright, Refinement Concepts Formalized in Higher Order Logic. 2, 1990.
• Ralph-Johan Back, Joakim von Wright, Duality in Specification Languages: A Lattice Theoretical Approach. 27(7), 1990.
• Ralph-Johan Back, Reino Kurki-Suonio, Decentralization of Process Nets with Centralized Control. 3(2), 1989.
• Ralph-Johan Back, A Calculus of Refinements for Program Derivations. Acta Informatica 25, 1988.
• Ralph-Johan Back, Reino Kurki-Suonio, Distributed Co-Operation with Action Systems. 10(4), 1988.