( en | de | ru )

 

Disambiguation of "Back, Ralph-Johan"

Author of the publication

copydeleteadd this publication to your clipboard
Computational Heuristics for Simplifying a Biological Model.

, , and . CiE, volume 5635 of Lecture Notes in Computer Science, page 399-408. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

John Ralph

Artur Back

Rudolf Back

Peter Back

Birgit Bäck

 

Other publications of authors with the same name

Hathi-2 multiprocessor system., , and . Microprocess. Microsystems, 14 (7): 457-466 (1990)Computational Heuristics for Simplifying a Biological Model., , and . CiE, volume 5635 of Lecture Notes in Computer Science, page 399-408. Springer, (2009)Statement Inversion and Strongest Postcondition., and . Sci. Comput. Program., 20 (3): 223-251 (1993)On Equivalence-Completions of Fairness Assumtions., , and . Formal Aspects Comput., 4 (6): 582-591 (1992)Encoding, Decoding and Data Refinement., and . Formal Aspects Comput., 12 (5): 313-349 (2000)Superposition Refinement of Reactive Systems., and . Formal Aspects Comput., 8 (3): 324-346 (1996)An algebraic treatment of procedure refinement to support mechanical verification., and . Formal Aspects Comput., 17 (1): 69-90 (2005)Invariant based programming: basic approach and teaching experiences.. Formal Aspects Comput., 21 (3): 227-244 (2009)Reasoning Algebraically about Loops., and . Acta Inf., 36 (4): 295-334 (1999)Fusion and Simultaneous Execution in the Refinement Calculus., and . Acta Inf., 35 (11): 921-949 (1998)