Automata: Bisimulation and Collapsing M. Antoniotti, B. Mishra, C. Piazza, ...  Home/Search
Context
Related
| nyu.edu/mishra/PUBLIC...03.tamebisim.ps 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: nyu.edu/mishra/PUBLICATIONS/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many biological systems can be modeled using systems of ordinary di#erential algebraic equations (e.g., S-systems), thus allowing the study of their solutions and behavior automatically with suitable software tools (e.g., PLAS, Octave/Matlab ). Usually, numerical solutions (traces or trajectories) for appropriate initial conditions are analyzed in order to infer significant properties of the biological systems under study. (Update)
Similar documents (at the sentence level):
6.8%: Taming the Complexity of Biochemical Models.. - Antoniotti.. (Correct)
5.3%: Foundations of a Query and Simulation System for.. - Antoniotti, Park, .. (2003) (Correct)
Active bibliography (related documents): More All
2.6: Modeling Cellular Behavior with Hybrid Automata.. - Antoniotti.. (2003) (Correct)
0.6: Bio-CONCUR 2004 Preliminary Version - Multiple Biological Model (Correct)
0.5: Systems Biology and Automata - Mishra And Policriti (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-modeling,
author = "Automata Bisimulation And",
title = "Modeling Cellular Behavior with Hybrid",
url = "citeseer.ist.psu.edu/765807.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
828 Model checking - Clarke, Grumberg et al. - 1999
725 Temporal and modal logic (context) - Emerson - 1990
232 Hybrid automata: An algorithmic approach to the specificatio.. - Alur, Courcoubetis et al. - 1992
211 HYTECH: A model checker for hybrid systems - Henzinger, Ho et al. - 1997
206 Results on the propositional mu-calculus (context) - Kozen - 1983
160 The theory of hybrid automata - Henzinger - 1996
90 Characterizing finite kripke structures in propositional tem.. (context) - Browne, Clarke et al. - 1988
28 Representation and simulation of biochemical processes using.. (context) - Regev, Silverman et al. - 2003
24 A fast bisimulation algorithm - Dovier, Piazza et al. - 2001
21 A linear time solution to the single function coarsest parti.. (context) - Paige, Tarjan et al. - 1985
20 Hybrid modeling and simulation of biomolecular networks - Alur, Belta et al. - 2001
20 A synthetic oscillatory network of transcriptional regulator.. (context) - Elowitz, Leibler - 2000
19 Modeling and simulation of genetic regulatory systems: A lit.. (context) - de Jong - 2000
16 Nucleic Acids Research (context) - Karp, Riley et al. - 2002
16 Nucleic Acid Research (context) - Karp, Riley et al. - 2002
11 Dynamical systems and their associated automata (context) - Brockett - 1994
7 Modelling and verification using linear hybrid automata - Muller, Stauner - 2000
6 Foundations of a Query and Simulation System for the Modelin.. - Antoniotti, Park et al. - 2003
6 XS-systems: extended Ssystems and algebraic di#erential auto.. (context) - Antoniotti, Policriti et al. - 2002
5 Systems Biology: an Overview (context) - Kitano - 2002
5 calculus for biochemical modelling (context) - Curti, Degano et al. - 2002
5 A Pratical Guide for Biochemists and Molecular Biologists (context) - Voit, of - 2000
5 Analysis of abnormalities in purine metabolism leading to go.. (context) - Curto, Voit et al. - 1998
5 Mathematical models of purine metabolism in man (context) - Curto, Voit et al. - 1998
4 Model Building and Model Checking for Biological Processes (context) - Antoniotti, Policriti et al. - 2003
3 Data Base of Quatitative Cellular Signaling (context) - Bhalla - 2001
2 Combinatorial Design to study regulation by multiple input s.. (context) - Shasha, Kouranov et al. - 2001
http://wit.mcs.anl.gov/WIT2/
http://www.genome.ad.jp/kegg/
http://www.ncgr.org/pathdb/
Documents on the same site (http://www.cs.nyu.edu/mishra/PUBLICATIONS/): More
Shotgun Optical Maps of the Whole Escherichia coli - Genome Alex Lim (Correct)
Genomics via Optical Mapping (I): - Laws For Single (Correct)
A Random Walk Down the Genomes: - Case Study Of (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