WorldCat Identities

Back, Ralph-Johan

Overview
Works: 20 works in 52 publications in 2 languages and 533 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Other, Editor
Publication Timeline
.
Most widely held works by Ralph-Johan Back
Transactions on computational systems biology XI by Corrado Priami( )

11 editions published in 2009 in English and Undetermined and held by 442 WorldCat member libraries worldwide

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This special issue on Computational Models for Cell Processes is based on a workshop with the same name that took place in Turku, Finland, on May 27, 2008. The accepted papers, which have passed through a separate peer-review process, span an interesting mix of approaches to systems biology, ranging from quantitative to qualitative techniques, from continuous to discrete mathematics, from deterministic to stochastic methods, and from computational models for biology to computing paradigms inspired by biology. Also included in this issue are three regular submissions dealing with the relationship between ODEs and stochastic concurrent constraint programming, with the equilibrium points of genetic regulatory networks, and with probability models describing how epigenetic context affects gene expression and organismal development
Transactions on Computational Systems Biology XIII by Corrado Priami( )

4 editions published in 2011 in English and held by 28 WorldCat member libraries worldwide

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This, the 13th Transactions on Computational Systems Biology volume, guest edited by Ralph-Johan Back, Ion Petre, and Erik de Vink, focuses on Computational Models for Cell Processes and features a number of carefully selected and enhanced contributions initially presented at the CompMod workshop, which took place in Eindhoven, The Netherlands, in November 2009. From different points of view and following various approaches, the papers cover a wide range of topics in systems biology, addressing the dynamics and the computational principles of this emerging field
On the correctness of refinement steps in program development by Ralph-Johan Back( Book )

7 editions published between 1974 and 1978 in English and Finnish and held by 21 WorldCat member libraries worldwide

Transactions on computational systems biology XIV : special issue on computational models for cell processes by Corrado Priami( )

2 editions published in 2009 in English and held by 17 WorldCat member libraries worldwide

Annotation
Encoding, decoding and data refinement by Ralph-Johan Back( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

Programs on product spaces by Ralph-Johan Back( Book )

2 editions published in 1997 in English and held by 2 WorldCat member libraries worldwide

Contracts, games and refinement by Ralph-Johan Back( Book )

2 editions published in 1997 in English and held by 2 WorldCat member libraries worldwide

Formalising UML use cases in the refinement calculus by Ralph-Johan Back( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

Interpreting nondeterminism in the refinement calculus by Ralph-Johan Back( Book )

2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide

Class refinement as semantics of correct subclassing by Ralph-Johan Back( Book )

2 editions published in 1998 in English and held by 2 WorldCat member libraries worldwide

Adding type-bound actions to action-oberon by Ralph-Johan Back( Book )

2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide

Modeling component environments and interactive programs using iterative choice by Ralph-Johan Back( Book )

2 editions published in 1998 in English and held by 2 WorldCat member libraries worldwide

Products in the refinement calculus by Ralph-Johan Back( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

Structured derivations : a method for doing high-school mathematics carefully by Ralph-Johan Back( Book )

2 editions published in 1999 in English and held by 2 WorldCat member libraries worldwide

Doing high school mathematics carefully by Ralph-Johan Back( Book )

2 editions published in 1997 in English and held by 2 WorldCat member libraries worldwide

Checking wether programs are correct of incorrect by Ralph-Johan Back( Book )

1 edition published in 1980 in Undetermined and held by 1 WorldCat member library worldwide

I3V: a program proof management system by Ralph-Johan Back( Book )

2 editions published in 1986 in Undetermined and English and held by 1 WorldCat member library worldwide

Semantics of unbounded nondeterminism by Ralph-Johan Back( Book )

1 edition published in 1980 in Undetermined and held by 1 WorldCat member library worldwide

Transactions on Computational Systems Biology XI( )

1 edition published in 2009 in English and held by 0 WorldCat member libraries worldwide

From action systems to modular systems by Ralph-Johan Back( )

1 edition published in 1996 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.53 (from 0.46 for Transactio ... to 1.00 for Transactio ...)

Transactions on computational systems biology XI Transactions on computational systems biology XIV : special issue on computational models for cell processes
Covers
Transactions on Computational Systems Biology XIIITransactions on computational systems biology XIV : special issue on computational models for cell processes
Alternative Names
Back, R.J.R.

Ralph-Johan Back computer scientist

Ralph-Johan Back Fins informaticus

Languages