Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ralph-Johan Back
2010 – today
- 2012
[j43]Viorel Preoteasa, Ralph-Johan Back: Invariant diagrams with data refinement. Formal Asp. Comput. 24(1): 67-95 (2012)- [j42]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. Biology Bioinform. 9(3): 885-898 (2012)
- [c45]Mikolaj Olszewski, Ralph-Johan Back: Agile Development with Stepwise Feature Introduction. ENASE 2012: 161-166
- 2011
- [j41]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. Natural Computing 10(1): 595-612 (2011)
- [c44]Ralph-Johan Back, Viorel Preoteasa: Semantics and proof rules of invariant based programs. SAC 2011: 1658-1665
- [c43]Ralph-Johan Back, Johannes Eriksson: An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support. THedu'11 2011: 29-48
- [e4]Pedro Quaresma, Ralph-Johan Back (Eds.): Proceedings First Workshop on CTP Components for Educational Software. EPTCS 79, 2011
- [e3]Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Transactions on Computational Systems Biology XIII. Lecture Notes in Computer Science 6575, Springer 2011, ISBN 978-3-642-19747-5
- 2010
- [j40]Viorel Preoteasa, Ralph-Johan Back: Semantics and Data Refinement of Invariant Based Programs. Archive of Formal Proofs 2010 (2010)
- [j39]Viorel Preoteasa, Ralph-Johan Back: Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. Archive of Formal Proofs 2010 (2010)
- [j38]Ralph-Johan Back: Structured derivations: a unified proof style for teaching mathematics. Formal Asp. Comput. 22(5): 629-661 (2010)
- [c42]Johannes Eriksson, Ralph-Johan Back: Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM 2010: 24-39
2000 – 2009
- 2009
- [j37]Viorel Preoteasa, Ralph-Johan Back: Data Refinement of Invariant Based Programs. Electr. Notes Theor. Comput. Sci. 259: 143-163 (2009)
- [j36]Ralph-Johan Back: Invariant based programming: basic approach and teaching experiences. Formal Asp. Comput. 21(3): 227-244 (2009)
- [c41]Ion Petre, Andrzej Mizera, Ralph-Johan Back: Computational Heuristics for Simplifying a Biological Model. CiE 2009: 399-408
- [c40]Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre: Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. CMSB 2009: 111-125
- [e2]Ralph-Johan Back, Ion Petre, Erik P. de Vink (Eds.): Proceedings Second International Workshop on Computational Models for Cell Processes. EPTCS 6, 2009
- [e1]Corrado Priami, Ralph-Johan Back, Ion Petre (Eds.): Transactions on Computational Systems Biology XI. Lecture Notes in Computer Science 5750, Springer 2009, ISBN 978-3-642-04185-3
- 2008
- [j35]Mauno Rönkkö, Marina A. Waldén, Ralph-Johan Back: Beyond particle systems: Operator networks. Simulation Modelling Practice and Theory 16(7): 834-847 (2008)
- [c39]
- 2007
- [c38]Ralph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78
- 2006
- [c37]
- [c36]
- 2005
- [j34]Ralph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput. 17(1): 69-90 (2005)
- [c35]
- [c34]Ralph-Johan Back, Luka Milovanov, Ivan Porres: Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428
- [c33]Ralph-Johan Back, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17
- 2004
- [c32]Ralph-Johan Back, Cristina Cerschi Seceleanu: Contracts and Games in Controller Synthesis for Discrete Systems. ECBS 2004: 307-315
- [c31]Ralph-Johan Back, Piia Hirkman, Luka Milovanov: Evaluating the XP Customer Model and Design by Contract. EUROMICRO 2004: 318-325
- 2003
- [j33]Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Formal Asp. Comput. 15(2-3): 103-117 (2003)
- [c30]Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa: Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425-
- [c29]Ralph-Johan Back, Viorel Preoteasa: Reasoning about recursive procedures with parameters. MERLIN 2003
- [c28]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
- [j32]Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Electr. Notes Theor. Comput. Sci. 70(3): 3 (2002)
- [c27]Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm: Symbolic Simulation of Hybrid Systems. APSEC 2002: 147-
- [c26]
- [c25]
- 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 Asp. Comput. 12(1): 18-40 (2000)
- [j29]Ralph-Johan Back, Joakim von Wright: Encoding, Decoding and Data Refinement. Formal Asp. 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)
- [c24]Ralph-Johan Back, Luigia Petre, Ivan Porres: Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213
1990 – 1999
- 1999
- [b1]Ralph-Johan Back, Joakim von Wright: Refinement calculus - a systematic introduction. Undergraduate texts in computer science, Springer 1999, ISBN 978-0-387-98417-9, pp. I-XV, 1-519
- [j27]Ralph-Johan Back, Joakim von Wright: Reasoning Algebraically about Loops. Acta Inf. 36(4): 295-334 (1999)
- [c23]Martin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451
- [c22]Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476
- [c21]Luigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533
- 1998
- [j26]
- [j25]Ralph-Johan Back, Michael J. Butler: Fusion and Simultaneous Execution in the Refinement Calculus. Acta Inf. 35(11): 921-949 (1998)
- 1997
- [j24]Ralph-Johan Back, Joakim von Wright: Contracts, games and refinement. Electr. Notes Theor. Comput. Sci. 7: 20-33 (1997)
- [j23]Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
- [c20]Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262
- 1996
- [j22]Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Reactive Systems. Formal Asp. Comput. 8(3): 324-346 (1996)
- [j21]Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996)
- [j20]Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. Software - Concepts and Tools 17(1): 26-39 (1996)
- 1995
- [j19]Ralph-Johan Back, Joakim von Wright: Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995)
- [c19]Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158
- [c18]Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179
- 1994
- [c17]
- [c16]
- [c15]
- 1993
- [j18]Hong Shen, Ralph-Johan Back: Construction of large-size interconnection networks with high performance. Networks 23(4): 399-414 (1993)
- [j17]Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993)
- 1992
- [j16]Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio: On Equivalence-Completions of Fairness Assumtions. Formal Asp. Comput. 4(6): 582-591 (1992)
- [j15]Hong Shen, Ralph-Johan Back: Construction of large-size interconnection networks with high performance. Microprocessing and Microprogramming 35(1-5): 545-554 (1992)
- [j14]Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992)
- [c14]Ralph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20
- 1991
- [j13]Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. Structured Programming 12(1): 17-30 (1991)
- [c13]
- 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 Asp. Comput. 2(3): 247-272 (1990)
1980 – 1989
- 1989
- [j10]Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Inf. 27(7): 583-625 (1989)
- [j9]Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. Distributed Computing 3(2): 73-87 (1989)
- [j8]Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13(1): 133-180 (1989)
- [c12]
- [c11]Ralph-Johan Back, Joakim von Wright: A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156
- [c10]
- [c9]Ralph-Johan Back, Joakim von Wright: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66
- [c8]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 Inf. 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)
- [c7]Ralph-Johan Back, Reino Kurki-Suonio: Serializability in Distributed Systems with Handshaking. ICALP 1988: 52-66
- 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. Information and 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]
- [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 Inf. 15: 233-249 (1981)
- [j1]
- 1980
- [c2]
- [c1]Ralph-Johan Back: Exception Handling with Multi-Exit Statements. Fachtagung über Programmiersprachen 1980: 71-82
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:18 CEST by the dblp team