|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Oksana Tymchyshyn, Marta Z. Kwiatkowska |
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 63-76, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Sylvain Soliman |
From Reaction Models to Influence Graphs and Back: A Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 90-102, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Yaki Setty |
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 1-16, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald |
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 123-138, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Werner Sandmann, Verena Wolf |
Computational Probability for Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 33-47, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Structured Model Representation, Markov Chains, Stochastic Modeling, Numerical Analysis, Biological Networks |
1 | Jasmin Fisher (eds.) |
Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![Springer, 978-3-540-68410-7 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa |
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 48-62, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman |
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 17-32, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Oded Maler, Grégory Batt |
Approximating Continuous Systems by Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 77-89, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
Rule-Based Modelling, Symmetries, Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSB ![In: Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings, pp. 103-122, 2008, Springer, 978-3-540-68410-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|