Ralph-Johan Back

Publications

Books 20

Back, Ralph-Johan, Matematiikkaa logiikan avulla: Rakenteiset päättelyketjut yleisenä todistusmuotona. TUCS Lecture Notes 12. Turku Centre for Computer Science, 2009

Back, Ralph-Johan, Matematiikkaa logiikan avulla: Johdatus rakenteisiin päättelyketjuihin. TUCS Lecture Notes 10. Turku Centre for Computer Science, 2008

Back, Ralph-Johan, Matematiikkaa logiikan avulla: Logiikka ja rakenteiset päättelyketjut. TUCS Lecture Notes 11. Turku Centre for Computer Science, 2008

Back, Ralph-Johan, Matematik med lite logik: Introduktion till strukturerade härledningar. TUCS Lecture Notes 7. Turku Centre for Computer Science, 2008

Back, Ralph-Johan, Matematik med lite logik: Strukturerade härledningar som allmänt bevisformat. TUCS Lecture Notes 9. Turku Centre for Computer Science, 2008

Back, Ralph-Johan, Matematik med lite logik: Logik för strukturerade härledningar. TUCS Lecture Notes 8. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Matematik med Lite Logik - Strukturerade Härledningar i Gymnasiematematiken. TUCS Lecture Notes 1. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Matematiikkaa logiikan avulla: Lyhyt lukuteorian kurssi. TUCS Lecture Notes 5. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Matematiikkaa logiikan avulla: Pitkän matematiikan ylioppilaskoe, kevät 2003. TUCS Lecture Notes 6. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Matematiikkaa logiikan avulla: Rakenteiset päättelyketjut lukiomatematiikassa. TUCS Lecture Notes 4. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Matematik med Lite Logik - En Kort Kurs i Talteori. TUCS Lecture Notes 2. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Matematik med Lite Logik - Studentexamen i Lång Matematik, Våren 2003. TUCS Lecture Notes 3. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Wright, Joakim von, Mathematics with a Little Bit of Logic: Structured Derivations in High-School Mathematics. Manuscript, 2006

Back, Ralph-Johan and Wright, Joakim von, Matematiikka logiikan avulla: rakenteiset päättelyketjut lukion matematiikassa. Manuscript, 2006

Back, Ralph-Johan and Wright, Joakim von, Matematik med litet logic: Strukturerade härledningar i gymnasiematematiken. Manuscript, 2005

Back, Ralph-Johan and Sere, Kaisa and Petre, Luigia, CREST Progress Report 2004-2005. TUCS General Publication 40. Turku Centre for Computer Science, 2005

Back, Ralph-Johan and Sere, Kaisa, CREST Progress Report 2002-2003. TUCS General Publication 37. Turku Centre for Computer Science, 2004

Back, Ralph-Johan and Bos, Victor, Centre for Reliable Software Technology, Progress Report 2003. TUCS General Publication 24. Turku Centre for Computer Science, 2003

Back, Ralph-Johan and Wright, Joakim von, Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science 0. Springer-Verlag, 1998

Back, Ralph-Johan, Correctness Preserving Program Refinements: Proof Theory and Applications. Mathematical Centre, 1980

Chapters in edited books 6

Sallasmaa, Petri and Mannila, Linda and Peltomäki, Mia and Salakoski, Tapio and Salmela, Petri and Back, Ralph-Johan, Haasteet ja mahdollisuudet tietokonetuetussa matematiikan opetuksessa. In: Opetusteknologia koulun arjessa. Kankaanranta, Marja (Eds.). Jyväskylän yliopisto, Koulutuksen tutkimuslaitos, 2011

Sallasmaa, Petri and Liimatainen, Tero and Mannila, Linda and Peltomäki, Mia and Salakoski, Tapio and Salmela, Petri and Back, Ralph-Johan, Interaktiivinen oppimisympäristö matematiikan opetukseen – kokemuksia ja tulevaisuuden haasteita. In: Opetusteknologia koulun arjessa II. Kankaanranta, Marja and Vahtivuori-Hänninen, Sanna (Eds.). Jyväskylän yliopisto, Koulutuksen tutkimuslaitos, 2011

Petre, Ion and Mizera, Andrzej and Hyder, Claire L. and Mikhailov, Andrey and Eriksson, John E. and Sistonen, Lea and Back, Ralph-Johan, A New Mathematical Model for the Heat Shock Response. In: Algorithmic Bioprocesses. Condon, Anne and Harel, David and Kok, Joost N. and Salomaa, Arto and Winfree, Erik (Eds.). Springer, 2009 2

Back, Ralph-Johan, Incremental Software Construction with Refinement Diagrams. In: Engineering Theories of Software Intensive Systems. Broy, Gunbauer, Harel and Hoare (Eds.). NATO Science Series II: Mathematics, Physics and Chemistry Springer Verlag, 2005

Back, Ralph-Johan and Wright, Joakim von, Enforcing behavior with contract. In: Programming Methodology. McIver, Annabelle and Morgan, Carroll (Eds.). Monographs in Computer Science Springer-Verlag, 2003

Back, Ralph-Johan and Wright, Joakim von, Enforcing Behavior with Contracts. In: Monographs in Computer Science. McIver, Annabelle and Morgan, Carroll (Eds.). Springer-Verlag, 2003

Articles in journals 51

Preoteasa, Viorel and Back, Ralph-Johan and Eriksson, Johannes, Verification and code generation for invariant diagrams in Isabelle. In: Journal of Logical and Algebraic Methods in Programming. Elsevier, 2015

Preoteasa, Viorel and Back, Ralph-Johan, Invariant Diagrams with Data Refinement. In: Formal Aspects of Computing. Springer, 2012 2

Czeizler, Eugen and Mizera, Andrzej and Czeizler, Elena and Back, Ralph-Johan and Eriksson, John E. and Petre, Ion, Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentins. In: IEEE-ACM Transactions on Computational Biology and Bioinformatics. 2012 2

Petre, Ion and Mizera, Andrzej and Hyder, Claire and Meinander, Annika and Mikhailov, Andrey and Morimoto, Richard and Sistonen, Lea and Eriksson, John and Back, Ralph-Johan, A Simple Mass-Action Model for the Eukaryotic Heat Shock Response and its Mathematical Validation. In: Natural Computing. 2011 1

Petre, Ion and Mizera, Andrzej and Hyder, Claire and Meinander, Annika and Mikhailov, Andrey and Morimoto, Richard and Sistonen, Lea and Eriksson, John and Back, Ralph-Johan, A Simple Mass-Action Model for the Eukaryotic Heat Shock Response and Its Mathematical Validation. In: Natural Computing. 2010 1

Rönkkö, Mauno and Waldén, Marina and Back, Ralph-Johan, Beyond Particle Systems: Operator Networks. In: Simulation Modelling Practice and Theory. 2008 1

Back, Ralph-Johan and Milovanov, Luka and Porres, Ivan, Development andExperimentation in an Academic Environment: The Gaudí Factory. In: Systems and Software. Elsevier.. 2007

Back, Ralph-Johan and Preoteasa, Viorel, An Algebraic Treatment of Procedure Refinement to Support Mechanical Verification. In: Formal Aspects of Computing. Springer, 2005 2

Back, Ralph-Johan and Wright, Joakim von, Compositional Action System Refinement. In: Formal Aspects of Computing. 2003 2

