The following pages link to Andrea Vandin (Q832090):
Displayed 26 items.
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Automated and distributed statistical analysis of economic agent-based models (Q2097979) (← links)
- An extension of ERODE to reduce Boolean networks by backward Boolean equivalence (Q2112170) (← links)
- Reducing Boolean networks with backward Boolean equivalence (Q2142096) (← links)
- A large-scale assessment of exact lumping of quantitative models in the biomodels repository (Q2238205) (← links)
- Efficient syntax-driven lumping of differential equations (Q2272914) (← links)
- A large-scale assessment of exact model reduction in the biomodels repository (Q2326597) (← links)
- Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009) (← links)
- Quantitative Abstractions for Collective Adaptive Systems (Q2822665) (← links)
- Adaptable Transition Systems (Q2848873) (← links)
- Counterpart Semantics for a Second-Order μ-Calculus (Q2898468) (← links)
- Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (Q2918971) (← links)
- Differential Bisimulation for a Markovian Process Algebra (Q2946344) (← links)
- Comparing Chemical Reaction Networks (Q4635906) (← links)
- Counterpart Semantics for a Second-Order μ-Calculus (Q4931321) (← links)
- Differential Equivalence for Linear Differential Algebraic Equations (Q5092262) (← links)
- Syntactic Markovian Bisimulation for Chemical Reaction Networks (Q5217314) (← links)
- A White Box Perspective on Behavioural Adaptation (Q5256369) (← links)
- Forward and Backward Bisimulations for Chemical Reaction Networks (Q5357706) (← links)
- Symbolic computation of differential equivalences (Q5890964) (← links)
- Symbolic computation of differential equivalences (Q5920213) (← links)
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis (Q6104803) (← links)
- Formal lumping of polynomial differential equations through approximate equivalences (Q6113017) (← links)
- An algorithm for the formal reduction of differential equations as over-approximations (Q6160777) (← links)
- Algorithmic Minimization of Uncertain Continuous-Time Markov Chains (Q6182729) (← links)
- Approximate constrained lumping of polynomial differential equations (Q6199820) (← links)