Max Tschaikowski
TitleCited byYear
Exact fluid lumpability for Markovian process algebra
M Tschaikowski, M Tribastone
International Conference on Concurrency Theory, 380-394, 2012
442012
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
382016
Forward and backward bisimulations for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
arXiv preprint arXiv:1507.00163, 2015
362015
Noise reduction in complex biological switches
L Cardelli, A Csikász-Nagy, N Dalchau, M Tribastone, M Tschaikowski
Scientific reports 6, 20214, 2016
302016
Approximate reduction of heterogenous nonlinear models with differential hulls
M Tschaikowski, M Tribastone
IEEE Transactions on Automatic Control 61 (4), 1099-1104, 2015
292015
ERODE: a tool for the evaluation and reduction of ordinary differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2017
272017
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
232016
Comparing chemical reaction networks: a categorical and algorithmic perspective
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Theoretical Computer Science 765, 47-66, 2019
222019
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
222015
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
202017
Tackling continuous state-space explosion in a Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 517, 1-33, 2014
202014
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
192015
Exact fluid lumpability in Markovian process algebra
M Tschaikowski, M Tribastone
Theoretical Computer Science 538, 140-166, 2014
182014
Syntactic Markovian bisimulation for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Models, Algorithms, Logics and Tools, 466-483, 2017
122017
Spatial fluid limits for stochastic mobile networks
M Tschaikowski, M Tribastone
Performance Evaluation 109, 52-76, 2017
92017
Guaranteed error bounds on approximate model abstractions through reachability analysis
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Quantitative Evaluation of SysTems, 104-121, 2018
82018
Extended differential aggregations in process algebra for performance and biology
M Tschaikowski, M Tribastone
arXiv preprint arXiv:1406.2067, 2014
82014
EGAC: a genetic algorithm to compare chemical reaction networks
S Tognazzi, M Tribastone, M Tschaikowski, A Vandin
Proceedings of the Genetic and Evolutionary Computation Conference, 833-840, 2017
72017
Supporting performance awareness in autonomous ensembles
L Bulej, T Bureš, I Gerostathopoulos, V Horký, J Keznikl, L Marek, ...
Software Engineering for Collective Autonomic Systems, 291-322, 2015
72015
A partial-differential approximation for spatial stochastic process algebra
M Tschaikowski, M Tribastone
Proceedings of the 8th International Conference on Performance Evaluation …, 2014
62014
The system can't perform the operation now. Try again later.
Articles 1–20