11 citations · 11 across the 2 of their papers we have counts for
4 papers
RuleVis: Constructing Patterns and Rules for Rule-Based Models
David Abramov, Jasmine Otto, Mahika Dubey +4
We introduce RuleVis, a web-based application for defining and editing "correct-by-construction" executable rules that model biochemical functionality, which can be used to simulat…
Dynamic Influence Networks for Rule-based Models
Angus G. Forbes, Andrew Burks, Kristine Lee +4
We introduce the Dynamic Influence Network (DIN), a novel visual analytics technique for representing and analyzing rule-based models of protein-protein interaction networks. Rule-…
When rule-based models need to count
Pierre Boutillier, Ioana Cristescu
Rule-based modelers dislike direct enumeration of cases when more efficient means of enumeration are available. We present an extension of the Kappa language which attaches to agen…
New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized
Guillaume Allais, Pierre Boutillier, Conor McBride
The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, fr…