Andrea Vandin

Available identifiers

zbMath Open vandin.andreaWikidataQ56491856 ScholiaQ56491856MaRDI QIDQ832090

List of research outcomes

Publication	Date of Publication	Type
Proper lumping for positive bilinear control systems	2025-01-21	Paper
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL	2024-09-08	Paper
UTOPIC: Under-Approximation Through Optimal Control	2024-03-14	Paper
Approximate constrained lumping of polynomial differential equations	2024-02-28	Paper
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains	2024-01-26	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
An extension of ERODE to reduce Boolean networks by backward Boolean equivalence	2023-01-18	Paper
Automated and distributed statistical analysis of economic agent-based models	2022-11-17	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
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
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 White Box Perspective on Behavioural Adaptation	2015-06-22	Paper
Adaptable Transition Systems	2013-09-13	Paper
Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models	2012-10-02	Paper
Counterpart semantics for a second-order \(\mu\)-calculus	2012-07-11	Paper
Counterpart Semantics for a Second-Order μ-Calculus	2010-10-04	Paper
Replication Package tied with the paper "Stochastic Conformance Checking based on Variable-length Markov Chains"	N/A	Dataset

Research outcomes over time

This page was built for person: Andrea Vandin