Back, Ralph-Johan and Petre, Luigia and Porres, Ivan, Continuous Action Systems as a Model for Hybrid Systems. In: Nordic Journal of Computing. 2001 1

Back, Ralph-Johan and Wright, Joakim von, Contracts, Games and Refinement. In: Information and Computation. 2000 3

Back, Ralph-Johan and Wright, Joakim von, Encoding, Decoding, and Data Refinement. In: Formal Aspects of Computing. 2000 2

Back, Ralph-Johan and Mikhajlova, Anna and Wright, Joakim von, Class Refinement as Semantics of Correct Object Substitutability. In: Formal Aspects of Computing. 2000 2

Back, Ralph-Johan and Wright, Joakim von, Encoding, Decoding and Data Refinement. In: Formal Aspects of Computing. 2000 2

Czeizler, Eugen and Mizera, Andrzej and Czeizler, Elena and Back, Ralph-Johan and Eriksson, John E. and Petre, Ion, Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin. Institute of Electrical and Electronics Engineers, 2000

Back, Ralph-Johan and Wright, Joakim von, Reasoning Algebraically about Loops. In: Acta Informatica. 1999 2

Back, Ralph-Johan and Grundy, Jim and Wright, Joakim von, Structured Calculational Proof. In: Formal Aspects of Computing. 1998 2

Back, Ralph-Johan and Xu, Qiwen W., Refinement of Fair Action Systems. In: Acta Informatica. 1997 2

Back, Ralph-Johan and Grundy, Jim and Wright, Joakim von, Structured Calculation Proof. 1997

Back, Ralph-Johan Reinhold and Martin, Alain J. and Sere, Kaisa, Specifying the Caltech asynchronous microprocessor. In: Science of Computer Programming. 1996 2

Back, Ralph-Johan and Sere, Kaisa, From Action Systems to Modular Systems. In: Software - Concepts and Tools. 1996

Back, Ralph-Johan and Sere, Kaisa, Superposition Refinement of Reactive Systems. In: Formal Aspects of Computing. 1996 2

Back, Ralph-Johan and Martin, Alain and Sere, Kaisa, Specifying the Caltech Asynchronous Microprocessor. 1996

Back, Ralph-Johan Reinhold and Wright, Joakim von, Game and Winning Strategies. In: Information Processing Letters. 1995 2

Back, Barbro and Back, Ralph-Johan, Financial Statement Planning in the Presence of Tax Constraints. In: European Journal of Operational Research. 1995 2

Back, Ralph-Johan and Wright, Joakim von, Games and Winning Strategies. 1995

Back, Ralph-Johan and Wright, Joakim von, Statement Inversion and Strongest Postcondition. 1993

Shen, Hong and Back, Ralph-Johan, Construction of Large Size Interconnection Networks With High Performance. 1993

Lönnroth, Tom and Hattula, Jorma and Julin, R. and Lampinen, A. and Aspnäs, Mats and Back, Ralph-Johan and Granlund, Jens and Waxlax, Patrik, Analysis of Stimulated Triples Gamma Ray Data on a 100 Processor Transputer System. In: Nuclear Instruments and Methods in Physics Research Section a: Accelerators Spectrometers Detectors and Associated Equipment. 1993 1

Back, Ralph-Johan and Wright, Joakim von, Combining Angels, Demons and Miracles in Program Specifications. 1992

Francez, Nissim and Back, Ralph-Johan and Kurki-Suonio, Reino, On Equivalence Completions of Fairness Assumptions. 1992

Back, Ralph-Johan and Sere, Kaisa, Stepwise Refinement of Action Systems. 1991

Back, Ralph-Johan and Sere, Kaisa, Stepwise Refinement of Parallel Algorithms. 1990

Back, Ralph-Johan and Wright, Joakim von, Refinement Concepts Formalized in Higher Order Logic. 1990

Back, Ralph-Johan and Wright, Joakim von, Duality in Specification Languages: A Lattice Theoretical Approach. 1990

Aspnäs, Mats and Back, Ralph-Johan and Malén, Thor-Erik, The Hathi-2 Multiprocessor System. In: Microprocessors and Microsystems. 1990 1

Back, Ralph-Johan, FINSOFTIII: Rinnakkaislaskenta Ja Hermoverkot. 1990

Back, Ralph-Johan and Kurki-Suonio, Reino, Decentralization of Process Nets with Centralized Control. 1989

Back, Ralph-Johan and Kurki-Suonio, Reino, Distributed Co-Operation with Action Systems. 1988

Back, Ralph-Johan, A Calculus of Refinements for Program Derivations. In: Acta Informatica. 1988 2

Back, Ralph-Johan and Kurki-Suonio, Reino, A New Paradigm for the Design of Concurrent Systems. 1987

Back, Ralph-Johan, Rinnakkaislaskennan Ongelmat. 1987

Back, Ralph-Johan, A Computational Interpretation of Truth Logic. 1986

Back, Ralph-Johan and Mannila, Heikki, On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. 1985

Back, Ralph-Johan, Utvecklandet Av Informationsbehandlingen Vid ÅBo Akademi. 1985

Back, Ralph-Johan and Mannila, Heikki, A Semantic Approach to Program Modularity. 1984

Back, Ralph-Johan, A Continous Semantics for Unbounded Nondeterminism. 1983

Back, Ralph-Johan, On Correct Refinement of Programs. 1981

Back, Ralph-Johan, Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. 1981

Back, Ralph-Johan and Korhonen, Pekka, Suojattujen Tietorakenteiden käyttö FORTRAN-Ohjelmissa. 1979

Back, Ralph-Johan and Korhonen, Pekka, Tietorakenteisiin Perustuva Ohjelmien Modularisointi. 1979

Articles in proceedings 88

Eriksson, Johannes and Parsa, Masoumeh and Back, Ralph-Johan, Proofs and Refutations in Invariant-Based Programming. In: Proceedings of the 11th International Conference on Integrated Formal Methods (iFM2014). Albert, Elvira and Sekerinski, Emil (Eds.). Lecture Notes in Computer Science Springer, 2014 1

Hägerstedt, Esbjörn and Mannila, Linda and Salakoski, Tapio and Back, Ralph-Johan, Teachers' Experience from Using Interactive E-Books in the Classroom. In: Proceedings of the 7th Nordic Conference on Mathematics Education. 2014 1

Back, Ralph-Johan and Preoteasa, Viorel, Semantics and Proof Rules of Invariant Based Programs. In: SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing. Chu, William and Wong, W. Eric and Palakal, Mathew J. and Hung, Chih-Cheng and Cederquist, Jan (Eds.). ACM New York, NY, USA, 2011 1

Preoteasa, Viorel and Back, Ralph-Johan and Eriksson, Johannes, Verification and Code Generation for Invariant Diagrams in Isabelle. In: Proceedings of the 23rd Nordic Workshop on Programming Theory. Petterson, Paul and Seceleanu, Cristina (Eds.). Mälardalen Real-Time Research Centre, 2011

Eriksson, Johannes and Back, Ralph-Johan, Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. In: Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings.. Dong, Jin Song and Zhu, Huibiao (Eds.). Lecture Notes in Computer Science 0. Springer, 2010 1

