Fragments-based Model Reduction: Some Case Studies

DOI10.1016/j.entcs.2010.12.007zbMath1283.92062OpenAlexW2030213535WikidataQ113318347 ScholiaQ113318347MaRDI QIDQ5404088

Jerome Feret

Publication date: 21 March 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.12.007

zbMATH Keywords

model reductionabstract interpretationstochastic semanticsdifferential semanticsrules-based modeling

Mathematics Subject Classification ID

Protein sequences, DNA sequences (92D20)

Related Items (3)

Lumpability abstractions of rule-based systems ⋮ Symbolic computation of differential equivalences ⋮ Quantitative Abstractions for Collective Adaptive Systems

Uses Software

• BioNetGen

Cites Work

• Bisimulation relations for weighted automata
• Rule-Based Modelling of Cellular Signalling
• Exact and ordinary lumpability in finite Markov chains
• Unnamed Item

This page was built for publication: Fragments-based Model Reduction: Some Case Studies