Mirco Tribastone

Available identifiers

zbMath Open tribastone.mircoDBLP71/5436WikidataQ57166293 ScholiaQ57166293MaRDI QIDQ387987

List of research outcomes

Publication	Date of Publication	Type
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
Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling	2023-06-02	Paper
An algorithm for the formal reduction of differential equations as over-approximations	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
Comparing chemical reaction networks: a categorical and algorithmic perspective	2019-06-18	Paper
Symbolic computation of differential equivalences	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mirco Tribastone