M. Antoniotti

Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
Foundations of a query and simulation system for the modeling of biochemical and biological processes
Model building and model checking for biochemical processes
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
Xs-systems: extended s-systems and algebraic differential automata for modeling cellular behavior

Published with Wowchemy — the free, open source website builder that empowers creators.