Biomimetic Representation with Genetic Programming Enzyme
Genetic Programming and Evolvable Machines
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Representing experimental biological data in metabolic networks
APBC '04 Proceedings of the second conference on Asia-Pacific bioinformatics - Volume 29
Integrating biopathway databases for large-scale modeling and simulation
APBC '04 Proceedings of the second conference on Asia-Pacific bioinformatics - Volume 29
Journal of Biomedical Informatics
An analysis of the Petri net based model of the human body iron homeostasis process
Computational Biology and Chemistry
Time Petri Nets for Modelling and Analysis of Biochemical Networks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Visualization of the simulation data of biochemical network models: a painted Petri net approach
Proceedings of the 2007 Summer Computer Simulation Conference
Petri net based description and modeling of metabolic pathway
Proceedings of the 2007 Summer Computer Simulation Conference
A computational framework in modeling cellular communication in sepsis
AIC'05 Proceedings of the 5th WSEAS International Conference on Applied Informatics and Communications
Abstract interpretation and types for systems biology
Theoretical Computer Science
On temporal logic constraint solving for analyzing numerical data time series
Theoretical Computer Science
A Language for Biochemical Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Compositional Definitions of Minimal Flows in Petri Nets
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets
Computational Biology and Chemistry
Modeling the process of human body iron homeostasis using a variant of timed Petri nets
Discrete Applied Mathematics
A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Hybrid Functional Petri Nets as MP systems
Natural Computing: an international journal
Towards biopathway modeling and simulation
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Formal cell biology in biocham
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
Petri nets for systems and synthetic 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
Steady-state solution of biochemical systems, beyond S-systems via T-invariants
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Action-based analysis of discrete regulatory networks with short-term stimuli
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Ion channel modeling and simulation using hybrid functional Petri net
LSMS/ICSEE'10 Proceedings of the 2010 international conference on Life system modeling and simulation and intelligent computing, and 2010 international conference on Intelligent computing for sustainable energy and environment: Part III
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
A hybrid methodology for pattern recognition in signaling cervical cancer pathways
MCPR'10 Proceedings of the 2nd Mexican conference on Pattern recognition: Advances in pattern recognition
Supporting interoperability using the discrete-event modeling ontology (DeMO)
Winter Simulation Conference
Boundedness analysis for open Chemical Reaction Networks with mass-action kinetics
Natural Computing: an international journal
Natural Computing: an international journal
Petri net models for the semi-automatic construction of large scale biological networks
Natural Computing: an international journal
Simplification of a complex signal transduction model using invariants and flow equivalent servers
Theoretical Computer Science
High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Modelling biological networks by action languages via answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Neural system modeling and simulation using hybrid functional Petri net
Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine
Biomodel engineering – from structure to behavior
Transactions on Computational Systems Biology XII
Modeling of chemokine signaling pathway
SCSC '09 Proceedings of the 2009 Summer Computer Simulation Conference
An excursion in reaction systems: From computer science to biology
Theoretical Computer Science
Time Petri Nets for Modelling and Analysis of Biochemical Networks
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
A boolean model for enumerating minimal siphons and traps in petri nets
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Inferring reaction models from ODEs
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Toward the role of interaction in visual analytics
Proceedings of the Winter Simulation Conference
On the subgraph epimorphism problem
Discrete Applied Mathematics
Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |