default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRalph-Johan Back
Person information
- affiliation: Abo Akademi University, Turku, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2018
[c56]Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back:
A Precise Pictorial Language for Array Invariants. IFM 2018: 151-160- 2015
- [j42]Viorel Preoteasa, Ralph-Johan Back, Johannes Eriksson:
Verification and code generation for invariant diagrams in Isabelle. J. Log. Algebraic Methods Program. 84(1): 19-36 (2015) - 2014
- [c55]Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back:
Proofs and Refutations in Invariant-Based Programming. IFM 2014: 189-204 - 2012
- [j41]Viorel Preoteasa, Ralph-Johan Back:
Invariant diagrams with data refinement. Formal Aspects Comput. 24(1): 67-95 (2012) - [j40]Eugen Czeizler, Andrzej Mizera, Elena Czeizler, Ralph-Johan Back, John E. Eriksson, Ion Petre
:
Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin. IEEE ACM Trans. Comput. Biol. Bioinform. 9(3): 885-898 (2012) - [c54]Mikolaj Olszewski, Ralph-Johan Back:
Agile Development with Stepwise Feature Introduction. ENASE 2012: 161-166 - 2011
- [j39]Ion Petre, Andrzej Mizera, Claire L. Hyder, Annika Meinander, Andrey Mikhailov, Richard I. Morimoto, Lea Sistonen, John E. Eriksson, Ralph-Johan Back:
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation. Nat. Comput. 10(1): 595-612 (2011) - [c53]Ralph-Johan Back, Viorel Preoteasa:
Semantics and proof rules of invariant based programs. SAC 2011: 1658-1665 - [c52]Ralph-Johan Back, Johannes Eriksson:
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support. ThEdu 2011: 29-48 - [e4]Pedro Quaresma, Ralph-Johan Back:
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. EPTCS 79, 2011 [contents] - [e3]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5 [contents] - 2010
- [j38]Viorel Preoteasa, Ralph-Johan Back:
Semantics and Data Refinement of Invariant Based Programs. Arch. Formal Proofs 2010 (2010) - [j37]Viorel Preoteasa, Ralph-Johan Back:
Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. Arch. Formal Proofs 2010 (2010) - [j36]Ralph-Johan Back:
Structured derivations: a unified proof style for teaching mathematics. Formal Aspects Comput. 22(5): 629-661 (2010) - [c51]Johannes Eriksson, Ralph-Johan Back:
Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM 2010: 24-39
2000 – 2009
- 2009
- [j35]Ralph-Johan Back:
Invariant based programming: basic approach and teaching experiences. Formal Aspects Comput. 21(3): 227-244 (2009) - [c50]Ion Petre, Andrzej Mizera, Claire L. Hyder, Andrey Mikhailov, John E. Eriksson, Lea Sistonen, Ralph-Johan Back:
A New Mathematical Model for the Heat Shock Response. Algorithmic Bioprocesses 2009: 411-425 - [c49]Ion Petre, Andrzej Mizera, Ralph-Johan Back:
Computational Heuristics for Simplifying a Biological Model. CiE 2009: 399-408 - [c48]Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre:
Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. CMSB 2009: 111-125 - [c47]Viorel Preoteasa, Ralph-Johan Back:
Data Refinement of Invariant Based Programs. REFINE@FMWeek 2009: 143-163 - [e2]Ralph-Johan Back, Ion Petre, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents] - [e1]Corrado Priami, Ralph-Johan Back, Ion Petre:
Transactions on Computational Systems Biology XI. Lecture Notes in Computer Science 5750, Springer 2009, ISBN 978-3-642-04185-3 [contents] - 2008
- [j34]Mauno Rönkkö, Marina Waldén, Ralph-Johan Back:
Beyond particle systems: Operator networks. Simul. Model. Pract. Theory 16(7): 834-847 (2008) - [c46]Ralph-Johan Back:
Refinement Calculus as a Theory of Contracts (Invited Paper). UTP 2008: 1 - 2007
- [c45]Ralph-Johan Back, Johannes Eriksson, Magnus Myreen:
Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78 - 2006
- [c44]Ralph-Johan Back:
Incremental Software Construction with Refinement Diagrams. AMAST 2006: 1 - [c43]Ralph-Johan Back:
Invariant Based Programming. ICATPN 2006: 1-18 - 2005
- [j33]Ralph-Johan Back, Viorel Preoteasa:
An algebraic treatment of procedure refinement to support mechanical verification. Formal Aspects Comput. 17(1): 69-90 (2005) - [c42]Ralph-Johan Back, Magnus Myreen:
Tool Support for Invariant Based Programming. APSEC 2005: 711-718 - [c41]Ralph-Johan Back, Luka Milovanov, Ivan Porres:
Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428 - [c40]Ralph-Johan Back, Johannes Eriksson, Luka Milovanov:
Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17 - 2004
- [c39]Ralph-Johan Back, Cristina Cerschi Seceleanu:
Contracts and Games in Controller Synthesis for Discrete Systems. ECBS 2004: 307-315 - [c38]Ralph-Johan Back, Piia Hirkman, Luka Milovanov:
Evaluating the XP Customer Model and Design by Contract. EUROMICRO 2004: 318-325 - 2003
- [j32]Ralph-Johan Back, Joakim von Wright:
Compositional Action System Refinement. Formal Aspects Comput. 15(2-3): 103-117 (2003) - [c37]Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa:
Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425- - [c36]Ralph-Johan Back, Viorel Preoteasa:
Reasoning about recursive procedures with parameters. MERLIN 2003 - [c35]Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres:
A Workbench to Experiment on New Model Engineering Applications. UML 2003: 96-100 - 2002
- [c34]Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm:
Symbolic Simulation of Hybrid Systems. APSEC 2002: 147- - [c33]Ralph-Johan Back:
SFI: A Refinement Based Layered Software Architecture. ICFEM 2002: 1-2 - [c32]Ralph-Johan Back:
Software Construction by Stepwise Feature Introduction. ZB 2002: 162-183 - [c31]Ralph-Johan Back, Joakim von Wright:
Compositional Action System Refinement. Refine 2002: 3 - 2001
- [j31]Ralph-Johan Back, Luigia Petre, Ivan Porres:
Continuous Action Systems as a Model for Hybrid Systems. Nord. J. Comput. 8(1): 2-21 (2001) - 2000
- [j30]Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright:
Class Refinement as Semantics of Correct Object Substitutability. Formal Aspects Comput. 12(1): 18-40 (2000) - [j29]Ralph-Johan Back, Joakim von Wright:
Encoding, Decoding and Data Refinement. Formal Aspects Comput. 12(5): 313-349 (2000) - [j28]Ralph-Johan Back, Joakim von Wright:
Contracts, Games, and Refinement. Inf. Comput. 156(1-2): 25-45 (2000) - [c30]Ralph-Johan Back, Luigia Petre, Ivan Porres:
Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213
1990 – 1999
- 1999
- [j27]Ralph-Johan Back, Joakim von Wright:
Reasoning Algebraically about Loops. Acta Informatica 36(4): 295-334 (1999) - [c29]Martin Büchi, Ralph-Johan Back:
Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451 - [c28]Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright:
Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476 - [c27]Luigia Petre, Ralph-Johan Back, Ivan Paltor:
Analysing UML Use Cases as Contracts. UML 1999: 518-533 - 1998
- [b1]Ralph-Johan Back, Joakim von Wright:
Refinement Calculus - A Systematic Introduction. Graduate Texts in Computer Science, Springer 1998, ISBN 978-0-387-98417-9, pp. I-XV, 1-519 - [j26]Ralph-Johan Back, Qiwen Xu:
Refinement of Fair Action Systems. Acta Informatica 35(2): 131-165 (1998) - [j25]Ralph-Johan Back, Michael J. Butler:
Fusion and Simultaneous Execution in the Refinement Calculus. Acta Informatica 35(11): 921-949 (1998) - 1997
- [j24]Ralph-Johan Back, Jim Grundy, Joakim von Wright:
Structured Calculational Proof. Formal Aspects Comput. 9(5-6): 469-483 (1997) - [c26]Ralph-Johan Back, Martin Büchi, Emil Sekerinski:
Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262 - [c25]Ralph-Johan Back, Joakim von Wright:
Contracts, games and refinement. EXPRESS 1997: 20-33 - 1996
- [j23]Ralph-Johan Back, Kaisa Sere:
Superposition Refinement of Reactive Systems. Formal Aspects Comput. 8(3): 324-346 (1996) - [j22]Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996) - [j21]Ralph-Johan Back, Kaisa Sere:
From Action Systems to Modular Systems. Softw. Concepts Tools 17(1): 26-39 (1996) - 1995
- [j20]Ralph-Johan Back, Joakim von Wright:
Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995) - [c24]Ralph-Johan Back, Michael J. Butler:
Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158 - [c23]Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179 - 1994
- [c22]Ralph-Johan Back, Joakim von Wright:
Trace Refinement of Action Systems. CONCUR 1994: 367-384 - [c21]Ralph-Johan Back, Kaisa Sere:
From Action Systems to Modular Systems. FME 1994: 1-25 - [c20]Ralph-Johan Back, Kaisa Sere:
Action Systems with Synchronous Communication. PROCOMET 1994: 107-126 - 1993
- [j19]Hong Shen, Ralph-Johan Back:
Construction of large-size interconnection networks with high performance. Networks 23(4): 399-414 (1993) - [j18]Ralph-Johan Back, Joakim von Wright:
Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993) - 1992
- [j17]Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio:
On Equivalence-Completions of Fairness Assumtions. Formal Aspects Comput. 4(6): 582-591 (1992) - [j16]Hong Shen, Ralph-Johan Back:
Construction of large-size interconnection networks with high performance. Microprocess. Microprogramming 35(1-5): 545-554 (1992) - [j15]Ralph-Johan Back, Joakim von Wright:
Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992) - [c19]Ralph-Johan Back:
Refinement Calculus, Lattices and Higher Order Logic. NATO ASI PDC 1992: 53-71 - [c18]Ralph-Johan Back:
Refinement of Parallel and Reactive Programs. NATO ASI PDC 1992: 73-92 - [c17]Ralph-Johan Back, Joakim von Wright:
Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20 - 1991
- [j14]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Action Systems. Struct. Program. 12(1): 17-30 (1991) - [c16]Ralph-Johan Back, Kaisa Sere:
Superposition Refinement of Parallel Algorithms. FORTE 1991: 475-493 - 1990
- [j13]Ralph-Johan Back, Joakim von Wright:
Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Informatica 27(7): 583-625 (1990) - [j12]M. Aspnäs, Ralph-Johan Back:
A programming environment for a transputer-based multiprocessor system. Acta Cybern. 9(3): 291-301 (1990) - [j11]Ralph-Johan Back, Joakim von Wright:
Refinement Concepts Formalised in Higher Order Logic. Formal Aspects Comput. 2(3): 247-272 (1990) - [j10]M. Aspnäs, Ralph-Johan Back, T.-E. Malén:
Hathi-2 multiprocessor system. Microprocess. Microsystems 14(7): 457-466 (1990) - [c15]Ralph-Johan Back, Joakim von Wright:
Refinement Concepts Formalized in Higher Order Logic. Programming Concepts and Methods 1990: 179-200 - [c14]Ralph-Johan Back, Reino Kurki-Suonio:
Superposition and fairness in reactive system refinement. Jerusalem Conference on Information Technology 1990: 162-172
1980 – 1989
- 1989
- [j9]Ralph-Johan Back, Reino Kurki-Suonio:
Decentralization of Process Nets with Centralized Control. Distributed Comput. 3(2): 73-87 (1989) - [j8]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13(1): 133-180 (1989) - [c13]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Action Systems. MPC 1989: 115-138 - [c12]Ralph-Johan Back, Joakim von Wright:
A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156 - [c11]Ralph-Johan Back:
A Method for Refining Atomicity in Parallel Algorithms. PARLE (2) 1989: 199-216 - [c10]Ralph-Johan Back, Joakim von Wright:
Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66 - [c9]Ralph-Johan Back:
Refinement Calculus, Part II: Parallel and Reactive Programs. REX Workshop 1989: 67-93 - 1988
- [j7]Ralph-Johan Back:
A Calculus of Refinements for Program Derivations. Acta Informatica 25(6): 593-624 (1988) - [j6]Ralph-Johan Back, Reino Kurki-Suonio:
Distributed Cooperation with Action Systems. ACM Trans. Program. Lang. Syst. 10(4): 513-554 (1988) - [c8]Ralph-Johan Back, Reino Kurki-Suonio:
Serializability in Distributed Systems with Handshaking. ICALP 1988: 52-66 - 1987
- [c7]Ralph-Johan Back, Reino Kurki-Suonio:
A new paradigm for the design of concurrent systems. IRTAW 1987: 110-112 - 1985
- [j5]Ralph-Johan Back, Heikki Mannila:
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes. Theor. Comput. Sci. 39: 47-68 (1985) - 1984
- [j4]Ralph-Johan Back, Heikki Mannila:
A Semantic Approach to Program Modularity. Inf. Control. 60(1-3): 138-167 (1984) - 1983
- [j3]Ralph-Johan Back:
A Continuous Semantics for Unbounded Nondeterminism. Theor. Comput. Sci. 23: 187-210 (1983) - [c6]Ralph-Johan Back, Reino Kurki-Suonio:
Decentralization of Process Nets with Centralized Control. PODC 1983: 131-142 - [c5]Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä:
Derivation of Efficient DAG Marking Algorithms. POPL 1983: 20-27 - 1982
- [c4]Ralph-Johan Back, Heikki Mannila:
Locality in Modular Systems. ICALP 1982: 1-13 - [c3]Ralph-Johan Back, Heikki Mannila:
A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). PODC 1982: 111-120 - 1981
- [j2]Ralph-Johan Back:
Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Acta Informatica 15: 233-249 (1981) - [j1]Ralph-Johan Back:
On Correct Refinement of Programs. J. Comput. Syst. Sci. 23(1): 49-68 (1981) - 1980
- [c2]Ralph-Johan Back:
Semantics of Unbounded Nondeterminism. ICALP 1980: 51-63 - [c1]Ralph-Johan Back:
Exception Handling with Multi-Exit Statements. Fachtagung über Programmiersprachen 1980: 71-82
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
