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
|
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
|
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
|