Ralph-Johan Back

	2012
91		Viorel Preoteasa, Ralph-Johan Back: Invariant diagrams with data refinement. Formal Asp. Comput. 24(1): 67-95 (2012)
90		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)
	2011
89		Corrado Priami, Ralph-Johan Back, Ion Petre, Erik P. de Vink: Transactions on Computational Systems Biology XIII Springer 2011
88		Pedro Quaresma, Ralph-Johan Back: Proceedings First Workshop on CTP Components for Educational Software THedu'11 2011
87		Ralph-Johan Back, Viorel Preoteasa: Semantics and proof rules of invariant based programs. SAC 2011: 1658-1665
86		Ralph-Johan Back, Johannes Eriksson: An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support THedu'11 2011: 29-48
85		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)
	2010
84		Johannes Eriksson, Ralph-Johan Back: Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. ICFEM 2010: 24-39
83		Viorel Preoteasa, Ralph-Johan Back: Semantics and Data Refinement of Invariant Based Programs. Archive of Formal Proofs 2010: (2010)
82		Viorel Preoteasa, Ralph-Johan Back: Verification of the Deutsch-Schorr-Waite Graph Marking Algorithm using Data Refinement. Archive of Formal Proofs 2010: (2010)
81		Ralph-Johan Back: Structured derivations: a unified proof style for teaching mathematics. Formal Asp. Comput. 22(5): 629-661 (2010)
	2009
80		Ralph-Johan Back, Ion Petre, Erik P. de Vink: Proceedings Second International Workshop on Computational Models for Cell Processes COMPMOD 2009
79		Corrado Priami, Ralph-Johan Back, Ion Petre: Transactions on Computational Systems Biology XI Springer 2009
78		Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre: Control Strategies for the Regulation of the Eukaryotic Heat Shock Response. CMSB 2009: 111-125
77		Ion Petre, Andrzej Mizera, Ralph-Johan Back: Computational Heuristics for Simplifying a Biological Model. CiE 2009: 399-408
76		Viorel Preoteasa, Ralph-Johan Back: Data Refinement of Invariant Based Programs. Electr. Notes Theor. Comput. Sci. 259: 143-163 (2009)
75		Ralph-Johan Back: Invariant based programming: basic approach and teaching experiences. Formal Asp. Comput. 21(3): 227-244 (2009)
	2008
74		Ralph-Johan Back: Refinement Calculus as a Theory of Contracts (Invited Paper). UTP 2008: 1
73		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)
	2007
72		Ralph-Johan Back, Johannes Eriksson, Magnus Myreen: Testing and Verifying Invariant Based Programs in the SOCOS Environment. TAP 2007: 61-78
	2006
71		Ralph-Johan Back: Incremental Software Construction with Refinement Diagrams. AMAST 2006: 1
70		Ralph-Johan Back: Invariant Based Programming. ICATPN 2006: 1-18
	2005
69		Ralph-Johan Back, Magnus Myreen: Tool Support for Invariant Based Programming. APSEC 2005: 711-718
68		Ralph-Johan Back, Luka Milovanov, Ivan Porres: Software Development and Experimentation in an Academic Environment: The Gaudi Experience. PROFES 2005: 414-428
67		Ralph-Johan Back, Johannes Eriksson, Luka Milovanov: Using Stepwise Feature Introduction in Practice: An Experience Report. RISE 2005: 2-17
66		Ralph-Johan Back, Viorel Preoteasa: An algebraic treatment of procedure refinement to support mechanical verification. Formal Asp. Comput. 17(1): 69-90 (2005)
	2004
65		Ralph-Johan Back, Cristina Cerschi Seceleanu: Contracts and Games in Controller Synthesis for Discrete Systems. ECBS 2004: 307-315
64		Ralph-Johan Back, Piia Hirkman, Luka Milovanov: Evaluating the XP Customer Model and Design by Contract. EUROMICRO 2004: 318-325
	2003
63		Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa: Reasoning about Pointers in Refinement Calculus. APSEC 2003: 425-
62		Ralph-Johan Back, Viorel Preoteasa: Reasoning about recursive procedures with parameters. MERLIN 2003
61		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
60		Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Formal Asp. Comput. 15(2-3): 103-117 (2003)
	2002
59		Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm: Symbolic Simulation of Hybrid Systems. APSEC 2002: 147-
58		Ralph-Johan Back: SFI: A Refinement Based Layered Software Architecture. ICFEM 2002: 1-2
57		Ralph-Johan Back: Software Construction by Stepwise Feature Introduction. ZB 2002: 162-183
56		Ralph-Johan Back, Joakim von Wright: Compositional Action System Refinement. Electr. Notes Theor. Comput. Sci. 70(3): 3 (2002)
	2001
