Modeling and Querying Biomolecular Interaction Networks

@misc{citeulike:485742, abstract = {We introduce a formalism to represent and analyze protein-protein and protein-DNA interaction networks. We illustrate the expressivity of this language, by proposing a formal counterpart of Kohn's compilation on the mammalian cell cycle control. This e\#ectively turns an otherwise static knowledge into a discrete transition system incorporating a qualitative description of the dynamics. We then propose to use the Computation Tree Logic CTL as a query language for querying the possible...}, author = {Rivier, Nathalie C. and Chiaverini, Marc and Danos, Vincent and Fages, Fran\çois and Sch\"{a}chter, Vincent }, citeulike-article-id = {485742}, keywords = {bio, formalism, network}, posted-at = {2006-01-30 10:54:00}, priority = {2}, title = {Modeling and Querying Biomolecular Interaction Networks}, url = {http://citeseer.ist.psu.edu/612728.html} }

TY - GEN ID - citeulike:485742 L3 - citeulike-article-id:485742 N2 - We introduce a formalism to represent and analyze protein-protein and protein-DNA interaction networks. We illustrate the expressivity of this language, by proposing a formal counterpart of Kohn's compilation on the mammalian cell cycle control. This e#ectively turns an otherwise static knowledge into a discrete transition system incorporating a qualitative description of the dynamics. We then propose to use the Computation Tree Logic CTL as a query language for querying the possible... TI - Modeling and Querying Biomolecular Interaction Networks KW - bio KW - formalism KW - network AU - Rivier, Nathalie AU - Chiaverini, Marc AU - Danos, Vincent AU - Fages, François AU - Schächter, Vincent UR - http://citeseer.ist.psu.edu/612728.html ER -