Follow
Max Tschaikowski
Max Tschaikowski
Associate Professor, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
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
842022
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
712017
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
26th International Conference on Concurrency Theory, CONCUR 2015 42, 226-239, 2015
682015
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
672017
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
612016
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
572021
Exact fluid lumpability for Markovian process algebra
M Tschaikowski, M Tribastone
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
542012
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
422016
Approximate reduction of heterogenous nonlinear models with differential hulls
M Tschaikowski, M Tribastone
IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015
412015
Noise reduction in complex biological switches
L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski
Scientific reports 6 (1), 20214, 2016
402016
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
382016
From electric circuits to chemical networks
L Cardelli, M Tribastone, M Tschaikowski
Natural Computing 19, 237-248, 2020
362020
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
Tackling continuous state-space explosion in a Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 517, 1-33, 2014
332014
Spatial fluid limits for stochastic mobile networks
M Tschaikowski, M Tribastone
Performance Evaluation 109, 52-76, 2017
322017
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
312017
Closed-form continuous-depth models
R Hasani, M Lechner, A Amini, L Liebenwein, M Tschaikowski, G Teschl, ...
arXiv preprint arXiv:2106.13898, 2021
272021
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
272015
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Theoretical Computer Science 777, 132-154, 2019
262019
Exact fluid lumpability in Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 538, 140-166, 2014
262014
The system can't perform the operation now. Try again later.
Articles 1–20