Mirco Tribastone

Available identifiers

zbMath Open tribastone.mircoDBLP71/5436WikidataQ57166293 ScholiaQ57166293MaRDI QIDQ387987

List of research outcomes

Publication	Date of Publication	Type
Proper lumping for positive bilinear control systems	2025-01-21	Paper
UTOPIC: Under-Approximation Through Optimal Control	2024-03-14	Paper
From electric circuits to chemical networks	2024-02-09	Paper
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains	2024-01-26	Paper
Tight Error Analysis in Fixed-point Arithmetic	2023-08-31	Paper
Formal lumping of polynomial differential equations through approximate equivalences	2023-08-08	Paper
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis	2023-06-28	Paper
An algorithm for the formal reduction of differential equations as over-approximations	2023-06-02	Paper
Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling	2023-06-02	Paper
Bit-precise verification of discontinuity errors under fixed-point arithmetic	2023-05-26	Paper
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems	2023-03-29	Paper
Tight Error Analysis in Fixed-Point Arithmetic	2023-03-21	Paper
An extension of ERODE to reduce Boolean networks by backward Boolean equivalence	2023-01-18	Paper
Differential Equivalence for Linear Differential Algebraic Equations	2022-07-28	Paper
Reducing Boolean networks with backward Boolean equivalence	2022-05-25	Paper
Lumpability for uncertain continuous-time Markov chains	2022-03-24	Paper
PID Control of Biochemical Reaction Networks	2022-02-24	Paper
A large-scale assessment of exact lumping of quantitative models in the biomodels repository	2021-11-01	Paper
Syntactic Markovian Bisimulation for Chemical Reaction Networks	2020-02-24	Paper
A large-scale assessment of exact model reduction in the biomodels repository	2019-10-10	Paper
Efficient syntax-driven lumping of differential equations	2019-09-17	Paper
Symbolic computation of differential equivalences	2019-06-18	Paper
Comparing chemical reaction networks: a categorical and algorithmic perspective	2019-06-18	Paper
Comparing Chemical Reaction Networks	2018-04-23	Paper
Forward and Backward Bisimulations for Chemical Reaction Networks	2017-09-12	Paper
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment	2017-08-25	Paper
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls	2017-05-03	Paper
Symbolic computation of differential equivalences	2016-10-24	Paper
Quantitative Abstractions for Collective Adaptive Systems	2016-10-04	Paper
Differential Bisimulation for a Markovian Process Algebra	2015-09-16	Paper
A unified framework for differential aggregations in Markovian process algebra	2015-02-27	Paper
Exact fluid lumpability in Markovian process algebra	2014-06-06	Paper
Tackling continuous state-space explosion in a Markovian process algebra	2013-12-18	Paper
Exact Fluid Lumpability for Markovian Process Algebra	2012-09-25	Paper
Stochastic Process Algebras	2011-03-25	Paper

Research outcomes over time

This page was built for person: Mirco Tribastone