Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman  Home/Search
Context
Related
| pauillac.inria.fr/%7E...CFS04jbpc.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: pauillac.inria.fr/%7Efag...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Machine BIOCHAM Nathalie Chabrier-Rivier & Francois Fages & Sylvain Soliman Projet Contraintes, INRIA Rocquencourt, BP105, 78153 Le Chesnay Cedex, France. (Update)
Active bibliography (related documents): More All
1.3: Symbolic Model Checking of Biochemical Networks - Chabrier, Fages (2003) (Correct)
1.0: CMBSlib: a Library for Comparing Formalisms and Models of.. - Soliman, Fages (2004) (Correct)
0.7: Modeling and Querying Biomolecular Interaction Networks - Chabrier-Rivier.. (2003) (Correct)
Similar documents based on text: More All
0.4: The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
0.3: CLPGUI: a Generic Graphical User Interface for Constraint .. - Fages, Soliman, Coolen (2004) (Correct)
0.3: Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (2000) (Correct)
BibTeX entry: (Update)
@misc{ chabrier-rivier-modelling,
author = "Nathalie Chabrier-Rivier and François Fages and Sylvain Soliman",
title = "Modelling and Querying Interaction Networks in the Biochemical Abstract
Machine BIOCHAM",
url = "citeseer.ist.psu.edu/701627.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1999
149 New Generation Computing (context) - Muggleton, progol - 1995
42 Nusmv 2: An opensource tool for symbolic model checking - Cimatti, Clarke et al. - 2002
28 Representation and simulation of biochemical processes using.. (context) - Regev, Silverman et al. - 2001
24 Hybrid petri net representation of gene regulatory network (context) - Matsuno, Doi et al. - 2000
21 Pathway logic: Symbolic analysis of biological signaling (context) - Eker, Knapp et al. - 2002
20 Hybrid modeling and simulation of biomolecular networks - Alur, Belta et al. - 2034
18 Lateral inhibition through delta-notch signaling: A piecewis.. - Ghosh, Tomlin - 2034
12 KEGG: Kyoto encyclopedia of genes and genomes (context) - Kanehisa, Goto - 2000
8 Quantitative modeling of biochemical networks (context) - Hofestadt, Thelen - 1998
7 Using hybrid concurrent constraint programming to model dyna.. - Bockmayr, Courtois - 2002
5 A medium for representation and exchange of biochemical netw.. (context) - Hucka, biology et al. - 2003
5 Diagrammatic notation and computational structure of gene ne.. (context) - Maimon, Browning - 2001
5 A new approach to decoding life: Systems biology (context) - Ideker, Galitski et al. - 2001
4 the virtual cell (context) - Schaff, Loew - 1999
3 Cellerator: extending a computer algebra system to include b.. (context) - Shapiro, Levchenko et al. - 2003
3 Kinetic analysis of a molecular model of the budding yeast c.. (context) - Chen, Csikasz-Nagy et al. - 2000
3 A core modeling language for the working molecular biologist - Chiaverini, Danos - 2003
2 Symbolic model cheking of biochemical networks (context) - Chabrier, Fages - 2003
2 BIOCHAM's user manual (context) - Chabrier, Fages et al. - 2003
2 and an application for molecular interaction (context) - Nagasaki, Onami et al. - 2000
2 Molecular interaction map of the mammalian cell cycle contro.. (context) - Kohn - 1999
1 Theoretical Computer Science (context) - Chabrier, Chiaverini et al. - 2004
1 The biochemical abstract machine BIOCHAM (context) - Chabrier-Rivier, Fages et al. - 2004
1 Process calculi and biology of molecular networks (context) - CPBIO - 2002
1 The role of raf kinases in malignant transformation (context) - Kolch, Kotwaliwale et al. - 2002
1 CMBSlib: a library for comparing formalisms and models of bi.. - Soliman, Fages - 2004
1 Scaffold proteins may biphasically affect the levels of mito.. (context) - Levchenko, Bruck et al. - 2000
Documents on the same site (http://pauillac.inria.fr/%7Efages/papers.html): More
The Linear Logic Semantics of Concurrent Constraint Programs.. - Fages, Soliman (Correct)
Typed Constraint Logic Programs: checking domain coercions.. - Coquery, Fages (Correct)
Linear Concurrent Constraint Programming: Operational and.. - Fages, Ruet, Soliman (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC