| Publication | Date of Publication | Type |
|---|
Proper lumping for positive bilinear control systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
| UTOPIC: Under-Approximation Through Optimal Control | 2024-03-14 | Paper |
From electric circuits to chemical networks
Natural Computing | 2024-02-09 | Paper |
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
IEEE Transactions on Automatic Control | 2024-01-26 | Paper |
Tight Error Analysis in Fixed-point Arithmetic
Formal Aspects of Computing | 2023-08-31 | Paper |
Formal lumping of polynomial differential equations through approximate equivalences
Journal of Logical and Algebraic Methods in Programming | 2023-08-08 | Paper |
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
Quantitative Evaluation of Systems | 2023-06-28 | Paper |
An algorithm for the formal reduction of differential equations as over-approximations
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Jump longer to jump less: improving dynamic boundary projection with \(h\)-scaling
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Bit-precise verification of discontinuity errors under fixed-point arithmetic
Software Engineering and Formal Methods | 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
IEEE Transactions on Automatic Control | 2022-07-28 | Paper |
Reducing Boolean networks with backward Boolean equivalence
(available as arXiv preprint) | 2022-05-25 | Paper |
| Lumpability for uncertain continuous-time Markov chains | 2022-03-24 | Paper |
PID Control of Biochemical Reaction Networks
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
A large-scale assessment of exact lumping of quantitative models in the biomodels repository
Theoretical Computer Science | 2021-11-01 | Paper |
Syntactic Markovian bisimulation for chemical reaction networks
Lecture Notes in Computer Science | 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
Theoretical Computer Science | 2019-06-18 | Paper |
Comparing chemical reaction networks: a categorical and algorithmic perspective
Theoretical Computer Science | 2019-06-18 | Paper |
Comparing Chemical Reaction Networks
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Forward and backward bisimulations for chemical reaction networks
(available as arXiv preprint) | 2017-09-12 | Paper |
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
Annals of Operations Research | 2017-08-25 | Paper |
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Symbolic computation of differential equivalences
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
Quantitative abstractions for collective adaptive systems
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems | 2016-10-04 | Paper |
Differential bisimulation for a Markovian process algebra
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
A unified framework for differential aggregations in Markovian process algebra
Journal of Logical and Algebraic Methods in Programming | 2015-02-27 | Paper |
Exact fluid lumpability in Markovian process algebra
Theoretical Computer Science | 2014-06-06 | Paper |
Tackling continuous state-space explosion in a Markovian process algebra
Theoretical Computer Science | 2013-12-18 | Paper |
Exact fluid lumpability for Markovian process algebra
Lecture Notes in Computer Science | 2012-09-25 | Paper |
Stochastic process algebras
Formal Methods for Performance Evaluation | 2011-03-25 | Paper |