55		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
54		Ralph-Johan Back, Luigia Petre, Ivan Porres: Generalizing Action Systems to Hybrid Systems. FTRTFT 2000: 202-213
53		Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Class Refinement as Semantics of Correct Object Substitutability. Formal Asp. Comput. 12(1): 18-40 (2000)
52		Ralph-Johan Back, Joakim von Wright: Encoding, Decoding and Data Refinement. Formal Asp. Comput. 12(5): 313-349 (2000)
51		Ralph-Johan Back, Joakim von Wright: Contracts, Games, and Refinement. Inf. Comput. 156(1-2): 25-45 (2000)
	1999
50		Ralph-Johan Back, Joakim von Wright: Refinement calculus - a systematic introduction. Springer 1999: I-XV, 1-519
49		Luigia Petre, Ralph-Johan Back, Ivan Paltor: Analysing UML Use Cases as Contracts. UML 1999: 518-533
48		Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright: Reasoning About Interactive Systems. World Congress on Formal Methods 1999: 1460-1476
47		Martin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451
46		Ralph-Johan Back, Joakim von Wright: Reasoning Algebraically about Loops. Acta Inf. 36(4): 295-334 (1999)
	1998
45		Ralph-Johan Back, Michael J. Butler: Fusion and Simultaneous Execution in the Refinement Calculus. Acta Inf. 35(11): 921-949 (1998)
44		Ralph-Johan Back, Qiwen Xu: Refinement of Fair Action Systems. Acta Inf. 35(2): 131-165 (1998)
	1997
43		Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262
42		Ralph-Johan Back, Joakim von Wright: Contracts, games and refinement. Electr. Notes Theor. Comput. Sci. 7: 20-33 (1997)
41		Ralph-Johan Back, Jim Grundy, Joakim von Wright: Structured Calculational Proof. Formal Asp. Comput. 9(5-6): 469-483 (1997)
	1996
40		Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Reactive Systems. Formal Asp. Comput. 8(3): 324-346 (1996)
39		Ralph-Johan Back, Alain J. Martin, Kaisa Sere: Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996)
38		Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. Software - Concepts and Tools 17(1): 26-39 (1996)
	1995
37		Ralph-Johan Back, Michael J. Butler: Exploring Summation and Product Operators in the Refinement Calculus. MPC 1995: 128-158
36		Ralph-Johan Back, Alain J. Martin, Kaisa Sere: An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179
35		Ralph-Johan Back, Joakim von Wright: Games and Winning Strategies. Inf. Process. Lett. 53(3): 165-172 (1995)
	1994
34		Ralph-Johan Back, Joakim von Wright: Trace Refinement of Action Systems. CONCUR 1994: 367-384
33		Ralph-Johan Back, Kaisa Sere: From Action Systems to Modular Systems. FME 1994: 1-25
32		Ralph-Johan Back, Kaisa Sere: Action Systems with Synchronous Communication. PROCOMET 1994: 107-126
	1993
31		Ralph-Johan Back, Joakim von Wright: Statement Inversion and Strongest Postcondition. Sci. Comput. Program. 20(3): 223-251 (1993)
	1992
30		Ralph-Johan Back, Joakim von Wright: Predicate Transformers and Higher Order Logic. REX Workshop 1992: 1-20
29		Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio: On Equivalence-Completions of Fairness Assumtions. Formal Asp. Comput. 4(6): 582-591 (1992)
28		Hong Shen, Ralph-Johan Back: Construction of large-size interconnection networks with high performance. Microprocessing and Microprogramming 35(1-5): 545-554 (1992)
27		Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. Theor. Comput. Sci. 100(2): 365-383 (1992)
	1991
26		Ralph-Johan Back, Kaisa Sere: Superposition Refinement of Parallel Algorithms. FORTE 1991: 475-493
25		Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. Structured Programming 12(1): 17-30 (1991)
	1990
24		M. Aspnäs, Ralph-Johan Back: A programming environment for a transputer-based multiprocessor system. Acta Cybern. 9(3): 291-301 (1990)
23		Ralph-Johan Back, Joakim von Wright: Refinement Concepts Formalised in Higher Order Logic. Formal Asp. Comput. 2(3): 247-272 (1990)
	1989
