default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. CMSB 2003: Roverto, Italy
- Corrado Priami:
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
Invited Papers
- Amitai Regev, Ehud Shapiro:
Cells as Computation. 1-3 - Na'aman Kam, David Harel, Hillel Kugler
, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern:
Formal Modeling of C. elegans Development: A Scenario-Based Approach. 4-20
Regular Papers
- Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari:
Causal pi-Calculus for Biochemical Modelling. 21-33 - Vincent Danos, Cosimo Laneve:
Graphs for Core Molecular Biology. 34-46 - Sabine Pérès, Jean-Paul Comet:
Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. 47-56 - Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni:
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. 57-74 - Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr:
Multiscale Modeling of Alternative Splicing Regulation. 75-87 - 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 - 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 - Daniela Degenring, Mathias Röhl, Adelinde M. Uhrmacher:
Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach. 114-126 - 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 - 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 - Nathalie Chabrier, François Fages:
Symbolic Model Checking of Biochemical Networks. 149-162
Presentation Abstracts
- Will Casey:
Coupled Oscillator Models for a Set of Communicating Cells. 163 - 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 - Marc Chiaverini, Vincent Danos:
A Core Modeling Language for the Working Molecular Biologist (Abstract). 166 - Manuel Corpas:
Integrating Simulation Packages via Systems Biology Mark-Up Language. 167 - Masao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano:
Recreating Biopathway Databases towards Simulation. 168-169 - Kwang-Hyun Cho, Jong-Ho Cha, Olaf Wolkenhauer:
How to Synthesize an Optimized Genetic-Switching System? A System-Theoretic Approach Based on SQP. 170 - Kwang-Hyun Cho, Sung-Young Shin, Hyeon-Woo Lee, Olaf Wolkenhauer:
Simulation Study of the TNF alpha Mediated NF-kappa B Signaling Pathway. 171 - Anastasia Pagnoni, Andrea Visconti:
Detection and Analysis of Unexpected State Components in Biological Systems. 172 - Monika Heiner, Ina Koch, Jürgen Will:
Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. 173 - Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak:
An Overview of Data Models for the Analysis of Biochemical Pathways. 174 - Gabriel Ciobanu, Dorin Huzum:
Discrete Event Systems and Client-Server Model for Signaling Mechanisms. 175-177
Position Papers
- Pierpaolo Degano, Corrado Priami:
Enhanced Operational Semantics in Systems Biology. 178-181 - Magali Roux-Rouquié, Leroy E. Hood, Sandrine Imbeaud, Charles Auffray:
Issues in Computational Methods for Functional Genomics and Systems Biology. 182-186 - Liviu Badea, Doina Tilivea:
Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics. 187-193 - Doron Lancet:
Computer Simulation of Protocells. 194-197 - Olaf Langmack:
How to Solve Semantic Puzzles of Systems Biology. 198-201 - David L. Dill, Patrick Lincoln:
Evolution as Design Engineer. 202-206 - Satoru Miyano:
Inference, Modeling and Simulation of Gene Networks. 207-211
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
