B. Mishra

Composing FOCoRe Hybrid Automata
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
Tolque: A Tool for Algorithmic Algebraic Model Checking
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
Independent Dynamics Hybrid Automata in System Biology
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe
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.