Max Tschaikowski

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 54

Top Topics

Differential Equations

Boolean Networks

Chemical Reaction

Top Venues

IEEE Trans. Autom. Control.

Theor. Comput. Sci.

Publications

Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) (2024)
Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Proper Lumping for Positive Bilinear Control Systems. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean networks with backward equivalence. BMC Bioinform. 24 (1) (2023)
Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Coarse-graining Complex Networks for Control Equivalence. CoRR (2023)
Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. 134 (2023)
Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. LICS (2023)
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Approximate Constrained Lumping of Polynomial Differential Equations. CMSB (2023)
Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. 68 (11) (2023)
Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Optimality-preserving Reduction of Chemical Reaction Networks. CoRR (2023)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB (2022)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Minimization of Dynamical Systems over Monoids. CoRR (2022)
Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus
Publisher Correction: Closed-form continuous-time neural networks. Nat. Mac. Intell. 4 (12) (2022)
Alexander Leguizamon-Robayo, Max Tschaikowski
Efficient Estimation of Agent Networks. ISoLA (3) (2022)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. 67 (7) (2022)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. 67 (2) (2022)
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST (2022)
Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus
Closed-form continuous-time neural networks. Nat. Mac. Intell. 4 (11) (2022)
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
Exact maximal reduction of stochastic reaction networks by species lumping. CoRR (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR (2021)
Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Lumpability for Uncertain Continuous-Time Markov Chains. QEST (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CoRR (2021)
Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Max Tschaikowski, Gerald Teschl, Daniela Rus
Closed-form Continuous-Depth Models. CoRR (2021)
Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. 37 (15) (2021)
Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Reducing Boolean Networks with Backward Boolean Equivalence. CMSB (2021)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski
From electric circuits to chemical networks. Nat. Comput. 19 (1) (2020)
Max Tschaikowski
Over-Approximation of Fluid Models. IEEE Trans. Autom. Control. 65 (3) (2020)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CoRR (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Symbolic computation of differential equivalences. Theor. Comput. Sci. 777 (2019)
Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. HSB (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. 765 (2019)
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek (2019)
Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
UTOPIC: Under-Approximation Through Optimal Control. QEST (2019)
Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
PID Control of Biochemical Reaction Networks. CDC (2019)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST (2018)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski
From Electric Circuits to Chemical Networks. CoRR (2018)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR (2018)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Backward Invariance for Linear Differential Algebraic Equations. CDC (2018)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Differential Equivalence Yields Network Centrality. ISoLA (3) (2018)
Max Tschaikowski
Over-Approximation of Fluid Models. CoRR (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools (2017)
Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
EGAC: a genetic algorithm to compare chemical reaction networks. GECCO (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR (2017)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA 114 (38) (2017)
Max Tschaikowski, Mirco Tribastone
Spatial fluid limits for stochastic mobile networks. Perform. Evaluation 109 (2017)
Max Tschaikowski, Mirco Tribastone
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Ann. Oper. Res. 252 (1) (2017)
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering (2016)
Luca Bortolussi, Max Tschaikowski
Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Efficient Syntax-Driven Lumping of Differential Equations. TACAS (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Symbolic computation of differential equivalences. POPL (2016)
Max Tschaikowski, Mirco Tribastone
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. IEEE Trans. Autom. Control. 61 (4) (2016)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS (2016)
Max Tschaikowski, Mirco Tribastone
A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. 84 (2) (2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR (2015)
Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE (2015)
Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR (2015)
Max Tschaikowski, Mirco Tribastone
Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. 517 (2014)
Max Tschaikowski, Mirco Tribastone
Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL (2014)
Max Tschaikowski, Mirco Tribastone
A Partial-differential Approximation for Spatial Stochastic Process Algebra. VALUETOOLS (2014)
Max Tschaikowski, Mirco Tribastone
Exact fluid lumpability in Markovian process algebra. Theor. Comput. Sci. 538 (2014)
Max Tschaikowski, Mirco Tribastone
Spatial Fluid Limits for Stochastic Mobile Networks. CoRR (2013)
Max Tschaikowski, Mirco Tribastone
Insensitivity to service-time distributions for fluid queueing models. VALUETOOLS (2013)
Max Tschaikowski, Mirco Tribastone
Generalised Communication for Interacting Agents. QEST (2012)
Max Tschaikowski, Mirco Tribastone
Exact Fluid Lumpability for Markovian Process Algebra. CONCUR (2012)