The SCEAS System
Navigation Menu

Conferences in DBLP

School on Formal Methods for the Design of Computer, Communication and Software Systems (sfm)
2008 (conf/sfm/2008)


  1. Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions. [Citation Graph (, )][DBLP]


  2. Pathway Logic. [Citation Graph (, )][DBLP]


  3. Formal Cell Biology in Biocham. [Citation Graph (, )][DBLP]


  4. Hierarchical Modeling for Computational Biology. [Citation Graph (, )][DBLP]


  5. Simulation Methods in Systems Biology. [Citation Graph (, )][DBLP]


  6. Membrane Computing as a Modeling Framework. Cellular Systems Case Studies. [Citation Graph (, )][DBLP]


  7. Petri Nets for Systems and Synthetic Biology. [Citation Graph (, )][DBLP]


  8. Process Algebras in Systems Biology. [Citation Graph (, )][DBLP]


  9. The BlenX Language: A Tutorial. [Citation Graph (, )][DBLP]


  10. Cells in Silico: A Holistic Approach. [Citation Graph (, )][DBLP]


  11. The Calculus of Looping Sequences. [Citation Graph (, )][DBLP]


  12. Hybrid Systems and Biology. [Citation Graph (, )][DBLP]


  13. pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. [Citation Graph (, )][DBLP]


  14. A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002