Computational Methods in Systems Biology - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642038440, 9783642038457

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Quantitative Pathway Logic for Computational Biology

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_5 ◽

2009 ◽

pp. 68-82 ◽

Cited By ~ 4

Author(s):

Michele Baggi ◽

Demis Ballis ◽

Moreno Falaschi

Keyword(s):

Computational Biology

Download Full-text

Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_1 ◽

2009 ◽

pp. 1-17 ◽

Cited By ~ 1

Author(s):

Lisa Bartoli ◽

Pier Luigi Martelli ◽

Ivan Rossi ◽

Piero Fariselli ◽

Rita Casadio

Keyword(s):

Protein Interaction ◽

Large Scale ◽

Protein Interaction Networks ◽

Interaction Networks ◽

Molecular Events

Download Full-text

Dynamic Compartments in the Imperative π-Calculus

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_16 ◽

2009 ◽

pp. 235-250 ◽

Cited By ~ 9

Author(s):

Mathias John ◽

Cédric Lhoussaine ◽

Joachim Niehren

Keyword(s):

Π Calculus

Download Full-text

BlenX4Bio – BlenX for Biologists

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_3 ◽

2009 ◽

pp. 26-51 ◽

Cited By ~ 6

Author(s):

Corrado Priami ◽

Paolo Ballarini ◽

Paola Quaglia

Download Full-text

Probabilistic Approximations of Signaling Pathway Dynamics

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_17 ◽

2009 ◽

pp. 251-265 ◽

Cited By ~ 5

Author(s):

Bing Liu ◽

P. S. Thiagarajan ◽

David Hsu

Keyword(s):

Signaling Pathway

Download Full-text

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_20 ◽

2009 ◽

pp. 296-312 ◽

Cited By ~ 14

Author(s):

Martin Schwarick ◽

Monika Heiner

Keyword(s):

Model Checking ◽

Biochemical Networks ◽

Decision Diagrams

Download Full-text

A Bayesian Approach to Model Checking Biological Systems

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_15 ◽

2009 ◽

pp. 218-234 ◽

Cited By ~ 107

Author(s):

Sumit K. Jha ◽

Edmund M. Clarke ◽

Christopher J. Langmead ◽

Axel Legay ◽

André Platzer ◽

...

Keyword(s):

Model Checking ◽

Bayesian Approach ◽

Biological Systems

Download Full-text

Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_4 ◽

2009 ◽

pp. 52-67 ◽

Cited By ~ 6

Author(s):

Ozgur E. Akman ◽

Federica Ciocchetta ◽

Andrea Degasperi ◽

Maria Luisa Guerriero

Keyword(s):

Neurospora Crassa ◽

Biological Clocks

Download Full-text

Control Strategies for the Regulation of the Eukaryotic Heat Shock Response

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_8 ◽

2009 ◽

pp. 111-125 ◽

Cited By ~ 1

Author(s):

Elena Czeizler ◽

Eugen Czeizler ◽

Ralph-Johan Back ◽

Ion Petre

Keyword(s):

Heat Shock ◽

Heat Shock Response ◽

Control Strategies ◽

Shock Response

Download Full-text

Formal Analysis of the Genetic Toggle

Computational Methods in Systems Biology - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03845-7_7 ◽

2009 ◽

pp. 96-110

Author(s):

Giampaolo Bella ◽

Pietro Liò

Keyword(s):

Formal Analysis

Download Full-text

Computational Methods in Systems Biology - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Quantitative Pathway Logic for Computational Biology

Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks

Dynamic Compartments in the Imperative π-Calculus

BlenX4Bio – BlenX for Biologists

Probabilistic Approximations of Signaling Pathway Dynamics

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

A Bayesian Approach to Model Checking Biological Systems

Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network

Control Strategies for the Regulation of the Eukaryotic Heat Shock Response

Formal Analysis of the Genetic Toggle

Computational Methods in Systems Biology - Lecture Notes in Computer Science
Latest Publications