Algorithmic algebra
Theoretical Computer Science
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Complexity and real computation
Complexity and real computation
Mathematical physiology
Symbolic Reachability Computation for Families of Linear Vector Fields
Journal of Symbolic Computation
Biocomputation: modeling and analyzing biomolecular networks
Computing in Science and Engineering
A Symbolic Approachto Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
A Symbolic Approachto Modeling Cellular Behavior
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Reachability Analysis of Hybrid Systems via Predicate Abstraction
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Decidability of Hybrid Systems with Rectangular Differential Inclusion
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Dynamics in high-dimensional model gene networks
Signal Processing - Special issue: Genomic signal processing
The theory of rectangular hybrid automata
The theory of rectangular hybrid automata
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
Algorithmic algebraic model checking: hybrid automata and systems biology
Algorithmic algebraic model checking: hybrid automata and systems biology
Algorithmic Algebraic Model Checking III: Approximate Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Counter-example guided predicate abstraction of hybrid systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Automated symbolic reachability analysis: with application to delta-notch signaling automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Algorithmic algebraic model checking i: challenges from systems biology
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
| Hi-index | 0.00 |
What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically model them and then manipulate them to suggest meaningful hypotheses? Using these hypotheses, can one measure and mine suitable experimental data to validate or refute these hypotheses? Through these intertwined processes of measuring, mining, modeling and manipulating biological systems, can one generate the set of theses and hypotheses upon which systems biology will be founded? This review provides one algorithmic-algebraist's somewhat idiosyncratic response to these and other related questions, but also aims to persuade young algebraists to examine the possible role they and algebra can play to enrich this subject.