Segui
Max Tschaikowski
Max Tschaikowski
Associate Professor, Aalborg University
Email verificata su cs.aau.dk - Home page
Titolo
Citata da
Citata da
Anno
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
642015
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
552017
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
542016
Exact fluid lumpability for Markovian process algebra
M Tschaikowski, M Tribastone
CONCUR 2012–Concurrency Theory: 23rd International Conference, CONCUR 2012 …, 2012
512012
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
392016
Approximate reduction of heterogenous nonlinear models with differential hulls
M Tschaikowski, M Tribastone
IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015
392015
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
382021
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
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
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
332022
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
312016
From electric circuits to chemical networks
L Cardelli, M Tribastone, M Tschaikowski
Natural Computing 19, 237-248, 2020
252020
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
252017
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
Closed-form continuous-depth models
R Hasani, M Lechner, A Amini, L Liebenwein, M Tschaikowski, G Teschl, ...
arXiv preprint arXiv:2106.13898, 2021
222021
Exact fluid lumpability in Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 538, 140-166, 2014
222014
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
202018
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20