E-LIB Suche - Ergebnisse für: Back, Ralph J. - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Structured calculational proof:

Back, Ralph ; Grundy, Jim ; von Wright, Joakim
Formal Aspects of Computing. 9 (1997) 5-6 - p. 469-483 , 1997

Link: https://doi.org/10.1007/..

2

On equivalence-completions of fairness assumptions:

Francez, Nissim ; Back, Ralph -J. J. ; Kurki-Suonio, Reino
Formal Aspects of Computing. 4 (1992) 6 - p. 582-591 , 1992

Link: https://doi.org/10.1007/..

3

A new paradigm for the design of concurrent systems:

Back, Ralph ; Kurki-Suonio, Reino
ACM SIGAda Ada Letters. VII (1987) 6 - p. 110-112 , 1987

Link: https://doi.org/10.1145/..

4

A new paradigm for the design of concurrent systems:

, In: Proceedings of the first international workshop on Real-time Ada issues,

Back, Ralph ; Kurki-Suonio, Reino - p. 110-112 , 1987

Link: https://dl.acm.org/doi/1..

5

Transactions on computational systems biology ; 13.2011

Lecture notes in computer science ; 6575, Lecture notes in ..

Priami, Corrado ; Back, Ralph-Johan ; Petre, Ion. , 2011

Link: http://dx.doi.org/10.100..

6

Transactions on computational systems biology ; 11.2009

Lecture notes in computer science ; 5750, Lecture notes in ..

Priami, Corrado ; Back, Ralph-Johan ; Petre, Ion , 2009

Link: http://dx.doi.org/10.100..

7

Refinement calculus

a systematic introduction Graduate texts in computer science

Back, Ralph J. ; Back, Ralph-Johan , 1998

Copies: Zentrale:E02 a inf 410 hol/954

8

Refinement of fair action systems:

Back, Ralph J.R. ; Xu, Qiwen
Acta Informatica. 35 (1998) 2 - p. 131-165 , 1998

Link: https://doi.org/10.1007/..

9

A Precise Pictorial Language for Array Invariants:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Eriksson, Johannes ; Parsa, Masoumeh ; Back, Ralph-Johan - p. 151-160 , 2018

Link: https://doi.org/10.1007/..

10

Verification and code generation for invariant diagrams in ..:

Preoteasa, Viorel ; Back, Ralph-Johan ; Eriksson, Johannes
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 1 - p. 19-36 , 2015

Link: https://doi.org/10.1016/..

11

Quantitative Analysis of the Self-Assembly Strategies of In..:

Czeizler, Eugen ; Mizera, Andrzej ; Czeizler, Elena...
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). 9 (2012) 3 - p. 885-898 , 2012

Link: https://dl.acm.org/doi/1..

12

Invariant diagrams with data refinement:

Preoteasa, Viorel ; Back, Ralph-Johan
Formal Aspects of Computing. 24 (2012) 1 - p. 67-95 , 2012

Link: https://doi.org/10.1007/..

13

Semantics and proof rules of invariant based programs:

, In: Proceedings of the 2011 ACM Symposium on Applied Computing,

Back, Ralph-Johan ; Preoteasa, Viorel - p. 1658-1665 , 2011

Link: https://dl.acm.org/doi/1..

14

'It takes me longer, but I understand better' – student fee..:

Back, Ralph-Johan ; Mannila, Linda ; Wallin, Solveig
International Journal of Mathematical Education in Science and Technology. 41 (2010) 5 - p. 575-593 , 2010

Link: https://doi.org/10.1080/..

15

Structured derivations: a unified proof style for teaching ..:

Back, Ralph-Johan
Formal Aspects of Computing. 22 (2010) 5 - p. 629-661 , 2010

Link: https://doi.org/10.1007/..

1-15

Related subjects