In transition from global to modular temporal reasoning about programs
Logics and models of concurrent systems
Information Processing Letters
Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Current Trends in Theoretical Computer Science: The Challenge of the New Century
Current Trends in Theoretical Computer Science: The Challenge of the New Century
Process Algebras for Quantitative Analysis
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
The JigCell Model Builder: A Spreadsheet Interface for Creating Biochemical Reaction Network Models
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Compositional Quantitative Reasoning
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
A method for comparison of standardized information within systems biology
Proceedings of the 38th conference on Winter simulation
The role of composition and aggregation in modeling macromolecular regulatory networks
Proceedings of the 38th conference on Winter simulation
Simulation and verification for computational modelling of signalling pathways
Proceedings of the 38th conference on Winter simulation
Learning assumptions for compositional verification
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A framework for aligning ontologies
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Discrete event multi-level models for systems biology
Transactions on Computational Systems Biology I
Modelling and simulation of granuloma formation in visceral leishmaniasis
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Regenerative systems: challenges and opportunities for modeling, simulation, and visualization
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Hierarchical modeling for computational biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A beginner's guide to systems simulation in immunology
ICARIS'12 Proceedings of the 11th international conference on Artificial Immune Systems
Hi-index | 0.00 |
Systems Biology is aimed at analyzing the behavior and interrelationships of biological systems and is characterized by combining experimentation, theory, and computation. Dedicated to exploring current challenges, the panel brings together people from a variety of disciplines whose perspectives illuminate diverse facets of Systems Biology and the challenges for modeling and simulation methods.