Mirco Tribastone

From MaRDI portal
Person:387987

Available identifiers

zbMath Open tribastone.mircoDBLP71/5436WikidataQ57166293 ScholiaQ57166293MaRDI QIDQ387987

List of research outcomes





PublicationDate of PublicationType
Proper lumping for positive bilinear control systems2025-01-21Paper
UTOPIC: Under-Approximation Through Optimal Control2024-03-14Paper
From electric circuits to chemical networks2024-02-09Paper
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains2024-01-26Paper
Tight Error Analysis in Fixed-point Arithmetic2023-08-31Paper
Formal lumping of polynomial differential equations through approximate equivalences2023-08-08Paper
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis2023-06-28Paper
An algorithm for the formal reduction of differential equations as over-approximations2023-06-02Paper
Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling2023-06-02Paper
Bit-precise verification of discontinuity errors under fixed-point arithmetic2023-05-26Paper
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems2023-03-29Paper
Tight Error Analysis in Fixed-Point Arithmetic2023-03-21Paper
An extension of ERODE to reduce Boolean networks by backward Boolean equivalence2023-01-18Paper
Differential Equivalence for Linear Differential Algebraic Equations2022-07-28Paper
Reducing Boolean networks with backward Boolean equivalence2022-05-25Paper
Lumpability for uncertain continuous-time Markov chains2022-03-24Paper
PID Control of Biochemical Reaction Networks2022-02-24Paper
A large-scale assessment of exact lumping of quantitative models in the biomodels repository2021-11-01Paper
Syntactic Markovian Bisimulation for Chemical Reaction Networks2020-02-24Paper
A large-scale assessment of exact model reduction in the biomodels repository2019-10-10Paper
Efficient syntax-driven lumping of differential equations2019-09-17Paper
Symbolic computation of differential equivalences2019-06-18Paper
Comparing chemical reaction networks: a categorical and algorithmic perspective2019-06-18Paper
Comparing Chemical Reaction Networks2018-04-23Paper
Forward and Backward Bisimulations for Chemical Reaction Networks2017-09-12Paper
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment2017-08-25Paper
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls2017-05-03Paper
Symbolic computation of differential equivalences2016-10-24Paper
Quantitative Abstractions for Collective Adaptive Systems2016-10-04Paper
Differential Bisimulation for a Markovian Process Algebra2015-09-16Paper
A unified framework for differential aggregations in Markovian process algebra2015-02-27Paper
Exact fluid lumpability in Markovian process algebra2014-06-06Paper
Tackling continuous state-space explosion in a Markovian process algebra2013-12-18Paper
Exact Fluid Lumpability for Markovian Process Algebra2012-09-25Paper
Stochastic Process Algebras2011-03-25Paper

Research outcomes over time

This page was built for person: Mirco Tribastone