Unwinding biological systems
From MaRDI portal
Publication:2348024
DOI10.1016/j.tcs.2015.02.045zbMath1328.92027OpenAlexW2110571105MaRDI QIDQ2348024
Alberto Casagrande, Carla Piazza
Publication date: 10 June 2015
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11390/1070150
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)
Related Items
Uses Software
Cites Work
- Dynamics of influenza virus and human host interactions during infection and replication cycle
- Lumpability abstractions of rule-based systems
- A semantic equivalence for Bio-PEPA based on discretisation of continuous values
- Dynamically consistent reduction of logical regulatory graphs
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Model decomposition and reduction tools for large-scale networks in systems biology
- Robustness of temporal logic specifications for continuous-time signals
- CCS expressions, finite state processes, and three problems of equivalence
- Bitonal membrane systems: interactions of biological membranes
- Inclusion dynamics hybrid automata
- A theory of timed automata
- Hybrid I/O automata.
- Formal molecular biology
- BioAmbients: an abstraction for biological compartments
- O-minimal hybrid systems.
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Approximating and computing behavioural distances in probabilistic transition systems
- Weighted Lumpability on Markov Chains
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Simulation and Bisimulation for Probabilistic Timed Automata
- Three Partition Refinement Algorithms
- On-the-Fly Exact Computation of Bisimilarity Distances
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA
- External Interactions on Hybrid Models of Biological Systems
- Brane Calculi
- Computational Methods in Systems Biology
- Computer Aided Verification
- State equivalences for rectangular hybrid automata
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item