Peltomäki, Mia and Back, Ralph-Johan, An Empirical Evaluation of Structured Derivations in High School Mathematics. In: Proof and Proving in Mathematics Education. Lin, Fou-Lai Hsieh Feng-Jui Hanna, Gila de Villiers, Michael (Eds.). 2009

Preoteasa, Viorel and Back, Ralph-Johan, Data Refinement of Invariant Based Programs. In: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009) . Boiten, E. and Derrick, J. and Reeves, S. (Eds.). Electronic Notes in Theoretical Computer Science Elsevier, 2009 1

Back, Ralph-Johan and Mannila, Linda and Wallin, Solveig, Student Justifications in High School Mathematics. In: CERME 6. 2009

Petre, Ion and Mizera, Andrzej and Back, Ralph-Johan, Computational Heuristics for Simplifying a Biological Model. In: Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Proceedings. Ambos-Spies, Klaus Löwe, Benedikt Merkle, Wolfgang (Eds.). Lecture Notes in Computer Science Springer, 2009 1

Czeizler, Elena and Czeizler, Eugen and Back, Ralph-Johan and Petre, Ion, Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. In: Proceedings of Computational Mehods in Systems Biology. Degano, Pierpaolo Gorrieri, Roberto (Eds.). Springer, 2009

Back, Ralph-Johan and Ishdorj, Tseren-Onolt and Petre, Ion, A Petri-net Formalizaion of Heat Shock Response Model. National University of Mongolia press and Chungbuk National University of S.Korea press, 2008

Back, Ralph-Johan and Ishdorj, Tseren-Onolt and Petre, Ion, A Petri-net formalization of the heat shock response model. In: Proceedings of the Workshop on Natural Computing and Graph Transformations. I.Petre, G.Rozenberg (Eds.). 2008

Back, Ralph-Johan and Mannila and Linda and Peltomaki, Mia and and Sibelius, Patrick, Structured Derivations: A Logic Based Approach to Teaching Mathematics. In: FORMED 2008: Formal Methods in Computer Science Education, Budapest. 2008

Petre, Ion and Mizera, Andrzej and Hyder, Claire and Mikhailov, Andrey and Eriksson, John and Sistonen, Lea and Back, Ralph-Johan, A New Mathematical Model for the Heat Shock Response. In: Proceedings of COMPMOD 2008: Workshop on Computational Models for Cell Processes. Petre, Ion Back, Ralph-Johan (Eds.). Turku Centre for Computer Science (TUCS), 2008

Back, Ralph-Johan and Eriksson, Johannes and Mannila, Linda, Teaching the Construction of Correct Programs Using Invariant Based Programming. In: Proceedings of the 3rd South-East European Workshop on Formal Methods. 2007

Back, Ralph-Johan and Eriksson, Johannes and Myreen, Magnus, Testing and Verifying Invariant Based Programs in the SOCOS Environment. In: Tests And Proofs (First International Conference, TAP 2007, Zurich, Switzerland). Gurevich, Yuri and Meyer, Bertrand (Eds.). Lecture Notes in Computer Science 0. Springer, 2007 1

Back, Ralph-Johan and Mannila, Linda and Peltomäki, Mia and Salakoski, Tapio, Improving Mathematics and Programming Education – The IMPEd Initiative. In: Proceedings of the 7th Baltic Sea Conference on Computing Education Research, 2007. . Lister, Raymond and Simon (Eds.). Australian Computer Society, Inc, 2007 1

Back, Ralph-Johan, Invariant Based Programming Revisited. In: Petri Nets 2006, 27th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Donatelli, S. and Thiagarajan, P.S. (Eds.). Lecture Notes in Computer Science Springer Verlag, 2006 1

Back, Ralph-Johan, Hur Man Konstruerar Felfria Program. In: Sphinx årsbok2005 - 2006. Peter Holmberg (Eds.). 2006

Back, Ralph-Johan and Eriksson, Johannes and Myreen, Magnus, Verifying Invariant Based Programs in the SOCOS Environment. In: Teaching Formal Methods: Practice and Experience. Boca, Paul and Bowen, Jonathan and Duce, David (Eds.). Electronic Workshops in Computing (eWiC) 0. BCS, 2006

Grandell, Linda and Peltomäki, Mia and Back, Ralph-Johan and Salakoski, Tapio, Why Complicate Things? Introducing Programming in High School Using Python. In: Proceedings of the Eighth Australasian Computing Education Conference (ACE2006), Hobart, Australia, 16-19 January 2006. Australian Computer Society Inc, 2006

Back, Ralph-Johan and Eriksson, Johannes and Milovanov, Luka, Using Stepwise Feature Introduction in Practice: An Experience Report. In: Rapid Integration of Software Engineering Techniques: Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005. Guelfi, Nicolas (Eds.). Lecture Notes in Computer Science 0. Springer-Verlag, 2005 1

Back, Ralph-Johan and Milovanov, Luka and Porres, Ivan, Software Development and Experimentation in an Academic Environment: The Gaudi Experience. In: Proceedings of 6th International Conference on Product Focused Software Process Improvement - PROFES 2005, Oulu, Finland, June 2005. Bomarius, Frank abd Komi-Sirviö, Seija (Eds.). Lecture Notes in Computer Science Springer, 2005 1

Back, Ralph-Johan and Cerschi Seceleanu, Cristina, Contracts and Games in Controller Synthesis for Discrete Systems. In: 11th IEEE International Conference on the Engineering of Computer-Based Systems, Brno, Czech Republic. Vaclav Dvorak, Miroslav Sveda (Eds.). IEEE Computer Society, 2004

Back, Ralph-Johan and Hirkman, Piia and Milovanov, Luka, Evaluating the XP Customer Model and Design by Contract. In: Proceedings of the 30th EUROMICRO Conference, Rennes, France, August 31-September 3. Steinmetz, Ralf and Mauthe, Andreas (Eds.). 2004

Back, Ralph-Johan and Peltomäki, Mia and Salakoski, Tapio and Wright, Joakim von, Structured Derivations Supporting High-School Mathematics. In: Current research on mathematics and science education. Laine, A., Lavonen, J., & Meisalo, V (Eds.). Research Report 253 University of Helsinki, 2004

Back, Ralph-Johan and Preoteasa, Viorel, Reasoning About Recursive Procedures with Parameters. In: Proceedings of the 2003 workshop on Mechanized reasoning about languages with variable binding. ACM Press, New York, NY, USA, 2003

Back, Ralph-Johan and Fan, Xiaocong and Preoteasa, Viorel, Reasoning about Pointers in Refinement Calculus. In: Proceedings of the Tenth Asia-Pacific Software Engineering Conference (APSEC'03). 2003

Anttila, Heikki and Back, Ralph-Johan and Ketola, Pekka and Konkka, Katja and Leskela, Jyrki and Rysä, Erkki, Coping with Increasing SW Complexity - Combining Stepwise Feature Introduction with User-centric Design. In: Human Computer Interaction, International Conference (HCII2003). 2003

Back, Ralph-Johan, Software Construction by Stepwise Feature Introduction. In: ZB 2002: Formal Specification and Development in Z and B, proceedings of 2nd International Conference of B and Z Users. Bert, D. (Eds.). Lecture Notes in Computer Science Springer-Verlag, 2002 1

Back, Ralph-Johan, SFI: A refinement Based Layered Software Architecture. In: Proceedings of the 4th International Conference on Formal Engineering Methods. Goos, G and Hartmanis, J and Leeuween, J von (Eds.). Lecture Notes in Computer Science Springer-Verlag, 2002 1

Back, Ralph-Johan and Wright, Joakim von, Compositional Action System Refinement. In: Proceedings of Refinement Workshop REFINE2002. 2002

Back, Ralph-Johan and Cerschi Seceleanu, Cristina and Westerholm, Jan, Symbolic Simulation of Hybrid Systems. In: Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002). Paul Strooper and Pornsiri Muenchaisri (Eds.). IEEE Computer Society, 2002

