| 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 |
Approximate constrained lumping of polynomial differential equations
Computational Methods in Systems Biology | 2024-02-28 | 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 |
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 |
| 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 |
Over-Approximation of Fluid Models
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Syntactic Markovian bisimulation for chemical reaction networks
Lecture Notes in Computer Science | 2020-02-24 | 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 |
Fluid analysis of spatio-temporal properties of agents in a population model
Analytical and Stochastic Modelling Techniques and Applications | 2018-07-06 | 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 |
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 |
