Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540488378, 9783540488392

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_7 ◽

2006 ◽

pp. 123-152 ◽

Cited By ~ 17

Author(s):

Andrew Phillips ◽

Luca Cardelli ◽

Giuseppe Castagna

Keyword(s):

Graphical Representation ◽

Biological Processes ◽

Pi Calculus

Download Full-text

Adapting Biochemical Kripke Structures for Distributed Model Checking

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_6 ◽

2006 ◽

pp. 107-122 ◽

Cited By ~ 2

Author(s):

Susmit Jha ◽

R. K. Shyamasundar

Keyword(s):

Model Checking ◽

Distributed Model ◽

Kripke Structures ◽

Distributed Model Checking

Download Full-text

From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_3 ◽

2006 ◽

pp. 56-72 ◽

Cited By ~ 17

Author(s):

Elisabeth Remy ◽

Paul Ruet ◽

Luis Mendoza ◽

Denis Thieffry ◽

Claudine Chaouiya

Keyword(s):

Petri Nets ◽

Feedback Circuits

Download Full-text

Graph Theory for Rule-Based Modeling of Biochemical Networks

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_5 ◽

2006 ◽

pp. 89-106 ◽

Cited By ~ 35

Author(s):

Michael L. Blinov ◽

Jin Yang ◽

James R. Faeder ◽

William S. Hlavacek

Keyword(s):

Graph Theory ◽

Biochemical Networks ◽

Rule Based

Download Full-text

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_1 ◽

2006 ◽

pp. 1-23 ◽

Cited By ~ 46

Author(s):

Muffy Calder ◽

Stephen Gilmore ◽

Jane Hillston

Keyword(s):

Stochastic Process ◽

Process Algebra ◽

Signalling Pathway ◽

Stochastic Process Algebra

Download Full-text

Translating SBML Models into the Stochastic π-Calculus for Stochastic Simulation

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_4 ◽

2006 ◽

pp. 73-88

Author(s):

Claudio Eccher ◽

Paola Lecca

Keyword(s):

Stochastic Simulation ◽

Π Calculus

Download Full-text

A Specification Language and a Framework for the Execution of Composite Models in Systems Biology

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_10 ◽

2006 ◽

pp. E1-E1 ◽

Cited By ~ 1

Author(s):

Ofer Margoninski ◽

Peter Saffrey ◽

James Hetherington ◽

Linzhong Li ◽

Anthony Finkelstein ◽

...

Keyword(s):

Systems Biology ◽

Specification Language ◽

Composite Models

Download Full-text

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_8 ◽

2006 ◽

pp. 153-162 ◽

Cited By ~ 4

Author(s):

Élisabeth Remy ◽

Paul Ruet

Keyword(s):

Dynamical Systems

Download Full-text

A Specification Language and a Framework for the Execution of Composite Models in Systems Biology

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_9 ◽

2006 ◽

pp. 163-184 ◽

Cited By ~ 2

Author(s):

Ofer Margoninski ◽

Peter Saffrey ◽

James Hetherington ◽

Anthony Finkelstein ◽

Anne Warner

Keyword(s):

Systems Biology ◽

Specification Language ◽

Composite Models

Download Full-text

Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII ◽

10.1007/11905455_2 ◽

2006 ◽

pp. 24-55 ◽

Cited By ~ 18

Author(s):

Céline Kuttler ◽

Joachim Niehren

Keyword(s):

Gene Regulation ◽

Pi Calculus

Download Full-text

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VIILatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Graphical Representation for Biological Processes in the Stochastic pi-Calculus

Adapting Biochemical Kripke Structures for Distributed Model Checking

From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits

Graph Theory for Rule-Based Modeling of Biochemical Networks

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA

Translating SBML Models into the Stochastic π-Calculus for Stochastic Simulation

A Specification Language and a Framework for the Execution of Composite Models in Systems Biology

On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems

A Specification Language and a Framework for the Execution of Composite Models in Systems Biology

Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch

Lecture Notes in Computer Science - Transactions on Computational Systems Biology VII
Latest Publications