Author:
Cardelli Luca,Tribastone Mirco,Tschaikowski Max,Vandin Andrea
Subject
General Computer Science,Theoretical Computer Science
Reference96 articles.
1. Approximation of Large-Scale Dynamical Systems;Antoulas,2005
2. Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations;Ascher,1988
3. Model-checking continuous-time Markov chains;Aziz;ACM Trans. Comput. Log.,2000
4. Principles of Model Checking;Baier,2008
5. Deciding bisimilarity and similarity for probabilistic processes;Baier;J. Comput. Syst. Sci.,2000
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Exact hierarchical reductions of dynamical models via linear transformations;Communications in Nonlinear Science and Numerical Simulation;2024-04
2. A kinetic approach to investigate the collective dynamics of multi-agent systems;International Journal on Software Tools for Technology Transfer;2023-11-02
3. Accessible Pattern Analyses in Kappa Models;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04
4. Formal lumping of polynomial differential equations through approximate equivalences;Journal of Logical and Algebraic Methods in Programming;2023-08
5. Minimization of Dynamical Systems over Monoids;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26