The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/cmsb

Publication years (Num. hits)
2003 (32) 2004 (24) 2005-2006 (24) 2007 (17) 2008 (27) 2009 (22) 2010-2011 (38) 2012 (29) 2013 (18) 2014 (23) 2015 (25) 2016 (22) 2017 (21) 2018 (23)
Publication types (Num. hits)
inproceedings(330) proceedings(15)
Venues (Conferences, Journals, ...)
CMSB(345)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 52 occurrences of 47 keywords

Results
Found 345 publication records. Showing 345 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pavol Bokes, Michal Hojcka, Abhyudai Singh Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov Experimental Biological Protocols with Formal Semantics. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Misbah Razzaq, Roland Kaminski, Javier Romero 0003, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1François Fages, Sylvain Soliman On Robustness Computation and Optimization in BIOCHAM-4. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emine Güven, Michael J. Wester, Bridget S. Wilson, Jeremy S. Edwards, Ádám M. Halász Characterization of the Experimentally Observed Clustering of VEGF Receptors. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Luca Palmieri Deep Abstractions of Chemical Reaction Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana A Trace Query Language for Rule-Based Models. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Golestan Sally Radwan, Hugh P. Shanahan Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samuel M. D. Oliveira, Mohamed N. M. Bahrudeen, Sofia Startceva, Vinodh Kandavalli, Andre S. Ribeiro Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001, Qixia Yuan ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Akos Vertes, Albert-Baskar Arul, Peter Avar, Andrew R. Korte, Hang Li, Peter Nemes, Lida Parvin, Sylwia Stopka, Sunil Hwang, Ziad J. Sahab, Linwen Zhang, Deborah I. Bunin, Merrill Knapp, Andrew Poggio, Mark-Oliver Stehr, Carolyn L. Talcott, Brian M. Davis, Sean R. Dinn, Christine A. Morton, Christopher J. Sevinsky, Maria I. Zavodszky Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timothy Self, David R. Gilbert, Monika Heiner Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0001, David Safránek (eds.) Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeremy Revell, Paolo Zuliani Stochastic Rate Parameter Inference Using the Cross-Entropy Method. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Soumya Paul, Jun Pang 0001, Cui Su On the Full Control of Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Modrák Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ashutosh Gupta, Somya Mani, Ankit Shukla Synthesis for Vesicle Traffic Systems. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan 0001 Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Justin Feigelman, Daniel Weindl, Fabian J. Theis, Carsten Marr, Jan Hasenauer LNA++: Linear Noise Approximation with First and Second Order Sensitivities. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov Formal Analysis of Network Motifs. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet KaSa: A Static Analyzer for Kappa. Search on Bibsonomy CMSB The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Célia Biane, Franck Delaplace Abduction Based Drug Target Discovery Using Boolean Control Network. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hugues Mandon, Stefan Haar, Loïc Paulevé Temporal Reprogramming of Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jean Coquet, Nathalie Théret, Vincent Legagneux, Olivier Dameron Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF-β Signaling. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carolyn L. Talcott, Merrill Knapp Explaining Response to Drugs Using Pathway Logic. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emmanuel Klinger, Jan Hasenauer A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Patrick Boba, Kay Hamacher TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu Quantitative Regular Expressions for Arrhythmia Detection Algorithms. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jérôme Feret, Heinz Koeppl (eds.) Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko Bio-Curation for Cellular Signalling: The KAMI Project. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Schwieger, Heike Siebert Graph Representations of Monotonic Boolean Model Pools. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf A Stochastic Model for the Formation of Spatial Methylation Patterns. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jun Zhou, R. Ramanathan 0002, Weng-Fai Wong, P. S. Thiagarajan Automated Property Synthesis of ODEs Based Bio-pathways Models. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bree Cummins, Tomás Gedeon, Shaun Harker, Konstantin Mischaikow Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN). Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Arthur Carcano, François Fages, Sylvain Soliman Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek Detecting Attractors in Biological Models with Uncertain Parameters. Search on Bibsonomy CMSB The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carolin Loos, Anna Fiedler, Jan Hasenauer Parameter Estimation for Reaction Rate Equation Constrained Mixture Models. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matej Troják, David Safránek, Jakub Hrabec, Jakub Salagovic, Frantiska Romanovská, Jan Cervený E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Kwiatkowska, Luca Laurenti A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alejandro Fernández Villaverde, Kolja Becker, Julio R. Banga PREMER: Parallel Reverse Engineering of Biological Networks with Information Theory. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren Normalizing Chemical Reaction Networks by Confluent Structural Simplification. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chunyan Mu, Peter Dittrich, David Parker 0001, Jonathan E. Rowe Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Loïc Paulevé Goal-Oriented Reduction of Automata Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre Target Controllability of Linear Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jérôme Feret, Kim Quyên Lý Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti Matching Models Across Abstraction Levels with Gaussian Processes. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jasha Sommer-Simpson, John Reinitz, Leonid Fridlyand, Louis Philipson, Ovidiu Radulescu Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Backenköhler, Luca Bortolussi, Verena Wolf Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu 0013, James R. Faeder, Michael Lotze, Edmund M. Clarke Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Emna Ben Abdallah 0001, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue Inference of Delayed Biological Regulatory Networks from Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman Influence Systems vs Reaction Systems. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chieh Lo, Radu Marculescu Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joëlle Despeyroux (Mathematical) Logic for Systems Biology (Invited Paper). Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Pietro Liò, Nicola Paoletti (eds.) Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrzej Mizera, Jun Pang 0001, Qixia Yuan Fast Simulation of Probabilistic Boolean Networks. Search on Bibsonomy CMSB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Etienne Z. Gnimpieba, Mathialakan Thavappiragasam, Abalo Chango, Bill Conn, Carol M. Lushbough SBMLDock: Docker Driven Systems Biology Tool Development and Usage. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marko Budinich, Jérémie Bourdon, Abdelhalim Larhlimi, Damien Eveillard OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry Derivation of Qualitative Dynamical Models from Biochemical Networks. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Trejo-Baños, Andrew J. Millar, Guido Sanguinetti Experimental Design for Inference over the A. thaliana Circadian Clock Network. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Andreychenko, Morgan Magnin, Katsumi Inoue Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pauline Traynard, François Fages, Sylvain Soliman Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adam Streck, Kirsten Thobe, Heike Siebert Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Curtis Madsen, Fedor Shmarov, Paolo Zuliani BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francy Camacho, Rodrigo Torres, Raúl Ramos-Pollán Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev, Andreas Weber 0004 Symbolic Dynamics of Biochemical Pathways as Finite States Machines. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott Inferring Executable Models from Formalized Experimental Evidence. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski Boolean Network Identification from Multiplex Time Series Data. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carolin Loos, Carsten Marr, Fabian J. Theis, Jan Hasenauer Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Jérémie Bourdon (eds.) Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Milan Ceska Jr., Martin Demko, Samuel Pastva, David Safránek Parameter Synthesis by Parallel Coloured CTL Model Checking. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris J. Banks, Daniel D. Seaton, Ian Stark Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Rozanski, Stefano Bragaglia, Oliver Ray, Ross D. King Automating the Development of Metabolic Network Models. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Bernot, Jean-Paul Comet, Olivier F. Roux A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. Search on Bibsonomy CMSB The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Donal Stewart, Stephen Gilmore, Michael A. Cousin FM-Sim: Protocol Definition, Simulation and Rate Inference for Neuroscience Assays. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lakshmeesh R. M. Maruthi, Ilya Tkachev, Alfonso Carta, Eugenio Cinquemani, Pascal Hersen, Grégory Batt, Alessandro Abate Towards Real-Time Control of Gene Expression at the Single Cell Level: A Stochastic Control Approach. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Baudoin Delépine, Pablo Carbonell, Jean-Loup Faulon XTMS in Action: Retrosynthetic Design in the Extended Metabolic Space of Heterologous Pathways for High-Value Compounds. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Lemaire, Alexandre Temperville On Defining and Computing "Good" Conservation Laws. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Attila Gábor, Julio R. Banga Improved Parameter Estimation in Kinetic Models: Selection and Tuning of Regularization Methods. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nicola Bombieri, Rosario Distefano, Giovanni Scardoni, Franco Fummi, Carlo Laudanna, Rosalba Giugno Dynamic Modeling and Simulation of Leukocyte Integrin Activation through an Electronic Design Automation Framework. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Abhishekh Gupta, Jason Lloyd-Price, Andre S. Ribeiro Modelling Polar Retention of Complexes in Escherichia coli. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rachel Lintott, Stephen McMahon, Kevin Prise, Celine Addie-Lagorio, Carron Shankland Using Process Algebra to Model Radiation Induced Bystander Effects. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sabine Peres, Martin Morterol, Laurent Simon SAT-Based Metabolics Pathways Analysis without Compilation. Search on Bibsonomy CMSB The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 345 (100 per page; Change: )
Pages: [1][2][3][4][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license