| Publication | Date of Publication | Type |
|---|
Proper lumping for positive bilinear control systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL
ACM Transactions on Modeling and Computer Simulation | 2024-09-08 | 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 |
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 |
Automated and distributed statistical analysis of economic agent-based models
Journal of Economic Dynamics and Control | 2022-11-17 | 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 |
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 |
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 white box perspective on behavioural adaptation
Software, Services, and Systems | 2015-06-22 | Paper |
Adaptable transition systems
Recent Trends in Algebraic Development Techniques | 2013-09-13 | Paper |
Exploiting over- and under-approximations for infinite-state counterpart models
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Counterpart semantics for a second-order \(\mu\)-calculus
Fundamenta Informaticae | 2012-07-11 | Paper |
Counterpart semantics for a second-order \(\mu \)-calculus
Lecture Notes in Computer Science | 2010-10-04 | Paper |
| Replication Package tied with the paper "Stochastic Conformance Checking based on Variable-length Markov Chains" | N/A | Dataset |
