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 International Publishing

9783319234007, 9783319234014

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis

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

10.1007/978-3-319-23401-4_18 ◽

2015 ◽

pp. 208-221

Author(s):

Pauline Traynard ◽

François Fages ◽

Sylvain Soliman

Keyword(s):

Cell Cycle ◽

Circadian Clock ◽

Transcription Inhibition ◽

Model Based

Download Full-text

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

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

10.1007/978-3-319-23401-4_16 ◽

2015 ◽

pp. 182-194 ◽

Cited By ~ 6

Author(s):

Curtis Madsen ◽

Fedor Shmarov ◽

Paolo Zuliani

Keyword(s):

Biological Models

Download Full-text

SBMLDock: Docker Driven Systems Biology Tool Development and Usage

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

10.1007/978-3-319-23401-4_24 ◽

2015 ◽

pp. 282-285 ◽

Cited By ~ 1

Author(s):

Etienne Z. Gnimpieba ◽

Mathialakan Thavappiragasam ◽

Abalo Chango ◽

Bill Conn ◽

Carol M. Lushbough

Keyword(s):

Systems Biology ◽

Tool Development ◽

Driven Systems

Download Full-text

Symbolic Dynamics of Biochemical Pathways as Finite States Machines

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

10.1007/978-3-319-23401-4_10 ◽

2015 ◽

pp. 104-120 ◽

Cited By ~ 4

Author(s):

Ovidiu Radulescu ◽

Satya Swarup Samal ◽

Aurélien Naldi ◽

Dima Grigoriev ◽

Andreas Weber

Keyword(s):

Symbolic Dynamics ◽

Biochemical Pathways ◽

Finite States

Download Full-text

Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks

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

10.1007/978-3-319-23401-4_8 ◽

2015 ◽

pp. 77-89 ◽

Cited By ~ 3

Author(s):

Sergiy Bogomolov ◽

Thomas A. Henzinger ◽

Andreas Podelski ◽

Jakob Ruess ◽

Christian Schilling

Keyword(s):

Biochemical Reaction ◽

Moment Closure ◽

Reaction Networks ◽

Biochemical Reaction Networks ◽

Parameter Inference

Download Full-text

Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics

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

10.1007/978-3-319-23401-4_6 ◽

2015 ◽

pp. 52-63 ◽

Cited By ~ 4

Author(s):

Carolin Loos ◽

Carsten Marr ◽

Fabian J. Theis ◽

Jan Hasenauer

Keyword(s):

Single Cell ◽

Approximate Bayesian Computation ◽

Time Lapse ◽

Bayesian Computation ◽

Test Statistics ◽

Multivariate Test ◽

Approximate Bayesian

Download Full-text

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network

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

10.1007/978-3-319-23401-4_2 ◽

2015 ◽

pp. 8-12 ◽

Cited By ~ 1

Author(s):

Gilles Bernot ◽

Jean-Paul Comet ◽

Olivier Roux

Keyword(s):

Gene Network ◽

Genetically Modified ◽

Hoare Logic

Download Full-text

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information

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

10.1007/978-3-319-23401-4_14 ◽

2015 ◽

pp. 157-169 ◽

Cited By ~ 1

Author(s):

Joachim Niehren ◽

Mathias John ◽

Cristian Versari ◽

François Coutte ◽

Philippe Jacques

Keyword(s):

Qualitative Reasoning ◽

Reaction Networks ◽

Kinetic Information

Download Full-text

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems

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

10.1007/978-3-319-23401-4_3 ◽

2015 ◽

pp. 15-27 ◽

Cited By ~ 6

Author(s):

Qinsi Wang ◽

Paolo Zuliani ◽

Soonho Kong ◽

Sicun Gao ◽

Edmund M. Clarke

Keyword(s):

Hybrid Systems ◽

Stochastic Hybrid Systems

Download Full-text

Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides

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

10.1007/978-3-319-23401-4_11 ◽

2015 ◽

pp. 121-132 ◽

Cited By ~ 2

Author(s):

Francy Camacho ◽

Rodrigo Torres ◽

Raúl Ramos-Pollán

Keyword(s):

Antimicrobial Peptides ◽

Feature Learning ◽

Stacked Autoencoders

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

SBMLDock: Docker Driven Systems Biology Tool Development and Usage

Symbolic Dynamics of Biochemical Pathways as Finite States Machines

Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks

Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics

A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network

Qualitative Reasoning for Reaction Networks with Partial Kinetic Information

SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems

Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides

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