CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
B Mishra
Latest
Composing FOCoRe Hybrid Automata
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
Foundations of a query and simulation system for the modeling of biochemical and biological processes
Model building and model checking for biochemical processes
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior
Cite
×