Edit Profile (opens in new tab) Tschaikowski, Max Co-Author Distance Author ID: tschaikowski.max Published as: Tschaikowski, Max; Tschaikowski, M. Documents Indexed: 34 Publications since 2012 Software Indexed: 1 Package referenced in 23 Documents Co-Authors: 20 Co-Authors with 33 Joint Publications 577 Co-Co-Authors all top 5 Co-Authors 1 single-authored 32 Tribastone, Mirco 22 Vandin, Andrea 13 Cardelli, Luca 4 Jiménez-Pastor, Antonio 4 Larsen, Kim Guldstrand 3 Argyris, Georgios 2 Grosu, Radu 2 Leguizamon-Robayo, Alexander 2 Lluch Lafuente, Alberto 2 Squillace, Giuseppe 2 Toller, Daniele 1 Bacci, Giorgio 1 Bacci, Giovanni 1 Bortolussi, Luca 1 Doncel, Josu 1 Gast, Nicolas 1 Kwiatkowska, Marta Z. 1 Laurenti, Luca 1 Tognazzi, Stefano 1 Whitby, Max all top 5 Serials 7 IEEE Transactions on Automatic Control 4 Theoretical Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 Annals of Operations Research 1 Natural Computing 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Fields 17 Computer science (68-XX) 15 Biology and other natural sciences (92-XX) 10 Systems theory; control (93-XX) 8 Ordinary differential equations (34-XX) 3 Probability theory and stochastic processes (60-XX) 3 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 26 Publications have been cited 181 times in 69 Documents Cited by ▼ Year ▼ Forward and backward bisimulations for chemical reaction networks. Zbl 1374.68204 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 25 2015 Symbolic computation of differential equivalences. Zbl 1347.68258 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 17 2016 Exact fluid lumpability for Markovian process algebra. Zbl 1364.68297 Tschaikowski, Max; Tribastone, Mirco 13 2012 Approximate reduction of heterogenous nonlinear models with differential hulls. Zbl 1359.93084 Tschaikowski, Max; Tribastone, Mirco 12 2016 Syntactic Markovian bisimulation for chemical reaction networks. Zbl 1431.68072 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 11 2017 Exact fluid lumpability in Markovian process algebra. Zbl 1359.68228 Tschaikowski, Max; Tribastone, Mirco 10 2014 Symbolic computation of differential equivalences. Zbl 1425.68463 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 10 2019 Tackling continuous state-space explosion in a Markovian process algebra. Zbl 1358.68219 Tschaikowski, Max; Tribastone, Mirco 10 2014 Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1392.68188 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 9 2016 Efficient syntax-driven lumping of differential equations. Zbl 1420.68241 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 9 2016 Guaranteed error bounds on approximate model abstractions through reachability analysis. Zbl 1569.65153 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 9 2018 PID control of biochemical reaction networks. Zbl 1537.92049 Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max 8 2022 From electric circuits to chemical networks. Zbl 1530.68081 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max 8 2020 A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151 Tschaikowski, Max; Tribastone, Mirco 7 2015 Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1423.68165 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 4 2019 Efficient local computation of differential bisimulations via coupling and up-to methods. Zbl 07957027 Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 3 2021 Approximate constrained lumping of polynomial differential equations. Zbl 1533.92080 Leguizamon-Robayo, Alexander; Jiménez-Pastor, Antonio; Tribastone, Micro; Tschaikowski, Max; Vandin, Andrea 2 2023 Lumpability for uncertain continuous-time Markov chains. Zbl 1492.60219 Cardelli, Luca; Grosu, Radu; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 Formal lumping of polynomial differential equations through approximate equivalences. Zbl 1572.34046 Cardelli, Luca; Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2023 Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058 Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 Forward and backward constrained bisimulations for quantum circuits. Zbl 07931437 Jiménez-Pastor, A.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M. 2 2024 Extended differential aggregations in process algebra for performance and biology. Zbl 1560.68093 Tschaikowski, Max; Tribastone, Mirco 2 2014 A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Zbl 1369.90053 Tschaikowski, Max; Tribastone, Mirco 1 2017 Differential equivalence for linear differential algebraic equations. Zbl 1537.93336 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 1 2022 An algorithm for the formal reduction of differential equations as over-approximations. Zbl 1522.93048 Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 1 2022 Algorithmic minimization of uncertain continuous-time Markov chains. Zbl 1546.90260 Cardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 1 2023 Forward and backward constrained bisimulations for quantum circuits. Zbl 07931437 Jiménez-Pastor, A.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M. 2 2024 Approximate constrained lumping of polynomial differential equations. Zbl 1533.92080 Leguizamon-Robayo, Alexander; Jiménez-Pastor, Antonio; Tribastone, Micro; Tschaikowski, Max; Vandin, Andrea 2 2023 Formal lumping of polynomial differential equations through approximate equivalences. Zbl 1572.34046 Cardelli, Luca; Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2023 Algorithmic minimization of uncertain continuous-time Markov chains. Zbl 1546.90260 Cardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 1 2023 PID control of biochemical reaction networks. Zbl 1537.92049 Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max 8 2022 Differential equivalence for linear differential algebraic equations. Zbl 1537.93336 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 1 2022 An algorithm for the formal reduction of differential equations as over-approximations. Zbl 1522.93048 Squillace, Giuseppe; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 1 2022 Efficient local computation of differential bisimulations via coupling and up-to methods. Zbl 07957027 Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 3 2021 Lumpability for uncertain continuous-time Markov chains. Zbl 1492.60219 Cardelli, Luca; Grosu, Radu; Larsen, Kim G.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 Reducing Boolean networks with backward Boolean equivalence. Zbl 1491.92058 Argyris, Georgios; Lluch Lafuente, Alberto; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 2 2021 From electric circuits to chemical networks. Zbl 1530.68081 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max 8 2020 Symbolic computation of differential equivalences. Zbl 1425.68463 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 10 2019 Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1423.68165 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 4 2019 Guaranteed error bounds on approximate model abstractions through reachability analysis. Zbl 1569.65153 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 9 2018 Syntactic Markovian bisimulation for chemical reaction networks. Zbl 1431.68072 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 11 2017 A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Zbl 1369.90053 Tschaikowski, Max; Tribastone, Mirco 1 2017 Symbolic computation of differential equivalences. Zbl 1347.68258 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 17 2016 Approximate reduction of heterogenous nonlinear models with differential hulls. Zbl 1359.93084 Tschaikowski, Max; Tribastone, Mirco 12 2016 Comparing chemical reaction networks: a categorical and algorithmic perspective. Zbl 1392.68188 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 9 2016 Efficient syntax-driven lumping of differential equations. Zbl 1420.68241 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 9 2016 Forward and backward bisimulations for chemical reaction networks. Zbl 1374.68204 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 25 2015 A unified framework for differential aggregations in Markovian process algebra. Zbl 1319.68151 Tschaikowski, Max; Tribastone, Mirco 7 2015 Exact fluid lumpability in Markovian process algebra. Zbl 1359.68228 Tschaikowski, Max; Tribastone, Mirco 10 2014 Tackling continuous state-space explosion in a Markovian process algebra. Zbl 1358.68219 Tschaikowski, Max; Tribastone, Mirco 10 2014 Extended differential aggregations in process algebra for performance and biology. Zbl 1560.68093 Tschaikowski, Max; Tribastone, Mirco 2 2014 Exact fluid lumpability for Markovian process algebra. Zbl 1364.68297 Tschaikowski, Max; Tribastone, Mirco 13 2012 all cited Publications top 5 cited Publications all top 5 Cited by 104 Authors 22 Tribastone, Mirco 20 Tschaikowski, Max 18 Vandin, Andrea 7 Cardelli, Luca 4 Jiménez-Pastor, Antonio 3 Boreale, Michele 3 Bortolussi, Luca 3 Brodo, Linda 3 Bruni, Roberto 3 Buchholz, Peter 3 Fages, François 3 Falaschi, Moreno 3 Hemery, Mathieu 3 Larsen, Kim Guldstrand 3 Tarasyuk, Igor’ Valer’evich 2 Argyris, Georgios 2 Badings, Thom S. 2 Gast, Nicolas 2 Jansen, Nils 2 Johnson, Robert F. 2 Junges, Sebastian 2 Laarman, Alfons W. 2 Leguizamon-Robayo, Alexander 2 Lluch Lafuente, Alberto 2 Mei, Jingyi 2 Montoyo, Andrés 2 Nescolarde-Selva, Josué-Antonio 2 Petrov, Tatjana 2 Pogudin, Gleb A. 2 Squillace, Giuseppe 2 Stoelinga, Mariëlle 2 Turab, Ali 2 Volk, Matthias 2 Winfree, Erik 1 Aldini, Alessandro 1 Amir-Mohammadian, Sepehr 1 Anderson, Rachel 1 Avila, Alberto 1 Bacci, Giorgio 1 Bacci, Giovanni 1 Balle, Borja 1 Bause, Falko 1 Behr, Nicolas 1 Bernardo, Marco 1 Bonchi, Filippo 1 Bonsangue, Marcello Maria 1 Bychkov, Boris Sergeevich 1 Che, Ada 1 Coopmans, Tim 1 Danos, Vincent 1 Demitraki, Elizaveta 1 Doncel, Josu 1 Dong, Qing 1 Fu, Bin 1 Garnier, Ilias 1 Ghosh, Krishnendu 1 Gomez, Timothy 1 Gratie, Cristian 1 Grizzell, Elise 1 Großmann, Gerrit 1 Grosu, Radu 1 Hellwig, Jonathan 1 Iacobelli, Giulio 1 Jacob, Joshua Paul 1 Kazakov, Anton Aleksandrovich 1 Kirsal, Yonal 1 König, Barbara 1 Kyriakopoulos, Charalampos 1 Lacroce, Clara 1 Lv, Hui 1 Marin, Andrea 1 Martens, Jan 1 Massie, Aiden 1 Mezzina, Claudio Antares 1 Mohagheghi, Mohammadsadegh 1 Mukhopadhyay, Gourab 1 Noroozi, Ali A. 1 Panangaden, Prakash 1 Peng, Chen 1 Pérez-Verona, Isabel Cristina 1 Petre, Ion 1 Petrisan, Daniela Luan 1 Piazza, Carla 1 Platzer, André 1 Rabusseau, Guillaume 1 Repin, Denis 1 Rossi, Sabina 1 Salehi, Khayyam 1 Salinas, Adrian 1 Schweller, Robert T. 1 Shi, Jiasheng 1 Susits, M. 1 Talalaev, Dmitry V. 1 Tan, Zhizhong 1 Telek, Miklós 1 Tognazzi, Stefano 1 Tomai, Evan 1 Wolf, Verena 1 Wu, Bei 1 Wu, Jiancun ...and 4 more Authors all top 5 Cited in 18 Serials 11 Theoretical Computer Science 3 Logical Methods in Computer Science 2 Information and Computation 2 Mathematical Structures in Computer Science 2 Journal of Applied Mathematics and Computing 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 Russian Mathematical Surveys 1 Applied Mathematics and Computation 1 Computing 1 Naval Research Logistics 1 International Journal of Robust and Nonlinear Control 1 Journal of Mathematical Chemistry 1 Chaos 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Statistical Mechanics: Theory and Experiment 1 Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences all top 5 Cited in 24 Fields 42 Computer science (68-XX) 23 Biology and other natural sciences (92-XX) 13 Ordinary differential equations (34-XX) 13 Probability theory and stochastic processes (60-XX) 9 Systems theory; control (93-XX) 4 Numerical analysis (65-XX) 3 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Commutative algebra (13-XX) 2 Category theory; homological algebra (18-XX) 2 Operator theory (47-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Combinatorics (05-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Real functions (26-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Approximations and expansions (41-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year