Back, Ralph-Johan and Milovanov, Luka and Porres, Ivan and Preoteasa, Viorel, XP as a Framework for Practical Software Engineering Experiments. In: Proceedings of the Agile Processes in Software Engineering XP2002 Third International Conference. 2002

Back, Ralph-Johan and Kavander, Tanja and Nylund, Martin and Peltomäki, Mia and Salakoski, Tapio and Wright, Joakim von, Matemaattinen todistaminen ja abstrahtointi lukion matematiikan opetuksessa - opetuskokeilu rakenteisten johtojen avulla. In: Aineenopettajankoulutuksen vaihtoehdot jag tutkimus 2002, Ainedidaktiikan symposiumi 1.2.2002. 2002

Back, Ralph-Johan and Kavander, Tanja and Nylund, Martin and Peltomäki, Mia and Salakoski, Tapio and Wright, Joakim von, Teaching High-School Mathematics with Structured Derivations in Hypertext Format. In: International Conference on Computer Systems and Technologies - CompSysTech'2002. 2002

Back, Ralph-Johan and Cerschi, Cristina, Modeling and Verifying a Temperature Control System using Continuous Action Systems. In: Proceedings of the 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems. Stefania Gnesi, Ina Schieferdecker, Axel Rennoch (Eds.). GMD - German National Research Center for Information Technology, 2000

Back, Ralph-Johan and Wright, Joakim von, Contracts as Mathematical Entities in Programming Logic. In: Workshop on Abstraction and Refinement. Kinoshita, Y. (Eds.). Elsevier, 2000

Back, Ralph-Johan and Petre, Luigia and Porres, Ivan, Generalizing Action Systems to Hybrid Systems. In: 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'2000. Joseph, Mathai (Eds.). Lecture Notes in Computer Science Springer-Verlag, 2000 1

Back, Ralph-Johan and Wright, Joakim von, A Method for Teaching Rigorous Mathematical Reasoning. In: International Conference on Technology in Mathematics Teaching (ICTMT4). 1999

Back, Ralph-Johan and Petre, Luigia and Porres, Ivan, Analysing UML Use Cases as Contracts. In: UML'99 - Second International Conference on the Unified Modeling Language: Beyond the Standard. France, Robert and Rumpe, Bernhard (Eds.). Lecture Notes in Computer Science Springer-Verlag, 1999 1

Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan, General Hybrid Action Systems. In: The 11th Nordic Workshop on Programming Theory - NWPT'99. Björn, Victor and Wang, Yi (Eds.). Technical reports 1999

Back, Ralph-Johan and Wright, Joakim von, Contracts, Game and Refinement. In: 4th Workshop on Expressiveness in Concurrency. C. Palamidessi J. Parrow (Eds.). Electronic Notes of Theoretical Computer Science 0. Elsevier, 1997

Back, Ralph-Johan Reinhold and Büchi, Martin and Sekerinski, Emil, Action-Based Concurrency and Synchronization for Objects. In: Proceedings of the Fourth AMAST Workshop on Real-Time Systems, Concurrent, and Distributed Software (ARTS). Lecture Notes in Computer Science 0. Springer Verlag, 1997 1

Back, Ralph-JohanWright Joakim von, Contracts, Games and Refinement. In: Proceedings of the 4th Workshop on Expressiveness in Concurrency, Electronic Notes of Theoretical Computer Science. Palamidessi, C. and Parrow, J. (Eds.). Elsevier, 1997

Back, Ralph-Johan and Wright, Joakim von, Interpreting Nondeterminism in the Refinement Calculus. In: Proceedings of the 7th Refinement Workshop. Springer-Verlag, 1996

Back, Ralph-Johan Reinhold and Butler, Michael, Exploring Summation and Product Operators in the Refinement Calculus. In: Proceedings of the 3rd Mathematics of Program Construction conference. Lecture Notes in Computer Science 0. Springer-Verlag, 1995 1

Back, Ralph-Johan Reinhold and Martin, Alain J. and Sere, Kaisa, An Action System Specification of the Caltech Asynchronous Microprocessor. In: Proceedings of the 3rd International Conference on Mathematics of Program Construction. Möller, B. (Eds.). Lecture Notes in Computer Science Springer-Verlag, 1995 1

Back, Ralph-Johan and Butler, Michael, Exploring Summation and Product Operations in the Refinement Calculus. In: Proceedings of the 3rd International Conference on Mathematics of Program Construction. Springer-Verlag, 1995

