Search results for "CMSB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Graciano Dieck Kattas, Peter Gennemark, Dag Wedelin	Structural identification of GMA models: algorithm and model comparison.	CMSB	2010	DBLP DOI BibTeX RDF
1	Zujian Wu, Qian Gao 0001, David R. Gilbert	Target driven biochemical network reconstruction based on petri nets and simulated annealing.	CMSB	2010	DBLP DOI BibTeX RDF
1	Loïc Paulevé, Simon Youssef, Matthew R. Lakin, Andrew Phillips	A generic abstract machine for stochastic process calculi.	CMSB	2010	DBLP DOI BibTeX RDF
1	Faten Nabli, Sylvain Soliman	Steady-state solution of biochemical systems, beyond S-systems via T-invariants.	CMSB	2010	DBLP DOI BibTeX RDF
1	Robin Donaldson, Carolyn L. Talcott, Merrill Knapp, Muffy Calder	Understanding signalling networks as collections of signal transduction pathways.	CMSB	2010	DBLP DOI BibTeX RDF
1	Muffy Calder, Oana Andrei, Andrea Degasperi, Robin Donaldson	From species to pathway and tissue as process.	CMSB	2010	DBLP DOI BibTeX RDF
1	Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper	On verifying Bio-PEPA models.	CMSB	2010	DBLP DOI BibTeX RDF
1	Sven Twardziok, Heike Siebert, Alexander Heyl	Stochasticity in reactions: a probabilistic Boolean modeling approach.	CMSB	2010	DBLP DOI BibTeX RDF
1	Paola Quaglia (eds.)	Computational Methods in Systems Biology, 8th International Conference, CMSB 2010, Trento, Italy, September 29 - October 1, 2010. Proceedings	CMSB	2010	DBLP BibTeX RDF
1	Monika Heiner, Christian Rohr, Martin Schwarick, Stefan Streif	A comparative study of stochastic analysis techniques.	CMSB	2010	DBLP DOI BibTeX RDF
1	Michele Baggi, Demis Ballis, Moreno Falaschi	Quantitative Pathway Logic for Computational Biology.	CMSB	2009	DBLP DOI BibTeX RDF
1	Mathias John, Cédric Lhoussaine, Joachim Niehren	Dynamic Compartments in the Imperative pi-Calculus.	CMSB	2009	DBLP DOI BibTeX RDF
1	Thao Dang 0001, Colas Le Guernic, Oded Maler	Computing Reachable States for Nonlinear Biological Models.	CMSB	2009	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha 0001, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani	A Bayesian Approach to Model Checking Biological Systems.	CMSB	2009	DBLP DOI BibTeX RDF
1	Aurélien Naldi, Elisabeth Remy, Denis Thieffry, Claudine Chaouiya	A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties.	CMSB	2009	DBLP DOI BibTeX RDF	regulatory circuits, stable states, complex attractors, Drosophila development, segmentation, decision diagrams, model reduction, logical modelling, Regulatory networks
1	Lisa Bartoli, Pier Luigi Martelli, Ivan Rossi, Piero Fariselli, Rita Casadio	Prediction of Protein-Protein Interacting Sites: How to Bridge Molecular Events to Large Scale Protein Interaction Networks.	CMSB	2009	DBLP DOI BibTeX RDF	protein-protein interaction site, patch smoothing, neural network, interacting surfaces
1	Bing Liu 0013, P. S. Thiagarajan, David Hsu	Probabilistic Approximations of Signaling Pathway Dynamics.	CMSB	2009	DBLP DOI BibTeX RDF
1	Elisabetta De Maria, François Fages, Sylvain Soliman	On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.	CMSB	2009	DBLP DOI BibTeX RDF
1	Hayssam Soueidan, Grégoire Sutre, Macha Nikolski	Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models.	CMSB	2009	DBLP DOI BibTeX RDF
1	Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf	Approximation of Event Probabilities in Noisy Cellular Processes.	CMSB	2009	DBLP DOI BibTeX RDF
1	Martin Schwarick, Monika Heiner	CSL Model Checking of Biochemical Networks with Interval Decision Diagrams.	CMSB	2009	DBLP DOI BibTeX RDF
1	Peter Gennemark, Dag Wedelin	Improved Parameter Estimation for Completely Observed Ordinary Differential Equations with Application to Biological Systems.	CMSB	2009	DBLP DOI BibTeX RDF	Supplementary material All problems, on-line software and supplementary information are available at www.odeidentification.org, solutions
1	Vashti Galpin, Jane Hillston	Equivalence and Discretisation in Bio-PEPA.	CMSB	2009	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Roberto Gorrieri (eds.)	Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings	CMSB	2009	DBLP DOI BibTeX RDF
1	Elena Czeizler, Eugen Czeizler, Ralph-Johan Back, Ion Petre	Control Strategies for the Regulation of the Eukaryotic Heat Shock Response.	CMSB	2009	DBLP DOI BibTeX RDF
1	Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo	On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.	CMSB	2009	DBLP DOI BibTeX RDF
1	John K. Heath	The Equivalence between Biology and Computation.	CMSB	2009	DBLP DOI BibTeX RDF
1	Giampaolo Bella, Pietro Liò	Formal Analysis of the Genetic Toggle.	CMSB	2009	DBLP DOI BibTeX RDF
1	Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero	Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network.	CMSB	2009	DBLP DOI BibTeX RDF
1	Marc Bailly-Bechet, Alfredo Braunstein, Riccardo Zecchina	A Prize-Collecting Steiner Tree Approach for Transduction Network Inference.	CMSB	2009	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro	The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.	CMSB	2009	DBLP DOI BibTeX RDF
1	Corrado Priami, Paolo Ballarini, Paola Quaglia	BlenX4Bio - BlenX for Biologists.	CMSB	2009	DBLP DOI BibTeX RDF
1	Marek Kwiatkowski, Ian Stark	The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.	CMSB	2008	DBLP DOI BibTeX RDF
1	Laurence Loewe, Jane Hillston	The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock.	CMSB	2008	DBLP DOI BibTeX RDF
1	Abdelhalim Larhlimi, Alexander Bockmayr	On Inner and Outer Descriptions of the Steady-State Flux Cone of a Metabolic Network.	CMSB	2008	DBLP DOI BibTeX RDF
1	Dragan Bosnacki, Huub M. M. ten Eikelder, Marvin N. Steijaert, Erik P. de Vink	Stochastic Analysis of Amino Acid Substitution in Protein Synthesis.	CMSB	2008	DBLP DOI BibTeX RDF
1	Ashish Tiwari 0001, Carolyn L. Talcott	Analyzing a Discrete Model of Aplysia Central Pattern Generator	CMSB	2008	DBLP DOI BibTeX RDF
1	Mathias John, Cédric Lhoussaine, Joachim Niehren, Adelinde M. Uhrmacher	The Attributed Pi Calculus.	CMSB	2008	DBLP DOI BibTeX RDF
1	Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore	Integrated Analysis from Abstract Stochastic Process Algebra Models.	CMSB	2008	DBLP DOI BibTeX RDF
1	Matthias Jeschke, Roland Ewald	Large-Scale Design Space Exploration of SSA.	CMSB	2008	DBLP DOI BibTeX RDF	Stochastic Simulation Algorithms, Performance Evaluation
1	Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva	Formal Analysis of Abnormal Excitation in Cardiac Tissue.	CMSB	2008	DBLP DOI BibTeX RDF
1	Richard Carl Van der Wath, Pietro Liò	A Stochastic Single Cell Based Model of BrdU Measured Hematopoietic Stem Cell Kinetics.	CMSB	2008	DBLP DOI BibTeX RDF
1	Robin Donaldson, David R. Gilbert	A Model Checking Approach to the Parameter Estimation of Biochemical Pathways.	CMSB	2008	DBLP DOI BibTeX RDF
1	Lorenzo Dematté, Tommaso Mazza	On Parallel Stochastic Simulation of Diffusive Systems.	CMSB	2008	DBLP DOI BibTeX RDF	Gillespie SSA, Parallel and distributed simulation, reaction-diffusion systems
1	Monika Heiner, Adelinde M. Uhrmacher (eds.)	Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings	CMSB	2008	DBLP DOI BibTeX RDF
1	Alexander Ullrich, Christoph Flamm	Functional Evolution of Ribozyme-Catalyzed Metabolisms in a Graph-Based Toy-Universe.	CMSB	2008	DBLP DOI BibTeX RDF	metabolism, enzymes, simulation, robustness, evolution
1	Dirk Lebiedz, Dominik Skanda, Marc Fein	Automatic Complexity Analysis and Model Reduction of Nonlinear Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF
1	Ritesh Krishna, Shuixia Guo	A Partial Granger Causality Approach to Explore Causal Networks Derived From Multi-parameter Data.	CMSB	2008	DBLP DOI BibTeX RDF
1	Hidde de Jong	Qualitative Modeling and Simulation of Bacterial Regulatory Networks.	CMSB	2008	DBLP DOI BibTeX RDF
1	Michael Pedersen, Gordon D. Plotkin	A Language for Biochemical Systems.	CMSB	2008	DBLP DOI BibTeX RDF	parametrised modules, subtyping, coloured Petri nets, Large-scale
1	Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman	On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology.	CMSB	2008	DBLP DOI BibTeX RDF
1	Carsten Maus	Component-Based Modelling of RNA Structure Folding.	CMSB	2008	DBLP DOI BibTeX RDF	RNA folding, model components, DEVS, secondary structure, multi-level
1	Dieter Oesterhelt	Systems Biology of Halophilic Archaea.	CMSB	2008	DBLP DOI BibTeX RDF
1	Nicolas Le Novère	Multiscale Modelling of Neuronal Signalling.	CMSB	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha 0001, Axel Legay	Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.	CMSB	2008	DBLP DOI BibTeX RDF
1	Koichi Takahashi	An Exact Brownian Dynamics Method for Cell Simulation.	CMSB	2008	DBLP DOI BibTeX RDF
1	Michael Pedersen	Compositional Definitions of Minimal Flows in Petri Nets.	CMSB	2008	DBLP DOI BibTeX RDF	minimal flows, minimal invariants, the Calculus of Biochemical Systems, Petri nets, modularity
1	Markus Durzinsky, Annegret Wagler, Robert Weismantel	A Combinatorial Approach to Reconstruct Petri Nets from Experimental Data.	CMSB	2008	DBLP DOI BibTeX RDF
1	Dagmar Köhn, Nicolas Le Novère	SED-ML - An XML Format for the Implementation of the MIASE Guidelines.	CMSB	2008	DBLP DOI BibTeX RDF
1	Andrew Phillips, Luca Cardelli	Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus.	CMSB	2007	DBLP DOI BibTeX RDF
1	François Fages, Aurélien Rizk	On the Analysis of Numerical Data Time Series in Temporal Logic.	CMSB	2007	DBLP DOI BibTeX RDF
1	Maria Luisa Guerriero, John K. Heath, Corrado Priami	An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.	CMSB	2007	DBLP DOI BibTeX RDF
1	Heike Siebert, Alexander Bockmayr	Context Sensitivity in Logical Modeling with Time Delays.	CMSB	2007	DBLP DOI BibTeX RDF
1	Martyn R. Brown, Paul Rees, Steve Wilks, Huw D. Summers, Rachel J. Errington, Kerenza L. Njoh, Sally C. Chappell, Paul J. Smith, James F. Leary	Computational Simulation of Optical Tracking of Cell Populations Using Quantum Dot Fluorophores.	CMSB	2007	DBLP DOI BibTeX RDF	Cell division, Quantum dot fluorophores, Genetic algorithm, Monte-Carlo simulation
1	David R. Gilbert, Monika Heiner, Sebastian Lehrack	A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets.	CMSB	2007	DBLP DOI BibTeX RDF
1	Andrea Bracciali, Marcello Brunelli, Enrico Cataldo, Pierpaolo Degano	Expressive Models for Synaptic Plasticity.	CMSB	2007	DBLP DOI BibTeX RDF
1	Muffy Calder, Stephen Gilmore (eds.)	Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings	CMSB	2007	DBLP DOI BibTeX RDF
1	Werner Sandmann	Simultaneous Stochastic Simulation of Multiple Perturbations in Biological Network Models.	CMSB	2007	DBLP DOI BibTeX RDF	Parameter Perturbations, Importance Sampling, Stochastic Simulation, Biological Networks, Likelihood Ratios
1	Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro	Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.	CMSB	2007	DBLP DOI BibTeX RDF
1	Lorenzo Dematté, Corrado Priami, Alessandro Romanel, Orkun S. Soyer	A Formal and Integrated Framework to Simulate Evolution of Biological Pathways.	CMSB	2007	DBLP DOI BibTeX RDF
1	Cristian Versari, Nadia Busi	Stochastic Simulation of Biological Systems with Dynamical Compartment Structure.	CMSB	2007	DBLP DOI BibTeX RDF
1	Bartek Wilczynski, Jerzy Tiuryn	Reconstruction of Mammalian Cell Cycle Regulatory Network from Microarray Data Using Stochastic Logical Networks.	CMSB	2007	DBLP DOI BibTeX RDF
1	Liliana Félix, Francesc Rosselló, Gabriel Valiente	Reconstructing Metabolic Pathways by Bidirectional Chemical Search.	CMSB	2007	DBLP DOI BibTeX RDF	biochemical reaction, metabolic pathway, Artificial chemistry
1	Aurélien Naldi, Denis Thieffry, Claudine Chaouiya	Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks.	CMSB	2007	DBLP DOI BibTeX RDF	regulatory circuits, stable states, decision diagrams, logical modelling, Regulatory networks
1	Raya Khanin, Desmond J. Higham	Chemical Master Equation and Langevin Regimes for a Gene Transcription Model.	CMSB	2007	DBLP DOI BibTeX RDF
1	Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey	Modelling Yeast Pre-rRNA Processing.	CMSB	2007	DBLP DOI BibTeX RDF
1	Andrea Gamba, Antonio de Candia, Fausto Cavalli, Stefano Di Talia, Antonio Coniglio, Federico Bussolino, Guido Serini	A Computational Model for Eukaryotic Directional Sensing.	CMSB	2006	DBLP DOI BibTeX RDF
1	Matteo Cavaliere, Sean Sedwards	Modelling Cellular Processes Using Membrane Systems with Peripheral and Integral Proteins.	CMSB	2006	DBLP DOI BibTeX RDF
1	John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Oksana Tymchyshyn	Probabilistic Model Checking of Complex Biological Pathways.	CMSB	2006	DBLP DOI BibTeX RDF
1	Chafika Chettaoui, Franck Delaplace, Pierre Lescanne, Mun'delanji Vestergaard, René Vestergaard	Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation.	CMSB	2006	DBLP DOI BibTeX RDF
1	L. Jason Steggles, Richard Banks, Anil Wipat	Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets.	CMSB	2006	DBLP DOI BibTeX RDF
1	Enrico Cataldo, John H. Byrne, Douglas A. Baxter	Computational Model of a Central Pattern Generator.	CMSB	2006	DBLP DOI BibTeX RDF
1	Gregor Gößler	Compositional Reachability Analysis of Genetic Networks.	CMSB	2006	DBLP DOI BibTeX RDF
1	Muffy Calder, Adam Duguid, Stephen Gilmore, Jane Hillston	Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.	CMSB	2006	DBLP DOI BibTeX RDF
1	Heike Siebert, Alexander Bockmayr	Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks.	CMSB	2006	DBLP DOI BibTeX RDF
1	François Fages, Sylvain Soliman	Type Inference in Systems Biology.	CMSB	2006	DBLP DOI BibTeX RDF
1	Davide Prandi	A Formal Approach to Molecular Docking.	CMSB	2006	DBLP DOI BibTeX RDF	Formal Methods, Systems Biology, Process Calculi, Molecular Docking, Drug Discovery
1	Bartek Wilczynski, Jerzy Tiuryn	Regulatory Network Reconstruction Using Stochastic Logical Networks.	CMSB	2006	DBLP DOI BibTeX RDF
1	Theo A. Knijnenburg, Lodewyk F. A. Wessels, Marcel J. T. Reinders	Condition Transition Analysis Reveals TF Activity Related to Nutrient-Limitation-Specific Effects of Oxygen Presence in Yeast.	CMSB	2006	DBLP DOI BibTeX RDF
1	Maurizio Filippone, Francesco Masulli, Stefano Rovetta, Sushmita Mitra, Haider Banka	Possibilistic Approach to Biclustering: An Application to Oligonucleotide Microarray Data Analysis.	CMSB	2006	DBLP DOI BibTeX RDF
1	Hauke Busch, Werner Sandmann, Verena Wolf	A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion.	CMSB	2006	DBLP DOI BibTeX RDF	Biochemical Reactions, Markov Chain, Aggregation, Stochastic Model
1	Luca Sguanci, Pietro Liò, Franco Bagnoli	Modeling Evolutionary Dynamics of HIV Infection.	CMSB	2006	DBLP DOI BibTeX RDF
1	Davide Chiarugi, M. Chinellato, Pierpaolo Degano, G. Lo Brutto, Roberto Marangoni	Feedbacks and Oscillations in the Virtual Cell VICE.	CMSB	2006	DBLP DOI BibTeX RDF
1	Nadia Busi	Deciding Behavioural Properties in Brane Calculi.	CMSB	2006	DBLP DOI BibTeX RDF
1	Mark R. Grant, C. Anthony Hunt	An In Silico Analogue of In Vitro Systems Used to Study Epithelial Cell Morphogenesis.	CMSB	2006	DBLP DOI BibTeX RDF	cystogenesis, epithelial, simulation, model, complex systems, systems biology, morphogenesis, Agent-based, synthetic
1	Marco Cosentino Lagomarsino, P. Jona, Bruno Bassetti	Randomization and Feedback Properties of Directed Graphs Inspired by Gene Networks.	CMSB	2006	DBLP DOI BibTeX RDF
1	Corrado Priami (eds.)	Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings	CMSB	2006	DBLP DOI BibTeX RDF
1	Guido Sanguinetti, Magnus Rattray, Neil D. Lawrence	Identifying Submodules of Cellular Regulatory Networks.	CMSB	2006	DBLP DOI BibTeX RDF
1	Marino Miculan, Giorgio Bacci	Modal Logics for Brane Calculus.	CMSB	2006	DBLP DOI BibTeX RDF
1	Vincent Danos, Vincent Schächter (eds.)	Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers	CMSB	2005	DBLP DOI BibTeX RDF

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