|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 52 occurrences of 47 keywords
|
|
|
|
|
Results
Found 456 publication records. Showing 456 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hugues Mandon, Cui Su, Stefan Haar, Jun Pang 0001, Loïc Paulevé |
Sequential Reprogramming of Boolean Networks Made Practical.  |
CMSB  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Bokes, Abhyudai Singh |
Cell Volume Distributions in Exponentially Growing Populations. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu |
Effective Computational Methods for Hybrid Stochastic Gene Networks. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ines Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, Annick Valibouze |
Separators for Polynomial Dynamic Systems with Linear Complexity. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Safránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, Martin Demko, Samuel Pastva, Ales Pejznoch, Lubos Brim |
Barbaric Robustness Monitoring Revisited for STL* in Parasim. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Pardo, Sergiu Ivanov 0001, Franck Delaplace |
Sequential Reprogramming of Biological Network Fate. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Control Variates for Stochastic Simulation of Chemical Reaction Networks. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Boutillier |
The Kappa Simulator Made Interactive. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska 0002, Jan Kretínský |
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Judah Goldfeder, Hillel Kugler |
BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic. |
CMSB |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Bokes, Michal Hojcka, Abhyudai Singh |
Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov |
Experimental Biological Protocols with Formal Semantics. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Misbah Razzaq, Roland Kaminski, Javier Romero 0003, Torsten Schaub, Jérémie Bourdon, Carito Guziolowski |
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Sylvain Soliman |
On Robustness Computation and Optimization in BIOCHAM-4. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Emine 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. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Luca Palmieri |
Deep Abstractions of Chemical Reaction Networks. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Laurent, Héctor F. Medina-Abarca, Pierre Boutillier, Jean Yang, Walter Fontana |
A Trace Query Language for Rule-Based Models. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Golestan Sally Radwan, Hugh P. Shanahan |
Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel 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. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Mizera, Jun Pang 0001, Hongyang Qu 0001, Qixia Yuan |
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Akos 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. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Self, David R. Gilbert, Monika Heiner |
Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Ceska 0002, David Safránek (eds.) |
Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Revell, Paolo Zuliani |
Stochastic Rate Parameter Inference Using the Cross-Entropy Method. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Soumya Paul, Jun Pang 0001, Cui Su |
On the Full Control of Boolean Networks. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Modrák |
Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Somya Mani, Ankit Shukla |
Synthesis for Vesicle Traffic Systems. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik |
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Keenan Breik, Cameron T. Chalk, David Doty, David Haley, David Soloveichik |
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan 0001 |
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Feigelman, Daniel Weindl, Fabian J. Theis, Carsten Marr, Jan Hasenauer |
LNA++: Linear Noise Approximation with First and Second Order Sensitivities. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov |
Formal Analysis of Network Motifs. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Boutillier, Ferdinanda Camporesi, Jean Coquet, Jérôme Feret, Kim Quyên Lý, Nathalie Théret, Pierre Vignet |
KaSa: A Static Analyzer for Kappa. |
CMSB |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý |
KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia Biane, Franck Delaplace |
Abduction Based Drug Target Discovery Using Boolean Control Network. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugues Mandon, Stefan Haar, Loïc Paulevé |
Temporal Reprogramming of Boolean Networks. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Coquet, Nathalie Théret, Vincent Legagneux, Olivier Dameron |
Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF-β Signaling. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Guillaume Le Guludec, Olivier Bournez, Amaury Pouly |
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin 0001 |
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolyn L. Talcott, Merrill Knapp |
Explaining Response to Drugs Using Pathway Logic. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel Klinger, Jan Hasenauer |
A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Boba, Kay Hamacher |
TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu |
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney |
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Heinz Koeppl (eds.) |
Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Russ Harmer, Yves-Stan Le Cornec, Sébastien Légaré, Ievgeniia Oshurko |
Bio-Curation for Cellular Signalling: The KAMI Project. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Schwieger, Heike Siebert |
Graph Representations of Monotonic Boolean Model Pools. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Lück, Pascal Giehr, Jörn Walter, Verena Wolf |
A Stochastic Model for the Formation of Spatial Methylation Patterns. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Zhou 0014, R. Ramanathan 0002, Weng-Fai Wong, P. S. Thiagarajan |
Automated Property Synthesis of ODEs Based Bio-pathways Models. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bree Cummins, Tomás Gedeon, Shaun Harker, Konstantin Mischaikow |
Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN). |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai-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. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Carcano, François Fages, Sylvain Soliman |
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé |
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Nikola Benes, Lubos Brim, Martin Demko, Matej Hajnal, Samuel Pastva, David Safránek |
Detecting Attractors in Biological Models with Uncertain Parameters. |
CMSB |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolin Loos, Anna Fiedler, Jan Hasenauer |
Parameter Estimation for Reaction Rate Equation Constrained Mixture Models. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matej 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. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti |
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Fernández Villaverde, Kolja Becker, Julio R. Banga |
PREMER: Parallel Reverse Engineering of Biological Networks with Information Theory. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren |
Normalizing Chemical Reaction Networks by Confluent Structural Simplification. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Md. 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. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunyan Mu, Peter Dittrich, David Parker 0001, Jonathan E. Rowe |
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Paulevé |
Goal-Oriented Reduction of Automata Networks. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre |
Target Controllability of Linear Networks. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Kim Quyên Lý |
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti |
Matching Models Across Abstraction Levels with Gaussian Processes. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Demko, Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek |
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasha Sommer-Simpson, John Reinitz, Leonid Fridlyand, Louis Philipson, Ovidiu Radulescu |
Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinsi Wang, Natasa Miskov-Zivanov, Bing Liu 0013, James R. Faeder, Michael Lotze, Edmund M. Clarke |
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Emna Ben Abdallah 0001, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue |
Inference of Delayed Biological Regulatory Networks from Time Series Data. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman |
Influence Systems vs Reaction Systems. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chieh Lo, Radu Marculescu |
Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joëlle Despeyroux |
(Mathematical) Logic for Systems Biology (Invited Paper). |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ezio Bartocci, Pietro Liò, Nicola Paoletti (eds.) |
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
Fast Simulation of Probabilistic Boolean Networks. |
CMSB |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Z. Gnimpieba, Mathialakan Thavappiragasam, Abalo Chango, Bill Conn, Carol M. Lushbough |
SBMLDock: Docker Driven Systems Biology Tool Development and Usage. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko Budinich, Jérémie Bourdon, Abdelhalim Larhlimi, Damien Eveillard |
OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinsi Wang, Paolo Zuliani, Soonho Kong, Sicun Gao, Edmund M. Clarke |
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren |
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry |
Derivation of Qualitative Dynamical Models from Biochemical Networks. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Trejo-Baños, Andrew J. Millar, Guido Sanguinetti |
Experimental Design for Inference over the A. thaliana Circadian Clock Network. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Andreychenko, Morgan Magnin, Katsumi Inoue |
Modeling of Resilience Properties in Oscillatory Biological Systems Using Parametric Time Petri Nets. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pauline 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. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Streck, Kirsten Thobe, Heike Siebert |
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Madsen, Fedor Shmarov, Paolo Zuliani |
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Francy Camacho, Rodrigo Torres, Raúl Ramos-Pollán |
Feature Learning Using Stacked Autoencoders to Predict the Activity of Antimicrobial Peptides. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Niehren, Mathias John, Cristian Versari, François Coutte, Philippe Jacques |
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ovidiu Radulescu, Satya Swarup Samal, Aurélien Naldi, Dima Grigoriev, Andreas Weber 0004 |
Symbolic Dynamics of Biochemical Pathways as Finite States Machines. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti |
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott |
Inferring Executable Models from Formalized Experimental Evidence. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Ostrowski, Loïc Paulevé, Torsten Schaub, Anne Siegel, Carito Guziolowski |
Boolean Network Identification from Multiplex Time Series Data. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolin Loos, Carsten Marr, Fabian J. Theis, Jan Hasenauer |
Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling 0001 |
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti |
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier F. Roux, Jérémie Bourdon (eds.) |
Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Milan Ceska 0002, Martin Demko, Samuel Pastva, David Safránek |
Parameter Synthesis by Parallel Coloured CTL Model Checking. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris J. Banks, Daniel D. Seaton, Ian Stark |
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic. |
CMSB |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license