|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 3-19, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Bokes, Abhyudai Singh |
Cell Volume Distributions in Exponentially Growing Populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 140-154, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme C. P. Innocentini, Fernando Antoneli, Arran Hodgkinson, Ovidiu Radulescu |
Effective Computational Methods for Hybrid Stochastic Gene Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 60-77, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ines Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, Annick Valibouze |
Separators for Polynomial Dynamic Systems with Linear Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 373-378, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 379-382, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 356-359, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Pardo, Sergiu Ivanov 0001, Franck Delaplace |
Sequential Reprogramming of Biological Network Fate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 20-41, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Control Variates for Stochastic Simulation of Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 42-59, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Boutillier |
The Kappa Simulator Made Interactive. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 296-301, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milan Ceska 0002, Jan Kretínský |
Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 337-341, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Judah Goldfeder, Hillel Kugler |
BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings, pp. 289-295, 2019, Springer, 978-3-030-31303-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Bokes, Michal Hojcka, Abhyudai Singh |
Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 129-145, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov |
Experimental Biological Protocols with Formal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 165-182, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 59-74, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Sylvain Soliman |
On Robustness Computation and Optimization in BIOCHAM-4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 292-299, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 75-92, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Luca Palmieri |
Deep Abstractions of Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 21-38, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 220-237, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Golestan Sally Radwan, Hugh P. Shanahan |
Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 318-321, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 3-20, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 277-284, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 238-255, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 39-58, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![Springer, 978-3-319-99428-4 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Revell, Paolo Zuliani |
Stochastic Rate Parameter Inference Using the Cross-Entropy Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 146-164, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Soumya Paul, Jun Pang 0001, Cui Su |
On the Full Control of Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 313-317, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Modrák |
Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 309-312, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Gupta, Somya Mani, Ankit Shukla |
Synthesis for Vesicle Traffic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 93-110, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cameron T. Chalk, Niels Kornerup, Wyatt Reeves, David Soloveichik |
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 256-273, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 203-219, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan 0001 |
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 183-202, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 300-306, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov |
Formal Analysis of Network Motifs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 111-128, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings, pp. 285-291, 2018, Springer, 978-3-319-99428-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 291-299, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Célia Biane, Franck Delaplace |
Abduction Based Drug Target Discovery Using Boolean Control Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 57-73, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hugues Mandon, Stefan Haar, Loïc Paulevé |
Temporal Reprogramming of Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 179-195, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 91-107, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 108-127, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 214-232, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carolyn L. Talcott, Merrill Knapp |
Explaining Response to Drugs Using Pathway Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 249-264, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 128-144, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Boba, Kay Hamacher |
TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 285-290, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 23-39, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 196-213, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![Springer, 978-3-319-67470-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 3-19, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Robert Schwieger, Heike Siebert |
Graph Representations of Monotonic Boolean Model Pools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 233-248, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 160-178, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 265-282, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bree Cummins, Tomás Gedeon, Shaun Harker, Konstantin Mischaikow |
Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 300-308, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 145-159, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Carcano, François Fages, Sylvain Soliman |
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 74-90, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé |
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 309-316, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 40-56, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Carolin Loos, Anna Fiedler, Jan Hasenauer |
Parameter Estimation for Reaction Rate Equation Constrained Mixture Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 186-200, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 316-322, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 147-167, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 309-315, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 323-329, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Madelaine, Elisa Tonello, Cédric Lhoussaine, Joachim Niehren |
Normalizing Chemical Reaction Networks by Confluent Structural Simplification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 201-215, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 132-146, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 232-251, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Paulevé |
Goal-Oriented Reduction of Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 252-272, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eugen Czeizler, Cristian Gratie, Wu Kai Chiu, Krishna Kanhaiya, Ion Petre |
Target Controllability of Linear Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 67-81, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 116-131, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Caravagna, Luca Bortolussi, Guido Sanguinetti |
Matching Models Across Abstraction Levels with Gaussian Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 49-66, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 82-97, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 273-288, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backenköhler, Luca Bortolussi, Verena Wolf |
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 15-29, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 289-305, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 30-48, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Thierry Martinez, David A. Rosenblueth, Sylvain Soliman |
Influence Systems vs Reaction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 98-115, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chieh Lo, Radu Marculescu |
Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 168-185, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Joëlle Despeyroux |
(Mathematical) Logic for Systems Biology (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 3-12, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![Springer, 978-3-319-45176-3 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Mizera, Jun Pang 0001, Qixia Yuan |
Fast Simulation of Probabilistic Boolean Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings, pp. 216-231, 2016, Springer, 978-3-319-45176-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti |
Efficient Stochastic Simulation of Systems with Multiple Time Scales via Statistical Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 40-51, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 282-285, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 279-281, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 15-27, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren |
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 133-144, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wassim Abou-Jaoudé, Jérôme Feret, Denis Thieffry |
Derivation of Qualitative Dynamical Models from Biochemical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 195-207, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 28-39, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 239-250, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 208-221, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adam Streck, Kirsten Thobe, Heike Siebert |
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 264-276, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 182-194, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 121-132, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 157-169, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 104-120, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 3-7, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott |
Inferring Executable Models from Formalized Experimental Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 90-103, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 170-181, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 52-63, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 77-89, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Marta Z. Kwiatkowska, Luca Laurenti |
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 64-76, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![Springer, 978-3-319-23400-7 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 251-263, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 222-238, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 456 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|