Search results for "CMSB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Matthew D. Onsum, Adam P. Arkin	Autonomous Mobile Robot Control Based on White Blood Cell Chemotaxis.	CMSB	2004	DBLP DOI BibTeX RDF
1	Corrado Priami, Paola Quaglia	Beta Binders for Biological Interactions.	CMSB	2004	DBLP DOI BibTeX RDF
1	Sergio Pozzi, Gianluca Della Vedova, Giancarlo Mauri	An Explicit Upper Bound for the Approximation Ratio of the Maximum Gene Regulatory Network Problem.	CMSB	2004	DBLP DOI BibTeX RDF
1	Alexander Bockmayr, Arnaud Courtois, Damien Eveillard, M. Vezain	Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing.	CMSB	2004	DBLP DOI BibTeX RDF
1	Luca Cardelli	Brane Calculi.	CMSB	2004	DBLP DOI BibTeX RDF
1	Seiya Imoto, Tomoyuki Higuchi, SunYong Kim, Euna Jeong, Satoru Miyano	Residual Bootstrapping and Median Filtering for Robust Estimation of Gene Networks from Microarray Data.	CMSB	2004	DBLP DOI BibTeX RDF
1	Adelinde M. Uhrmacher, Daniela Degenring, Jens Lemcke, Mario Krahmer	Towards Reusing Model Components in Systems Biology.	CMSB	2004	DBLP DOI BibTeX RDF
1	Dietmar Volz, Martin Eigel, Chaitanya A. Athale, Peter Bastian, Harald Hermann, Constantin Kappel, Roland Eils	Spatial Modeling and Simulation of Diffusion in Nuclei of Living Cells.	CMSB	2004	DBLP DOI BibTeX RDF
1	Sylvain Soliman, François Fages	CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
1	Andrew Finney	Developing SBML Beyond Level 2: Proposals for Development.	CMSB	2004	DBLP DOI BibTeX RDF
1	Adrien Richard, Jean-Paul Comet, Gilles Bernot	Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States.	CMSB	2004	DBLP DOI BibTeX RDF
1	Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin	Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
1	Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman	The Biochemical Abstract Machine BIOCHAM.	CMSB	2004	DBLP DOI BibTeX RDF
1	Vincent Danos, Sylvain Pradalier	Projective Brane Calculus.	CMSB	2004	DBLP DOI BibTeX RDF
1	Denys Chaume, Véronique Giudicelli, Kora Combres, Chantal Ginestoux, Marie-Paule Lefranc	IMGT-Choreography: Processing of Complex Immunogenetics Knowledge.	CMSB	2004	DBLP DOI BibTeX RDF
1	Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin	Model Checking Biological Systems Described Using Ambient Calculus.	CMSB	2004	DBLP DOI BibTeX RDF
1	Dragan Bosnacki	Black Box Checking for Biochemical Networks.	CMSB	2004	DBLP DOI BibTeX RDF
1	Eric Fanchon, Fabien Corblin, Laurent Trilling, Bastien Hermant, Danielle Gulino	Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming.	CMSB	2004	DBLP DOI BibTeX RDF
1	Huma Lodhi, Stephen H. Muggleton	Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods.	CMSB	2004	DBLP DOI BibTeX RDF
1	Florencio Pazos, David Guijas, Manuel J. Gómez, Almudena Trigo, Victor de Lorenzo, Alfonso Valencia	The Biodegradation Network, a New Scenario for Computational Systems Biology Research.	CMSB	2004	DBLP DOI BibTeX RDF
1	C. Anthony Hunt, Glen E. P. Ropella, Michael S. Roberts, Li Yan	Biomimetic in Silico Devices.	CMSB	2004	DBLP DOI BibTeX RDF
1	Martin Bentele, Roland Eils	General Stochastic Hybrid Method for the Simulation of Chemical Reaction Processes in Cells.	CMSB	2004	DBLP DOI BibTeX RDF
1	Antonio Neme, Pedro Miramontes	Biological Domain Identification Based in Codon Usage by Means of Rule and Tree Induction.	CMSB	2004	DBLP DOI BibTeX RDF
1	Davide Chiarugi, Michele Curti, Pierpaolo Degano, Roberto Marangoni	VICE: A VIrtual CEll.	CMSB	2004	DBLP DOI BibTeX RDF
1	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.	CMSB	2003	DBLP DOI BibTeX RDF
1	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.	CMSB	2003	DBLP DOI BibTeX RDF
1	Kwang-Hyun Cho, Sung-Young Shin, Hyeon-Woo Lee, Olaf Wolkenhauer	Simulation Study of the TNF alpha Mediated NF-kappa B Signaling Pathway.	CMSB	2003	DBLP DOI BibTeX RDF
1	Marc Chiaverini, Vincent Danos	A Core Modeling Language for the Working Molecular Biologist (Abstract).	CMSB	2003	DBLP DOI BibTeX RDF
1	Daniela Degenring, Mathias Röhl, Adelinde M. Uhrmacher	Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach.	CMSB	2003	DBLP DOI BibTeX RDF
1	Sabine Pérès, Jean-Paul Comet	Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa.	CMSB	2003	DBLP DOI BibTeX RDF
1	Doron Lancet	Computer Simulation of Protocells.	CMSB	2003	DBLP DOI BibTeX RDF
1	Juho Rousu, Ari Rantanen, Hannu Maaheimo, Esa Pitkänen, Katja Saarela, Esko Ukkonen	A Method for Estimating Metabolic Fluxes from Incomplete Isotopomer Information.	CMSB	2003	DBLP DOI BibTeX RDF
1	Masao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Satoru Miyano	Recreating Biopathway Databases towards Simulation.	CMSB	2003	DBLP DOI BibTeX RDF
1	Anastasia Pagnoni, Andrea Visconti	Detection and Analysis of Unexpected State Components in Biological Systems.	CMSB	2003	DBLP DOI BibTeX RDF
1	Gabriel Ciobanu, Dorin Huzum	Discrete Event Systems and Client-Server Model for Signaling Mechanisms.	CMSB	2003	DBLP DOI BibTeX RDF
1	Michele Curti, Pierpaolo Degano, Cosima Tatiana Baldari	Causal pi-Calculus for Biochemical Modelling.	CMSB	2003	DBLP DOI BibTeX RDF	Formal Description of Biochemical Processes, Concurrency, Causality, Bio-informatics, Reduction Semantics
1	Pierpaolo Degano, Corrado Priami	Enhanced Operational Semantics in Systems Biology.	CMSB	2003	DBLP DOI BibTeX RDF
1	Monika Heiner, Ina Koch, Jürgen Will	Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis.	CMSB	2003	DBLP DOI BibTeX RDF
1	Damien Eveillard, Delphine Ropers, Hidde de Jong, Christiane Branlant, Alexander Bockmayr	Multiscale Modeling of Alternative Splicing Regulation.	CMSB	2003	DBLP DOI BibTeX RDF
1	Manuel Corpas	Integrating Simulation Packages via Systems Biology Mark-Up Language.	CMSB	2003	DBLP DOI BibTeX RDF
1	Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni	Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.	CMSB	2003	DBLP DOI BibTeX RDF
1	Olaf Langmack	How to Solve Semantic Puzzles of Systems Biology.	CMSB	2003	DBLP DOI BibTeX RDF
1	Satoru Miyano	Inference, Modeling and Simulation of Gene Networks.	CMSB	2003	DBLP DOI BibTeX RDF
1	Vincent Danos, Cosimo Laneve	Graphs for Core Molecular Biology.	CMSB	2003	DBLP DOI BibTeX RDF
1	Corrado Priami (eds.)	Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings	CMSB	2003	DBLP DOI BibTeX RDF
1	David L. Dill, Patrick Lincoln	Evolution as Design Engineer.	CMSB	2003	DBLP DOI BibTeX RDF
1	SunYong Kim, Seiya Imoto, Satoru Miyano	Dynamic Bayesian Network and Nonparametric Regression for Nonlinear Modeling of Gene Networks from Time Series Gene Expression Data.	CMSB	2003	DBLP DOI BibTeX RDF
1	Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott	Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.	CMSB	2003	DBLP DOI BibTeX RDF
1	Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak	An Overview of Data Models for the Analysis of Biochemical Pathways.	CMSB	2003	DBLP DOI BibTeX RDF
1	Magali Roux-Rouquié, Leroy E. Hood, Sandrine Imbeaud, Charles Auffray	Issues in Computational Methods for Functional Genomics and Systems Biology.	CMSB	2003	DBLP DOI BibTeX RDF
1	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.	CMSB	2003	DBLP DOI BibTeX RDF
1	Nathalie Chabrier, François Fages	Symbolic Model Checking of Biochemical Networks.	CMSB	2003	DBLP DOI BibTeX RDF
1	Liviu Badea, Doina Tilivea	Integrating Biological Process Modelling with Gene Expression Data and Ontologies for Functional Genomics.	CMSB	2003	DBLP DOI BibTeX RDF
1	Will Casey	Coupled Oscillator Models for a Set of Communicating Cells.	CMSB	2003	DBLP DOI BibTeX RDF
1	Kwang-Hyun Cho, Jong-Ho Cha, Olaf Wolkenhauer	How to Synthesize an Optimized Genetic-Switching System? A System-Theoretic Approach Based on SQP.	CMSB	2003	DBLP DOI BibTeX RDF
1	Amitai Regev, Ehud Shapiro	Cells as Computation.	CMSB	2003	DBLP DOI BibTeX RDF

Publications at "CMSB"( http://dblp.L3S.de/Venues/CMSB )