Back, Ralph-Johan Reinhold and Butler, Michael, Applications of Summation and Product Operators in the Refinement Calculus. In: Proceedings of the 6th Nordic Workshop on Programming Theory (NWPT'94). Engberg, U. H. and Larsen, K. G. and Mosses, P. D. (Eds.). BRICS Notes Series BRICS, 1994

Back, Ralph-Johan and Wright, Joakim von, Trace Refinement of Action Systems. In: Proceedings of CONCUR-94. Jonsson, B. and Parrow, J. (Eds.). Springer-Verlag, 1994

Back, Ralph-Johan Reinhold and Sere, Kaisa, From Action System to Modular Systems. In: Formal Methods Europe (FME'94). Lecture Notes in Computer Science 0. Springer-Verlag, 1994 1

Back, Ralph-Johan and Sere, Kaisa, Action Systems with Synchronous Communication. In: Programming Concepts, Methods, and Calculi (PROCOMET'94). Olderog, E.-R. (Eds.). IFIP Transactions North-Holland, 1994

Back, Ralph-Johan and Sere, Kaisa, From Action Systems to Modular Systems. In: Formal Methods Europe ´94: Industrial Benefit of Formal Methods. 1994

Back, Ralph-Johan, Refinement of Parallel and Reactive Programs. In: Lecture Notes For the Summer School on Program Design Calculi. Broy, M. (Eds.). Springer-Verlag, 1993

Back, Ralph-Johan, Refinement Calculus, Lattices and Higher Order Logic. In: Program Design Calculi. Broy, M. (Eds.). Springer-Verlag, 1993

Back, Ralph-Johan and Sere, Kaisa., Superposition Refinement of Parallel Algorithms. In: Proceedings of the 4th International Conference on Formal Description Techniques (FORTE 91). Parker, K.R. (Eds.). North-Holland, 1992

Back, Ralph-Johan and Shen, Hong, Construction of Large Size Interconnection Networks with High Performance. In: Microprocessing and Microprogramming. North-Holland, 1992

Back, Ralph-Johan and Wright, Joakim von, Predicate Transformers and Higher Order Logic. In: REX Workshop on Semantics: Foundations and Applications. deBakker, J. W. and Roever, W.-P. de and Rozenberg, G. (Eds.). Springer-Verlag, 1992

Aspnäs, Mats and Back, Ralph-Johan and Långbacka, Thomas, Millipede - A Programming Environment Providing Visual Support for Parallel Programming. In: Parallel Computing: From Theory to Sound Practice, Proc. Of the European Workshops on Parallel Computing. Joosen, W. and Milgrom, E. (Eds.). IOS Press, 1992

Back, Ralph-Johan, Refinement Diagrams. In: Proceedings of the 4th Refinement Workshop. Morris, J. M. and Shaw, R. C. (Eds.). Springer-Verlag, 1991

Back, Ralph-Johan and Kurki-Suonio, Reino, Superposition and Fairness in Reactive System Refinement. In: Jerusalem Conference on Information Technology. 1990

Back, Ralph-Johan and Sere, Kaisa, Deriving an Occam Implementation of Action Systems. In: Proceedings of the 3rd BCS Refinement Workshop. Springer-Verlag, 1990

Back, Ralph-Johan and Wright, Joakim von, Refinement Concepts Formalized in Higher Order Logic. In: IFIP TC2 Working Conference. 1990

Back, Ralph-Johan and Wright, Joakim von, Refinement Calculus I: Sequential Nondeterministic Programs. In: Stepwise Refinement of Distributed Systems. Springer-Verlag, 1990

Aspnäs, Mats and Back, Ralph-Johan, A Programming Environment for a Transputer-Based Multiprocessor System. In: Symposium on Programming Languages and Software Tools. Gyimothy, T. (Eds.). 1989

Back, Ralph-Johan and Sere, Kaisa, Stepwise Refinement of Action Systems. In: Mathematics of Program Construction. Springer-Verlag, 1989

Back, Ralph-Johan and Wright, Joakim von, A Lattice-Theoretical Basis for a Specification Language. In: Mathematics of Program Construction. Springer-Verlag, 1989

Back, Ralph-Johan, A Method for Refining Atomicity in Parallel Algorithms. In: PARLE´89 Conference on Parallel Architectures and Languages Europe. Springer-Verlag, 1989

Back, Ralph-Johan, Changing Data Representation in the Refinement Calculus. In: Proceedings of the 22nd Hawaii International Conference on System Sciences. IEEE, 1989

Back, Ralph-Johan, On Formal and Informal Reasoning in Program Construction. In: Liber Amoricum. deBakker, J. W. (Eds.). CWI, 1989

Back, Ralph-Johan, Refinement Calculus II: Parallel and Reactive Programs. In: Stepwise Refinement of Distributed Systems. Springer-Verlag, 1989

Back, Ralph-Johan and Kurki-Suonio, Reino, Serializability in Distributed Systems with Handshaking. In: Proceedings of the 15th International Colloquium on Automata, Languages and Programming. Springer-Verlag, 1988

Salminen, Ari and Back, Ralph-Johan, A Relational Model for Documents. In: International Symposium on New Directions on Computing. IEEE Computer Society Press, 1985

Back, Ralph-Johan and Hietala, Pentti, A Simple User Interface for Interactive Program Verification. In: Human Computer Interaction - INTERACT ´84: First IFIP Conference of Human-Computer Interaction. Schakel, B. (Eds.). North-Holland, 1984

Back, Ralph-Johan and Kurki-Suonio, Reino, A Case Study in Constructing Distributed Algorithms: Distributed Exchange Sort. In: Proceedings of Winter School on Theoretical Computer Science. Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko and Ukkonen, E. (Eds.). 1984

Back, Ralph-Johan and Rantanen, Anssi, A Case Study in Program Modification: Generalizing Lindström's Tree Marking Algorithm. In: Proceedings of Winter School on Theoretical Computer Science. Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko and Ukkonen, E. (Eds.). 1984

Back, Ralph-Johan and Kurki-Suonio, Reino, Decentralization of Process Nets with Centralized Control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. On Principles of Distributed Computing. 1983

Back, Ralph-Johan and Mannila, Heikki, On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. In: Proceedings of the 3rd Conference on Foundations of Software Technology and Theoretical Computer Science. 1983

Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko, Derivation of Efficient DAG-Marking Algorithms. In: Proceedings of the 10th Annual ACM Symposium on Principles of Programming Languages. ACM, 1983

Back, Ralph-Johan, Invariant Based Programs and Their Correctness. In: Automatic Program Construction Techniques . Biermann, W. and Guiho, G and Kodratoff, Y (Eds.). MacMillan Publishing Company, 1983

Back, Ralph-Johan and Mannila, Heikki, A Refinement of Kahn's Semantics to Handle Nondeterminism and Communication. In: Proceedings of the 9th International Colloqium on Automata, Languages and Programming. ACM, 1982

Back, Ralph-Johan and Mannila, Heikki, Locality in Modular Systems. In: Proceedings of the 9th International Colloqium on Automata, Languages and Programming. Nielsen, M and Schmidt, E. M. (Eds.). Springer-Verlag, 1982

Back, Ralph-Johan, Exception Handling with Multi-Exit Statements. In: 6th Fachtagung Programmiersprachen Und Programmentwicklungen. Springer-Verlag, 1980

Back, Ralph-Johan, Semantic Correctness of Invariant Based Programs. In: International Workshop on Program Construction. 1980

Back, Ralph-Johan, Semantics of Unbounded Nondeterminism. In: Proceedings of the 7th International Colloqium on Automata, Languages and Programming. deBakker, J. W and Leeuwen, J. van (Eds.). Springer-Verlag, 1980

Back, Ralph-Johan, A Calculus of Refinements for Program Derivations. In: Proceedings of the Workshop on Programming Logic. Dybjer, P. (Eds.). Chalmers University of Technology and University of Gothenburg, 1980

Back, Ralph-Johan, On the Notion of Correct Refinement of Programs. In: 5th Scandinavian Logic Symposium. Aalborg Univeristy Press, 1979

PhD theses 1

Back, Ralph-Johan, On the Correctness of Refinement Steps in Program Development. 1978

Technical reports 119

Olszewski, Mikołaj and Back, Ralph-Johan, Scrum-Based Agile Development with Stepwise Feature Introduction. TUCS Technical Reports 1045. TUCS, 2012

Preoteasa, Viorel and Back, Ralph-Johan and Eriksson, Johannes, Verification and Code Generation for Invarian Diagrams in Isabelle. TUCS Technical Reports 1058. TUCS, 2012

Eriksson, Johannes and Back, Ralph-Johan, PVS Support for Invariant-Based Programming. TUCS Technical Report 979. Turku Centre for Computer Science, 2010

Back, Ralph-Johan, Structured Derivations as a Unified Proof Format for Teaching Mathematics. TUCS Technical Report 949. Turku Centre for Computer Science, 2009

Back, Ralph-Johan and Mannila, Linda and Wallin, Solveig, "It Takes Me Longer, But I Understand Better" - Student Feedback on Structured Derivations. TUCS Technical Report 943. Turku Centre for Computer Science, 2009

Back, Ralph-Johan and Olszewski, Mikołaj and Soriano, Damián, Deseo Meeting Scheduler: Database Schema with Verified Business Logic. TUCS Technical Report 937. Turku Centre for Computer Science, 2009

Petre, Ion and Mizera, Andrzej and Back, Ralph-Johan, Computational heuristics for simplifying a biological model. TUCS Technical Report 933. Turku Centre for Computer Science, 2009

Czeizler, Eugen and Mizera, Andrzej and Czeizler, Elena and Back, Ralph-johan and Eriksson, John and Petre, Ion, Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments From Tetrameric Vimentin. TUCS Technical Report 963. Turku Centre for Computer Science, 2009

Back, Ralph-Johan and Preoteasa, Viorel, Semantics and Proof Rules of Invariant Based Programs. TUCS Technical Report 903. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Ishdorj, Tseren-Onolt and Petre, Ion, A Petri-net Formalization of Heat Shock Response Model. TUCS Technical Report 886. Turku Centre for Computer Science, 2008

Petre, Ion and Mizera, Andrzej and Hyder, Claire and Mikhailov, Andrey and Eriksson, John and Sistonen, Lea and Back, Ralph-Johan, A New Mathematical Model for the Heat Shock Response. TUCS Technical Report 883. Turku Centre for Computer Science, 2008

Back, Ralph-Johan and Bos, Victor and Eriksson, Johannes, MathEdit: Tool Support for Structured Calculational Proofs. TUCS Technical Report 854. Turku Centre for Computer Science, 2007

Back, Ralph-Johan and Eriksson, Johannes and Myréen, Magnus, Testing and Verifying Invariant Based Programs in the SOCOS Environment. TUCS Technical Report 797. Turku Centre for Computer Science, 2006

Back, Ralph-Johan and Myréen, Magnus, Tool Support for Invariant Based Programming. TUCS Technical Report 666. Turku Centre for Computer Science, 2005

Back, Ralph-Johan, Incremental Software Construction with Refinement Diagrams. TUCS Technical Report 660. Turku Centre for Computer Science, 2005

Back, Ralph-Johan, Invariant Based Programming Revisited. TUCS Technical Report 661. Turku Centre for Computer Science, 2005

Back, Ralph-Johan and Eriksson, Johannes and Milovanov, Luka, Experience on Using Stepwise Feature Introduction in Software Construction. TUCS Technical Report 705. Turku Centre for Computer Science, 2005

Back, Ralph-Johan and Preoteasa, Viorel, A Python Specification of the Tkinter Text-Widget. TUCS Technical Report 607. Turku Centre for Computer Science, 2004

Back, Ralph-Johan and Cerschi Seceleanu, Cristina, Games-based Controller Synthesis for Discrete Systems. TUCS Technical Report 594. Turku Centre for Computer Science, 2004

Back, Ralph-Johan and Milovanov, Luka and Porres, Ivan, Software Development and Experimentation in an Academic Environment: The Gaudi Experience. TUCS Technical Report 641. Turku Centre for Computer Science, 2004

Back, Ralph-Johan and Fan, Xiaocong and Preoteasa, Viorel, Reasoning about Pointers in Refinement Calculus. TUCS Technical Report 543. Turku Centre for Computer Science, 2003

Back, Ralph-Johan and Bos, Victor, Centre for Reliable Software Technology (CREST), Progress Report 2003. TUCS - Turku Centre for Computer Science, 2003

Back, Ralph-Johan and Preoteasa, Viorel, Reasoning about Recursive Procedures with Parameters. TUCS Technical Report 500. Turku Centre for Computer Science, 2003

Back, Ralph-Johan and Cerschi Seceleanu, Cristina and Westerholm, Jan, Symbolic Simulation of Hybrid Systems. TUCS Technical Report 503. Turku Centre for Computer Science, 2003

Back, Ralph-Johan and Hirkman, Piia and Milovanov, Luka, Evaluating the XP Customer Model and Design by Contract. TUCS Technical Report 585. Turku Centre for Computer Science, 2003

Back, Ralph-Johan, Software Construction by Stepwise Feature Introduction. TUCS Technical Report 496. Turku Centre for Computer Science, 2002

Back, Ralph-Johan and Wright, Joakim von, Compositional Action System Refinement. TUCS Technical Report 464. Turku Centre for Computer Science, 2002

Back, Ralph-Johan and Sjöberg, Mats and Wright, Joakim von, Field Tests of the Structured Derivations Method. TUCS Technical Report 491. Turku Centre for Computer Science, 2002

Back, Ralph-Johan and Milovanov, Luka and Porres, Ivan and Preoteasa, Viorel, An Experiment on Extreme Programming and Stepwise Feature Introduction. TUCS Technical Report 451. Turku Centre for Computer Science, 2002

Anttila, Heikki and Back, Ralph-Johan and Ketola, Pekka and Konkka, Katja and Leskelä, Jyrki and Rysä, Erkki, Combining Stepwise Feature Introduction with User-Centric Design. TUCS Technical Report 495. Turku Centre for Computer Science, 2002

Back, Ralph-Johan and Wright, Joakim von, Contracts as Mathematical Entities in Programming Logic. TUCS Technical Report 372. Turku Centre for Computer Science, 2000

Back, Ralph-Johan and Wright, Joakim von, Enforcing Behavior with Contracts. TUCS Technical Report 373. Turku Centre for Computer Science, 2000

Back, Ralph-Johan and Wright, Joakim von, Verification and Refinement of Action Contracts. TUCS Technical Report 374. Turku Centre for Computer Science, 2000

Back, Ralph-Johan and Mikhajlova, Anna and Wright, Joakim von, Class Refinement as Semantics of Correct Object Substitutability. TUCS Technical Report 333. Turku Centre for Computer Science, 2000

Back, Ralph-Johan and Mikhajlov, Leonid and Wright, Joakim von, Formal Semantics of Inheritance and Object Substitutability. TUCS Technical Report 337. Turku Centre for Computer Science, 2000

Back, Ralph-Johan and Cerschi, Cristina, Modeling and Verifying a Temperature Control System Using Hybrid Action Systems. TUCS Technical Reports 321. Turku Centre for Computer Science, 1999

Back, Ralph-Johan and Wright, Joakim von, Products in the Refinement Calculus. TUCS Technical Report 235. Turku Centre for Computer Science, 1999

Back, Ralph-Johan and Wright, Joakim von, Encoding, Decoding and Data Refinement. TUCS Technical Report 236. Turku Centre for Computer Science, 1999

Back, Ralph-Johan and Wright, Joakim von, Structured Derivations: A Method for Doing High-School Mathematics Carefully. TUCS Technical Report 246. Turku Centre for Computer Science, 1999

Back, Ralph-Johan and Petre, Luigia and Porres, Ivan, Formalising UML Use Cases in the Refinement Calculus. TUCS Technical Report 279. Turku Centre for Computer Science, 1999

Back, Ralph-Johan and Petre, Luigia and Porres Paltor, Ivan, Generalizing Action Systems to Hybrid Systems. TUCS Technical Report 307. Turku Centre for Computer Science, 1999

Back, Ralph-Johan and Mikhajlova, Anna and Wright, Joakim von, Modeling Component Environments and Interactive Programs Using Iterative Choice. TUCS Technical Report 200. Turku Centre for Computer Science, 1998

Back, Ralph-Johan and Wright, Joakim von, Doing High School Mathematics Carefully. TUCS Technical Report 140. Turku Centre for Computer Science, 1997

Back, Ralph-Johan and Wright, Joakim von, Contracts, Game and Refinement. TUCS Technical Report 138. Turku Centre for Computer Science, 1997

Back, Ralph-Johan and Wright, Joakim von, Reasoning Algebraically about Loops. TUCS Technical Report 144. Turku Centre for Computer Science, 1997

Back, Ralph-Johan and Wright, Joakim von, Programs on Product Spaces. TUCS Technical Report 143. Turku Centre for Computer Science, 1997

Back, Ralph-Johan and Mikhajlova, Anna and Wright, Joakim von, Class Refinement as Semantics of Correct Subclassing. TUCS Technical Report 147. Turku Centre for Computer Science, 1997

Back, Ralph-Johan Reinhold and Butler, Michael, Fusion and simultaneous execution in the refinement calculus. 1996

Back, Ralph-Johan and Wright, Joakim von, Interpreting Nondeterminism in the Refinement Calculus. TUCS Technical Report 35. Turku Centre for Computer Science, 1996

Back, Ralph-Johan Reinhold and Büchi, Martin and Sekerinski, Emil, Adding Type-Bound Actions to Action-Oberon. TUCS Technical Report 66. Turku Centre for Computer Science, 1996

Back, Ralph-Johan and Grundy, Jim and Wright, Joakim von, Structured Calculational Proof. TUCS Technical Report 65. Turku Centre for Computer Science, 1996

Back, Ralph-Johan and Grundy, Jim and Wright, Joakim von, Structured Calculational Proof. Department of Computer Science, The Australian National University, 1996

Back, Ralph-Johan Reinhold and Xu, Qiwen W., Fairness in Action Systems. 1995

Back, Ralph-Johan Reinhold and Butler, Michael, Exploring summation and product operators in the refinement calculus. 1994

Back, Ralph-Johan and Wright, Joakim von, Trace Refinement of Action Systems. Åbo Akademi University, 1994

Back, Ralph-Johan and Butler, Michael, Exploring Summation and Product Operations in the Refinement Calculus. Åbo Akademi, 1994

Back, Ralph-Johan and Sere, Kaisa, From Action Systems to Modular Systems. Åbo Akademi, 1994

Back, Ralph-Johan and Martin, Alain and Sere, Kaisa, Specification of a Microprocessor. Åbo Akademi, 1994

Back, Ralph-Johan and Sere, Kaisa, Action Systems with Synchronous Communication. Åbo Akademi, 1993

Back, Ralph-Johan and Sere, Kaisa, Superposition Refinement of Reactive Systems. Åbo Akademi, 1993

Back, Ralph-Johan, Atomicity Refinement in a Refinement Calculus Framework. Åbo Akademi, 1993

Back, Ralph-Johan and Wright, Joakim von, Predicate Transformers and Higher Order Logic. Computer Science Department, California Institute of Technology, 1992

Back, Ralph-Johan and Hekanaho, Jukka and Sere, Kaisa, Centipede - A Program Refinement Environment. Åbo Akademi, 1992

Back, Ralph-Johan, Refinement Calculus, Lattices and Higher Order Logic. Computer Science Department, California Institute of Technology, 1992

Back, Ralph-Johan, Refinement of Parallel and Reactive Programs. Carlifornia Institute of Technology, 1992

Back, Ralph-Johan and Törn, Aimo, Annual Report 1989, 1990. Åbo Akademi, 1991

Shen, Hong and Back, Ralph-Johan, Construction of Large Size Interconnection Networks with High Performance. Åbo Akademi, 1991

Aspnäs, Mats and Back, Ralph-Johan and Långbacka, Thomas, Millipede - A Programming Environment Providing Graphical Support for Parallel Programming. Åbo Akademi, 1991

Back, Ralph-Johan and Aspnäs, Mats and Granlund, Jens and and Hattula, and Jorma and R. Julin and A. Lampinen and Lonnroth, Tom and Waxlax, and Patrik, Analysis of Three-Dimensional Nuclear Data on a Transputer-Based Multiprocessor System. Åbo Akademi, 1991

Back, Ralph-Johan and Sere, Kaisa, Deriving an Occam Implementation of Action Systems. Åbo Akademi, 1990

Back, Ralph-Johan and Wright, Joakim von, Command Lattices, Variable Environments and Data Refinement. Åbo Akademi, 1990

Back, Ralph-Johan and Wright, Joakim von, Statement Inversion and Strongest Postcondition. Åbo Akademi, 1990

Aspnäs, Mats and Back, Ralph-Johan, Multiprocessor Applications in the Hathi Project. Åbo Akademi, 1989

Aspnäs, Mats and Back, Ralph-Johan, A Programming Environment for a Transputer-Based Multiprocessor System. Åbo Akademi, 1989

Back, Ralph-Johan and Sere, Kaisa, Stepwise Refinement of Action Systems. Åbo Akademi, 1989

Back, Ralph-Johan and Törn, Aimo, Åbo Akademi, Department of Computer Science, 5-Year Report 1984-1989. Åbo Akademi, 1989

Back, Ralph-Johan and Wright, Joakim von, Duality in Specification Languages: A Lattice Theoretical Approach. Åbo Akademi, 1989

Back, Ralph-Johan and Wright, Joakim von, Refinement Concepts Formalized in Higher Order Logic. Åbo Akademi, 1989

Back, Ralph-Johan and Wright, Joakim von, Refinement Calculus I: Sequential Nondeterministic Programs. Åbo Akademi, 1989

Back, Ralph-Johan and Wright, Joakim von, Combining Angels, Demons and Miracles in Program Specifications. Åbo Akademi, 1989

Ståhl, Lena and Back, Ralph-Johan, An Implementation of Multiprocess Handshaking on Transputer Networks. Åbo Akademi, 1989

Aspnäs, Mats and Back, Ralph-Johan and Kurki-Suonio, Reino, Efficient Implementations of Multi-Process Handshaking on Broadcasting Networks. Åbo Akademi, 1989

Aspnäs, Mats and Back, Ralph-Johan and Malén, Thor-Erik, The Hathi-2 Multiprocessor System. Åbo Akademi, 1989

Aspnäs, Mats and Back, Ralph-Johan and Sere, Kaisa, The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report). Åbo Akademi, 1989

Back, Ralph-Johan, Refinement Calculus II: Parallel and Reactive Programs. Åbo Akademi, 1989

Back, Ralph-Johan and Kurki-Suonio, Reino, Decentralization of Process Nets with Centralized Control. Åbo Akademi, 1988

Back, Ralph-Johan and Sere, Kaisa, An Exercise in Deriving Parallel Algorithms: Gaussian Elimination. Åbo Akademi, 1988

Back, Ralph-Johan and Sere, Kaisa, Stepwise Refinement of Parallel Algorithms. Åbo Akademi, 1988

Back, Ralph-Johan, Refining Atomicy in Parallel Algorithms. Åbo Akademi, 1988

Back, Ralph-Johan, Data Refinement in the Refinement Calculus. Åbo Akademi, 1988

Back, Ralph-Johan and Kurki-Suonio, Reino, Distributed Co-Operation with Action Systems. Åbo Akademi, 1987

Back, Ralph-Johan, A Calculus of Refinements for Program Derivations. Åbo Akademi, 1987

Back, Ralph-Johan, Procedural Abstraction in the Refinement Calculus. Åbo Akademi, 1987

Back, Ralph-Johan and Hietala, Pentti, I3V: A Program Proof Management System. University of Tampere, Department of Mathematical Sciences, 1986

Salminen, Ari and Back, Ralph-Johan, A Calculus for Document Handling. University of Jyväskylä, 1986

Back, Ralph-Johan, Formal Methods in Program Construction. Final Report on Research Project 1982-85. Åbo Akademi, 1986

Back, Ralph-Johan and Kurki-Suonio, Reino, Serializability in Distributed Systems with Handshaking. Department of Computer Science, Carnegie-Mellon University, 1985

Back, Ralph-Johan and Hartikainen, Eeva and Kurki-Suonio, Reino, Multi-Process Handshaking on Broadcasting Networks. Åbo Akademi, 1985

Back, Ralph-Johan and Kurki-Suonio, Reino, Co-Operation in Distributed Systems Using Symmetric Multi-Process Handshaking. Åbo Akademi, 1984

Back, Ralph-Johan and Eklund, Patrik and Kurki-Suonio, Reino, A Fair and Efficient Implementation of CSP with Output Guards. Åbo Akademi, 1984

Back, Ralph-Johan, A Computational Interpretation of Truth Logic. Åbo Akademi, 1984

Back, Ralph-Johan and Mannila, Heikki, On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Computer Science Department, University of Helsinki, 1983

Back, Ralph-Johan and Rantanen, Anssi, Generalizing Lindström's Tree Marking Algorithm to Acyclic and Cyclic Lists. Computer Science Department, University of Helsinki, 1983

Back, Ralph-Johan and Mannila, Heikki and Räihä, Kari-Joukko, Derivation of Efficient Marking Algorithms for Acyclic Lists. Computer Science Department, University of Helsinki, 1983

Back, Ralph-Johan and Mannila, Heikki, A Semantic Approach to Program Modularity. Computer Science Department, University of Helsinki, 1982

Back, Ralph-Johan and Koskenniemi, Kimmo, Constructing Verifiable Programs: A Design Method and a Case Study. Computing Centre, University of Helsinki, 1980

Back, Ralph-Johan, Semantics of Unbounded Nondeterminism. Mathematisch Centrum, 1980

Back, Ralph-Johan, Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Mathematisch Centrum, 1980

Back, Ralph-Johan, On the Notion of Correct Refinement of Programs. Mathematisch Centrum, 1980

Back, Ralph-Johan, Checking Whether Programs Are Correct or Incorrect. Mathematisch Centrum, 1980

Back, Ralph-Johan, Correctness of Explicitly Specified Procedures. Mathematisch Centrum, 1980

Back, Ralph-Johan and Korhonen, Pekka, Tietorakenteisiin perustuva ohjelmien modularisointi ja suojattujen tietorakenteiden käyttö Fortran-ohjelmissa. Computing Centre, University of Helsinki, 1979

Back, Ralph-Johan, Semantics of Unbounded Nondeterminism. Computing Centre, University of Helsinki, 1979

Back, Ralph-Johan, Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Computing Centre, University of Helsinki, 1979

Back, Ralph-Johan, Exception Handling with Multi-Exit Statements. Mathematisch Centrum, 1979

Back, Ralph-Johan and Korhonen, Pekka, Tutkimuksessa käytettävien tietokoneohjelmien laadusta. Computing Centre, University of Helsinki, 1978

Back, Ralph-Johan, Program Construction By Situation Analysis. Computing Centre, University of Helsinki, 1978

Back, Ralph-Johan, On the Correctness of Refinement Steps in Program Development. Department of Computer Science, University of Helsinki, 1978

Back, Ralph-Johan, Techniques for Program Modularisation, Documentation and Analysis. Computing Centre, University of Helsinki, 1977

Supervised master's theses 25

Malioukov, Alexander, Using the B formal method to specify object-oriented systems : a case study. Supervisor(s): Back, Ralph-Johan. 2001

Johnsson, Kim, Objektorienterad programmering och OMT. Supervisor(s): Back, Ralph-Johan. 1997

Hedman, Eric J, Action-Oberon : från Oberon till en interaktiv miljö för aktionssystemspecifikationer. Supervisor(s): Back, Ralph-Johan. 1995

Kalantar, Mahmood, An architectural support for persistent objects in C++. Supervisor(s): Hann, Kenneth G and Back, Ralph-Johan. 1994

Nilsson, Patrik, Refed : en editor för transformationell programmering. Supervisor(s): Back, Ralph-Johan. 1994

Frantz, Kristian, BEPPE : ett verktyg för beräkning av exekveringstiden för parallella program. Supervisor(s): Back, Ralph-Johan. 1993

Gullberg, Henrik, En monitorieringsomgivning för Hathi-2. Supervisor(s): Back, Ralph-Johan. 1993

Dahl, Peter, En kompilator för aktionssystem. Supervisor(s): Back, Ralph-Johan. 1992

Granlund, Jens M, Millipede, en grafisk programmeringsomgivning för multiprocessorsystem. Supervisor(s): Back, Ralph-Johan. 1991

Lahtivuori, Johan, En omgivning för partiell deduktion och dess användning för att strukturera Prolog-programmering. Supervisor(s): Komorowski, Jan and Back, Ralph-Johan. 1991

Aspnäs, John, Operativsystem för distribuerade arkitekturer. Supervisor(s): Back, Ralph-Johan. 1990

Hekanaho, Jukkapekka, TRIAS : ett transformationssystem för aktionssystem. Supervisor(s): Back, Ralph-Johan. 1990

Långbacka, Thomas, HATHI-2 monitorering. Supervisor(s): Back, Ralph-Johan. 1990

Palm, Christian, Distribuerad terminering. Supervisor(s): Back, Ralph-Johan. 1990

Waxlax, Patrick, Ett grafiskt användargränssnitt för en transformationsomgivning. Supervisor(s): Back, Ralph-Johan and Komorowski, Jan. 1990

Levander, Stefan, MoSSu : ett verktyg för övervakning av ett multiprocessorsystem. Supervisor(s): Back, Ralph-Johan. 1989

Lillqvist, Jan-Anders, S.W.I.F.T.. Supervisor(s): Back, Ralph-Johan. 1989

Lindström, Marie-Louise, APA : ett verktyg för animering av parallella algoritmer : en implementering av animeringsprocessen. Supervisor(s): Back, Ralph-Johan. 1989

Norrbo, Mikael, Realisering av processgrafer på processorstrukturer. Supervisor(s): Back, Ralph-Johan. 1989

Nyman, Yngve, APA : ett verktyg för animering av parallella algoritmer. Supervisor(s): Back, Ralph-Johan. 1989

Ståhl, Lena, Implementering av flerprocesshandskakning på transputernätverk. Supervisor(s): Back, Ralph-Johan. 1989

Boman, Jonny, Datorarkitekturer för produktionssystemexekvering. Supervisor(s): Back, Ralph-Johan. 1988

Kuusela, Pekka, Numerisk strömningsberäkning med SIMPLER-metoden på ett multiprocessorsystem. Supervisor(s): Back, Ralph-Johan and Öhman, Göran. 1988

Malén, Tor-Erik, CoSSo : ett verktyg för konfigurering av ett multiprocessorsystem. Supervisor(s): Back, Ralph-Johan. 1988

Aspnäs, Mats, En implementering av samtransaktioner i Modula-2. Supervisor(s): Back, Ralph-Johan. 1987