CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior
M. Antoniotti
,
B. Mishra
,
Alberto Policriti
,
N. Ugel
2002-01-01
Cite
Type
Conference paper
Publication
Proceedings of HiPC 2002
Related
Foundations of a query and simulation system for the modeling of biochemical and biological processes
Model building and model checking for biochemical processes
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
Cite
×