Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Russell Stern
Mc3: A Steady-State Model and Constraint Consistency Checker for Biochemical Networks
BMC Systems Biology
Molecular Biology
Applied Mathematics
Structural Biology
Simulation
Computer Science Applications
Modeling
Related publications
Set Intersection and Consistency in Constraint Networks
Journal of Artificial Intelligence Research
Artificial Intelligence
Real-Time Dynamic Hydraulic Model for Water Distribution Networks: Steady State Modelling
A Symbolic Model Checker for ACTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relationship Between Plant Hydraulic and Biochemical Properties Derived From a Steady-State Coupled Water and Carbon Transport Model
Plant, Cell and Environment
Plant Science
Physiology
A Filtering Model With Steady-State Housing
Regional Science and Urban Economics
Urban Studies
Economics
Econometrics
Z2SAL - Building a Model Checker for Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
McMas: A Model Checker for Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks
Journal of Computational Biology
Genetics
Molecular Biology
Computational Theory
Simulation
Computational Mathematics
Mathematics
Modeling
Superposition Model for Steady State Visually Evoked Potentials
