Aviv Regev, Ehud Shapiro  Home/Search
Context
Related
| wisdom.weizmann.ac.il...pi_calculus.pdf 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: wisdom.weizmann.ac.il/~udi/pap... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: process languages applied to biomolecular systems. (Update)
Active bibliography (related documents): More All
0.7: Analysis and Simulation of Steady States in Metabolic Pathways .. - Heiner, Koch (2001) (Correct)
0.7: Roles of Positive and Negative Feedback in Biological Systems - Cinquin, Demongeot (2002) (Correct)
0.5: Modelling Gene Regulatory Networks: Systems Biology to Complex.. - Geard (2004) (Correct)
Similar documents based on text: More All
0.4: Learning Module Networks - Segal, Pe'er, Regev (2003) (Correct)
0.2: Information Processing Letters 80 (2001) 25--31 - Application Of Stochastic (1995) (Correct)
0.2: Hook lengths in a skew Young diagram - Janson (1997) (Correct)
BibTeX entry: (Update)
@misc{ regev-picalculus,
author = "Aviv Regev and Ehud Shapiro",
title = "The π-Calculus as an Abstraction for Biomolecular Systems",
url = "citeseer.ist.psu.edu/704367.html" }
Citations (may not include all citations):183 Executable object modeling with statecharts - Harel, Gery - 1997
178 Communicating and Mobile Systems: The #-Calculus (context) - Milner - 1999
48 Concurrent prolog: a progress report (context) - Shapiro - 1987
36 Exact stochastic simulation of coupled chemical reactions (context) - Gillespie - 1977
28 Representation and simulation of biochemical processes using.. (context) - Regev, Silverman et al. - 2001
28 An algebraic verification of a mobile network - Orava, Parrow - 1992
27 Circuit simulation of genetic networks (context) - McAdams, Shapiro - 1995
24 Hybrid petri net representation of gene regulatory network (context) - Matsuno, Doi et al. - 2000
21 The Mobility Workbench --- a tool for the #-calculus (context) - Victor, Moller - 1994
20 Visual Modeling with Rational Rose 2000 and UML (context) - Quatrani - 2000
20 Application of a stochastic name-passing calculus to represe.. (context) - Priami, Regev et al. - 2001
15 The barrier of objects: From dynamical systems to bounded or.. (context) - Fontana, Buss - 1996
14 The transfac system on gene expression regulation (context) - Wingender, Chen et al. - 2001
14 Bind-the biomolecular interaction network database - Bader, Donaldson et al. - 2001
13 Stochastic kinetic analysis of developmental pathway bifurca.. (context) - Arkin, Ross et al. - 1998
13 Stochastic mechanisms in gene expression (context) - McAdams, Arkin - 1997
13 Genetic network inference: from co-expression clustering to .. (context) - Dhaeseleer, Liang et al. - 2000
12 Emergent properties of networks of biological signaling path.. (context) - Bhalla, Iyengar - 1999
11 Quantitative modeling of stochastic systems in molecular bio.. (context) - Goss, Peccoud - 1998
9 Qualitative analysis of gene networks (context) - Thie, Thomas - 1998
8 Quantitative modeling of biochemical networks (context) - Hofestadt, Thelen - 1998
8 Symbolic model checking of biochemical networks - Chabrier, Fages - 2003
8 Algorithms for identifying boolean networks and related biol.. (context) - Akutsu, Miyano et al. - 2000
7 Genetic control of flower morphogenesis in arabidopsis thali.. (context) - Mendoza, Thie et al. - 1999
7 The Logix system user manual (context) - Silverman, Hirsch et al. - 1987
7 Algorithms for inferring qualitative models of biological ne.. - Akutsu, Miyano et al. - 2000
6 Computation with the kegg pathway database (context) - Ogata, Goto et al. - 1998
6 Computational systems biology (context) - Kitano - 2002
6 Integrated pathway /genome databases and their role in drug .. - Karp, Krummenacker et al. - 1999
5 Semiotes: a semantics for sharing - Kazic - 2000
5 Robust perfect adaptation in bacterial chemotaxis through in.. (context) - Yi, Huang et al. - 2000
4 Representing and analysing molecular and cellular function u.. (context) - van Helden, Naim et al. - 2000
4 A general definition of metabolic pathways useful for system.. (context) - Schuster, Fell et al. - 2000
4 Informal introduction to petri nets (context) - Reisig, Rozenberg - 1998
3 Boundary formation by notch signaling in drosophila multicel.. (context) - Matsuno, Murakani et al. - 2003
3 Modeling biological reactivity: Statecharts vs - Kam, Harel et al. - 2001
3 Petri Nets for Systems Engineering: A Guide to Modeling (context) - Girault, Valk - 2002
2 Functional genomics - bioinformatics is ready for the challe.. (context) - Smith - 1998
2 Genetic network analysis in light of massively parallel biol.. - Szallasi - 1999
2 Construction of a generalized simulator for multi-cellular o.. - Kyoda, Muraki et al. - 2000
2 Interact: an object oriented protein-protein interaction dat.. (context) - Eilbeck, Brass et al. - 1999
2 Establishement of the dorso-ventral pattern during embryonic.. (context) - Sanchez, van Helden et al. - 1997
2 Scamp: a general-purpose simulator and metabolic control ana.. (context) - Sauro - 1993
2 Mpw: the metabolic pathways database - Selkov, Grechkin et al. - 1998
2 ect of rom on the genetic network controlling cole1 plasmid .. (context) - Goss, Peccoud et al. - 1999
1 nets: a graphical form of the #-calculus (context) - Milner - 1994
1 The CellML modeling language (context) - Nielsen, Bullivant et al. - 2000
1 Detection and analysis of unexpected state components in bio.. (context) - Pagnoni, Visconti - 2003
1 Cellular abstractions (context) - Regev, Shapiro - 2002
1 Computational models of immunological pathways (context) - Holcombe, Bell - 1998
1 Development of a cell signalling networks database (context) - Igarashi, Kaminuma - 1997
1 to appear (context) - Kam, Cohen et al. - 2001
1 Network: an interactive interface to the tools for analysis .. - Samsonova, Serov - 1999
1 A pi-calculus model of the na pump (context) - Ciobanu, Ciubotariu et al. - 2002
1 Casual calculus for biochemical modeling (context) - Curti, Degano et al. - 2003
1 Deriving simulation models from a molecular biology knowledg.. - Heidtke, Schulze-Kremer - 1999
1 The modularity of biological regulatory networks (context) - Thie, Romero - 1999
1 Journal of Theoretical Computer Science (context) - Ciobanu, Rotaru - 2002
1 Modeling cellular behavior with hybrid automata: bisimulatio.. - Antoniatti, Mishra et al. - 2003
1 Formal description of the molecular processes (context) - Ciobanu - 2000
1 and J. Voet. Biochemistry. 2nd edition (context) - Voet - 1995
1 Extending the method of mathematically controlled comparison.. (context) - Alves, Savageau - 2000
1 Dip: the database of interacting proteins: 2001 update - Xenarios, Fernandez et al. - 2001
1 Bioambients - a calculus for biological compartments (context) - Regev, Panina et al.
1 The full code for this model and the BioSpi surface ASCII sy.. (context) - Regev
1 Pathway analysis in metabolic databases via di#erential meta.. (context) - Ku, Zimmer et al. - 2000
1 Modular Texts in Molecular and Cell Biology (context) - Heldin, Purton et al. - 1996
1 An xml-based model description language for systems biology .. (context) - Finney, Sauro et al. - 2000
1 Protein-protein interactions define specificity in signal tr.. (context) - Pawson, Nash - 2000
1 Reductionism for biochemists: how to survive the protein jun.. (context) - Bray - 1997
Documents on the same site (http://www.wisdom.weizmann.ac.il/~udi/papers/): More
Molecular Computing Machines - Yaakov Benenson Ehud (Correct)
Theoretical Computer Science 325 (2004) 141 -- 167.. - Bioambients An Ion (Correct)
Information Processing Letters 80 (2001) 25--31 - Application Of Stochastic (1995) (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