Follow
Max Tschaikowski
Max Tschaikowski
Associate Professor, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
652015
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
632017
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
572017
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
552016
Exact fluid lumpability for Markovian process algebra
M Tschaikowski, M Tribastone
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
512012
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
402021
Approximate reduction of heterogenous nonlinear models with differential hulls
M Tschaikowski, M Tribastone
IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015
392015
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
382016
Noise reduction in complex biological switches
L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski
Scientific reports 6 (1), 20214, 2016
382016
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
372022
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
352015
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
322016
From electric circuits to chemical networks
L Cardelli, M Tribastone, M Tschaikowski
Natural Computing 19, 237-248, 2020
272020
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
262017
Tackling continuous state-space explosion in a Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 517, 1-33, 2014
252014
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
242015
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Theoretical Computer Science 777, 132-154, 2019
232019
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
222018
Exact fluid lumpability in Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 538, 140-166, 2014
222014
Closed-form continuous-depth models
R Hasani, M Lechner, A Amini, L Liebenwein, M Tschaikowski, G Teschl, ...
arXiv preprint arXiv:2106.13898, 2021
202021
The system can't perform the operation now. Try again later.
Articles 1–20