22		Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Action Systems. MPC 1989: 115-138
21		Ralph-Johan Back, Joakim von Wright: A Lattice-theoretical Basis for a Specification Language. MPC 1989: 139-156
20		Ralph-Johan Back: A Method for Refining Atomicity in Parallel Algorithms. PARLE (2) 1989: 199-216
19		Ralph-Johan Back, Joakim von Wright: Refinement Calculus, Part I: Sequential Nondeterministic Programs. REX Workshop 1989: 42-66
18		Ralph-Johan Back: Refinement Calculus, Part II: Parallel and Reactive Programs. REX Workshop 1989: 67-93
17		Ralph-Johan Back, Joakim von Wright: Duality in Specification Languages: A Lattice-Theoretical Approach. Acta Inf. 27(7): 583-625 (1989)
16		Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. Distributed Computing 3(2): 73-87 (1989)
15		Ralph-Johan Back, Kaisa Sere: Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13(1): 133-180 (1989)
	1988
14		Ralph-Johan Back, Reino Kurki-Suonio: Serializability in Distributed Systems with Handshaking. ICALP 1988: 52-66
13		Ralph-Johan Back, Reino Kurki-Suonio: Distributed Cooperation with Action Systems. ACM Trans. Program. Lang. Syst. 10(4): 513-554 (1988)
12		Ralph-Johan Back: A Calculus of Refinements for Program Derivations. Acta Inf. 25(6): 593-624 (1988)
	1985
11		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
10		Ralph-Johan Back, Heikki Mannila: A Semantic Approach to Program Modularity Information and Control 60(1-3): 138-167 (1984)
	1983
9		Ralph-Johan Back, Reino Kurki-Suonio: Decentralization of Process Nets with Centralized Control. PODC 1983: 131-142
8		Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä: Derivation of Efficient DAG Marking Algorithms. POPL 1983: 20-27
7		Ralph-Johan Back: A Continuous Semantics for Unbounded Nondeterminism. Theor. Comput. Sci. 23: 187-210 (1983)
	1982
6		Ralph-Johan Back, Heikki Mannila: Locality in Modular Systems. ICALP 1982: 1-13
5		Ralph-Johan Back, Heikki Mannila: A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). PODC 1982: 111-120
	1981
4		Ralph-Johan Back: Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Acta Inf. 15: 233-249 (1981)
3		Ralph-Johan Back: On Correct Refinement of Programs. J. Comput. Syst. Sci. 23(1): 49-68 (1981)
	1980
2		Ralph-Johan Back: Exception Handling with Multi-Exit Statements. Fachtagung über Programmiersprachen 1980: 71-82
1		Ralph-Johan Back: Semantics of Unbounded Nondeterminism. ICALP 1980: 51-63

Coauthor Index

1	M. Aspnäs	[24]
2	Dag Björklund	[61]
3	Martin Büchi	[43] [47]
4	Michael J. Butler	[37] [45]
5	Elena Czeizler (Elena Petre)	[78] [90]
6	Eugen Czeizler	[78] [90]
7	Johannes Eriksson	[67] [72] [84] [86]
8	John E. Eriksson	[85] [90]
9	Xiaocong Fan	[63]
10	Nissim Francez	[29]
11	Jim Grundy	[41]
12	Piia Hirkman	[64]
13	Claire L. Hyder	[85]
14	Reino Kurki-Suonio	[9] [13] [14] [16] [29]
15	Johan Lilius	[61]
16	Heikki Mannila	[5] [6] [8] [10] [11]
17	Alain J. Martin	[36] [39]
18	Annika Meinander	[85]
19	Andrey Mikhailov	[85]
20	Anna Mikhajlova	[48] [53]
21	Luka Milovanov	[61] [64] [67] [68]
22	Andrzej Mizera	[77] [85] [90]
23	Richard I. Morimoto	[85]
24	Magnus Myreen	[69] [72]
25	Ivan Paltor	[49]
26	Ion Petre	[77] [78] [79] [80] [85] [89] [90]
27	Luigia Petre	[49] [54] [55]
28	Ivan Porres	[54] [55] [61] [68]
29	Viorel Preoteasa	[62] [63] [66] [76] [82] [83] [87] [91]
30	Corrado Priami	[79] [89]
31	Pedro Quaresma	[88]
32	Kari-Jouko Räihä	[8]
33	Mauno Rönkkö	[73]
34	Cristina Cerschi Seceleanu	[59] [65]
35	Emil Sekerinski	[43]
36	Kaisa Sere	[15] [22] [25] [26] [32] [33] [36] [38] [39] [40]
37	Hong Shen	[28]
38	Lea Sistonen	[85]
39	Erik P. de Vink	[80] [89]
40	Marina A. Waldén	[73]
41	Jan Westerholm	[59]
42	Joakim von Wright	[17] [19] [21] [23] [27] [30] [31] [34] [35] [41] [42] [46] [48] [50] [51] [52] [53] [56] [60]
43	Qiwen Xu	[44]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page