1. CMSB 2003:
Roverto,
Italy
Corrado Priami (Ed.):
Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings.
Lecture Notes in Computer Science 2602 Springer 2003, ISBN 3-540-00605-2 BibTeX
@proceedings{DBLP:conf/cmsb/2003,
editor = {Corrado Priami},
title = {Computational Methods in Systems Biology, First International
Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
booktitle = {CMSB},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2602},
year = {2003},
isbn = {3-540-00605-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Regular Papers
- Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari:
Causal pi-Calculus for Biochemical Modelling.
21-33
Electronic Edition (Springer LINK) BibTeX
- Vincent Danos, Cosimo Laneve:
Graphs for Core Molecular Biology.
34-46
Electronic Edition (Springer LINK) BibTeX
- Sabine Peres, Jean-Paul Comet:
Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa.
47-56
Electronic Edition (Springer LINK) BibTeX
- Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni:
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.
57-74
Electronic Edition (Springer LINK) BibTeX
- Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr:
Multiscale Modeling of Alternative Splicing Regulation.
75-87
Electronic Edition (Springer LINK) BibTeX
- Juho Rousu, Ari Rantanen, Hannu Maaheimo, Esa Pitkänen, Katja Saarela, Esko Ukkonen:
A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information.
88-103
Electronic Edition (Springer LINK) BibTeX
- SunYong Kim, Seiya Imoto, Satoru Miyano:
Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data.
104-113
Electronic Edition (Springer LINK) BibTeX
- Daniela Degenring, Mathias Röhl, Adelinde Uhrmacher:
Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach.
114-126
Electronic Edition (Springer LINK) BibTeX
- Kwang-Hyun Cho, Sung-Young Shin, Hyun Woo Kim, Olaf Wolkenhauer, Brian McFerran, Walter Kolch:
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway.
127-141
Electronic Edition (Springer LINK) BibTeX
- Ney Lemke, Fabiana Herédia, Cláudia K. Barcellos, José C. M. Mombach:
A Method to Identify Essential Enzymes in the Metabolism: Application to Escherichia Coli.
142-148
Electronic Edition (Springer LINK) BibTeX
- Nathalie Chabrier, François Fages:
Symbolic Model Checking of Biochemical Networks.
149-162
Electronic Edition (Springer LINK) BibTeX
Presentation Abstracts
- Will Casey:
Coupled Oscillator Models for a Set of Communicating Cells.
163
Electronic Edition (Springer LINK) BibTeX
- Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott:
Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.
164-165
Electronic Edition (Springer LINK) BibTeX
- Marc Chiaverini, Vincent Danos:
A Core Modeling Language for the Working Molecular Biologist (Abstract).
166
Electronic Edition (Springer LINK) BibTeX
- Manuel Corpas:
Integrating Simulation Packages via Systems Biology Mark-Up Language.
167
Electronic Edition (Springer LINK) BibTeX
- Masao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano:
Recreating Biopathway Databases towards Simulation.
168-169
Electronic Edition (Springer LINK) BibTeX
- Kwang-Hyun Cho, Jong-Ho Cha, Olaf Wolkenhauer:
How to Synthesize an Optimized Genetic-Switching System? A System-Theoretic Approach Based on SQP.
170
Electronic Edition (Springer LINK) BibTeX
- Kwang-Hyun Cho, Sung-Young Shin, Hyeon-Woo Lee, Olaf Wolkenhauer:
Simulation Study of the TNF alpha Mediated NF-kappa B Signaling Pathway.
171
Electronic Edition (Springer LINK) BibTeX
- Anastasia Pagnoni, Andrea Visconti:
Detection and Analysis of Unexpected State Components in Biological Systems.
172
Electronic Edition (Springer LINK) BibTeX
- Monika Heiner, Ina Koch, Jürgen Will:
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis.
173
Electronic Edition (Springer LINK) BibTeX
- Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak:
An Overview of Data Models for the Analysis of Biochemical Pathways.
174
Electronic Edition (Springer LINK) BibTeX
- Gabriel Ciobanu, Dorin Huzum:
Discrete Event Systems and Client-Server Model for Signaling Mechanisms.
175-177
Electronic Edition (Springer LINK) BibTeX
Position Papers
Copyright © Sat May 16 23:02:39 2009
by Michael Ley (ley@uni-trier.de)
