Forward and backward bisimulations for chemical reaction networks L Cardelli, M Tribastone, M Tschaikowski, A Vandin arXiv preprint arXiv:1507.00163, 2015 | 66 | 2015 |
ERODE: a tool for the evaluation and reduction of ordinary differential equations L Cardelli, M Tribastone, M Tschaikowski, A Vandin Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 64 | 2017 |
Maximal aggregation of polynomial dynamical systems L Cardelli, M Tribastone, M Tschaikowski, A Vandin Proceedings of the National Academy of Sciences 114 (38), 10029-10034, 2017 | 58 | 2017 |
Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin ACM SIGPLAN Notices 51 (1), 137-150, 2016 | 56 | 2016 |
Exact fluid lumpability for Markovian process algebra M Tschaikowski, M Tribastone CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012 | 52 | 2012 |
Closed-form continuous-time neural networks R Hasani, M Lechner, A Amini, L Liebenwein, A Ray, M Tschaikowski, ... Nature Machine Intelligence 4 (11), 992-1003, 2022 | 42 | 2022 |
PID control of biochemical reaction networks M Whitby, L Cardelli, M Kwiatkowska, L Laurenti, M Tribastone, ... IEEE Transactions on Automatic Control 67 (2), 1023-1030, 2021 | 41 | 2021 |
Approximate reduction of heterogenous nonlinear models with differential hulls M Tschaikowski, M Tribastone IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015 | 40 | 2015 |
Efficient syntax-driven lumping of differential equations L Cardelli, M Tribastone, M Tschaikowski, A Vandin International Conference on Tools and Algorithms for the Construction and …, 2016 | 39 | 2016 |
Noise reduction in complex biological switches L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski Scientific reports 6 (1), 20214, 2016 | 38 | 2016 |
Scaling size and parameter spaces in variability-aware software performance models (t) M Kowal, M Tschaikowski, M Tribastone, I Schaefer 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 35 | 2015 |
Comparing chemical reaction networks: A categorical and algorithmic perspective L Cardelli, M Tribastone, M Tschaikowski, A Vandin Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 32 | 2016 |
From electric circuits to chemical networks L Cardelli, M Tribastone, M Tschaikowski Natural Computing 19, 237-248, 2020 | 28 | 2020 |
Syntactic Markovian bisimulation for chemical reaction networks L Cardelli, M Tribastone, M Tschaikowski, A Vandin Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017 | 27 | 2017 |
Tackling continuous state-space explosion in a Markovian process algebra M Tschaikowski, M Tribastone Theoretical Computer Science 517, 1-33, 2014 | 27 | 2014 |
A unified framework for differential aggregations in Markovian process algebra M Tschaikowski, M Tribastone Journal of Logical and Algebraic Methods in Programming 84 (2), 238-258, 2015 | 25 | 2015 |
Symbolic computation of differential equivalences L Cardelli, M Tribastone, M Tschaikowski, A Vandin Theoretical Computer Science 777, 132-154, 2019 | 24 | 2019 |
Guaranteed error bounds on approximate model abstractions through reachability analysis L Cardelli, M Tribastone, M Tschaikowski, A Vandin Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 23 | 2018 |
Exact fluid lumpability in Markovian process algebra M Tschaikowski, M Tribastone Theoretical Computer Science 538, 140-166, 2014 | 22 | 2014 |
Closed-form continuous-depth models R Hasani, M Lechner, A Amini, L Liebenwein, M Tschaikowski, G Teschl, ... arXiv preprint arXiv:2106.13898, 2021 | 20 | 2021 |