Generalised Communication for Interacting Agents. - Max Tschaikowski; Mirco Tribastone (QEST, 2012)

Insensitivity to service-time distributions for fluid queueing models. - Max Tschaikowski; Mirco Tribastone (VALUETOOLS, 2013)

A Partial-differential Approximation for Spatial Stochastic Process Algebra. - Max Tschaikowski; Mirco Tribastone (VALUETOOLS, 2014)

Extended Differential Aggregations in Process Algebra for Performance and Biology. - Max Tschaikowski; Mirco Tribastone (QAPL, 2014)

Tackling continuous state-space explosion in a Markovian process algebra. - Max Tschaikowski; Mirco Tribastone (Theor. Comput. Sci., 2014)

Exact fluid lumpability in Markovian process algebra. - Max Tschaikowski; Mirco Tribastone (Theor. Comput. Sci., 2014)

Forward and Backward Bisimulations for Chemical Reaction Networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CONCUR, 2015)

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). - Matthias Kowal; Max Tschaikowski; Mirco Tribastone; Ina Schaefer (ASE, 2015)

A unified framework for differential aggregations in Markovian process algebra. - Max Tschaikowski; Mirco Tribastone (J. Log. Algebraic Methods Program., 2015)

Supporting Performance Awareness in Autonomous Ensembles. - Lubomír Bulej; Tomás Bures; Ilias Gerostathopoulos; Vojtech Horký; Jaroslav Keznikl; Lukás Marek; Max Tschaikowski; Mirco Tribastone; Petr Tuma 001 (The ASCENS Approach, 2015)

Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. - Luca Bortolussi; Max Tschaikowski (ASMTA, 2016)

Scaling size and parameter spaces in variability-aware software performance models. - Matthias Kowal; Max Tschaikowski; Mirco Tribastone; Ina Schaefer (Software Engineering, 2016)

Efficient Syntax-Driven Lumping of Differential Equations. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (TACAS, 2016)

Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. - Max Tschaikowski; Mirco Tribastone (IEEE Trans. Autom. Control., 2016)

Syntactic Markovian Bisimulation for Chemical Reaction Networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Models, Algorithms, Logics and Tools, 2017)

EGAC: a genetic algorithm to compare chemical reaction networks. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (GECCO, 2017)

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (TACAS (2), 2017)

A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. - Max Tschaikowski; Mirco Tribastone (Ann. Oper. Res., 2017)

Spatial fluid limits for stochastic mobile networks. - Max Tschaikowski; Mirco Tribastone (Perform. Evaluation, 2017)

Maximal aggregation of polynomial dynamical systems. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Proc. Natl. Acad. Sci. USA, 2017)

Backward Invariance for Linear Differential Algebraic Equations. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CDC, 2018)

Differential Equivalence Yields Network Centrality. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ISoLA (3), 2018)

Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2018)

Under the Hood of a Stand-Alone Lagrangian Reachability Tool. - Sophie Gruenbacher; Jacek Cyranka; Md. Ariful Islam; Max Tschaikowski; Scott A. Smolka; Radu Grosu (ARCH@CPSIoTWeek, 2019)

Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. - Isabel Cristina Pérez-Verona; Mirco Tribastone; Max Tschaikowski (HSB, 2019)

UTOPIC: Under-Approximation Through Optimal Control. - Josu Doncel; Nicolas Gast; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2019)

Comparing chemical reaction networks: A categorical and algorithmic perspective. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Theor. Comput. Sci., 2019)

Symbolic computation of differential equivalences. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Theor. Comput. Sci., 2019)

From electric circuits to chemical networks. - Luca Cardelli; Mirco Tribastone; Max Tschaikowski (Nat. Comput., 2020)

Over-Approximation of Fluid Models. - Max Tschaikowski (IEEE Trans. Autom. Control., 2020)

Reducing Boolean Networks with Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2021)

Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2021)

Lumpability for Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2021)

Exact maximal reduction of stochastic reaction networks by species lumping. - Luca Cardelli; Isabel Cristina Pérez-Verona; Mirco Tribastone; Max Tschaikowski; Andrea Vandin; Tabea Waizmann (Bioinform., 2021)

Closed-form Continuous-Depth Models. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Lucas Liebenwein; Max Tschaikowski; Gerald Teschl; Daniela Rus (CoRR, 2021)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2022)

Efficient Estimation of Agent Networks. - Alexander Leguizamon-Robayo; Max Tschaikowski (ISoLA (3), 2022)

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST, 2022)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2022)

Differential Equivalence for Linear Differential Algebraic Equations. - Stefano Tognazzi; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2022)

PID Control of Biochemical Reaction Networks. - Max Whitby; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Mirco Tribastone; Max Tschaikowski (IEEE Trans. Autom. Control., 2022)

Closed-form continuous-time neural networks. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Lucas Liebenwein; Aaron Ray; Max Tschaikowski; Gerald Teschl; Daniela Rus (Nat. Mac. Intell., 2022)

Publisher Correction: Closed-form continuous-time neural networks. - Ramin M. Hasani; Mathias Lechner; Alexander Amini; Lucas Liebenwein; Aaron Ray; Max Tschaikowski; Gerald Teschl; Daniela Rus (Nat. Mac. Intell., 2022)

Approximate Constrained Lumping of Polynomial Differential Equations. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CMSB, 2023)

Minimization of Dynamical Systems over Monoids. - Georgios Argyris; Alberto Lluch-Lafuente; Alexander Leguizamon-Robayo; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (LICS, 2023)

Efficient Simulation of Quantum Circuits by Model Order Reduction. - Antonio Jiménez-Pastor; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski (CoRR, 2023)

Formal lumping of polynomial differential equations through approximate equivalences. - Luca Cardelli; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (J. Log. Algebraic Methods Program., 2023)

Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. - Luca Cardelli; Radu Grosu; Kim Guldstrand Larsen; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2023)

Reducing Boolean networks with backward equivalence. - Georgios Argyris; Alberto Lluch-Lafuente; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (BMC Bioinform., 2023)

Approximate Reductions of Rational Dynamical Systems in CLUE. - Antonio Jiménez-Pastor; Alexander Leguizamon-Robayo; Max Tschaikowski; Andrea Vandin (CMSB, 2024)

Efficient Network Embedding by Approximate Equitable Partitions. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ICDM, 2024)

White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. - Roberto Casaluce; Max Tschaikowski; Andrea Vandin (ISoLA (1), 2024)

Optimality-Preserving Reduction of Chemical Reaction Networks. - Kim G. Larsen; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (ISoLA (2), 2024)

Dissimilarity for Linear Dynamical Systems. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (QEST+FORMATS, 2024)

Forward and Backward Constrained Bisimulations for Quantum Circuits. - Antonio Jiménez-Pastor; Kim G. Larsen; Mirco Tribastone; Max Tschaikowski (TACAS (2), 2024)

Approximate Constrained Lumping of Chemical Reaction Networks. - Alexander Leguizamon-Robayo; Antonio Jiménez-Pastor; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (CoRR, 2024)

Proper Lumping for Positive Bilinear Control Systems. - Antonio Jiménez-Pastor; Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2024)

Agent-based modeling in Economics by Process Algebra. - Max Tschaikowski (SIGSIM-PADS, 2025)

Coarse-Graining Complex Networks for Control Equivalence. - Daniele Toller; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (IEEE Trans. Autom. Control., 2025)

Approximate regular equivalence by partition refinement. - Giuseppe Squillace; Mirco Tribastone; Max Tschaikowski; Andrea Vandin (Appl. Netw. Sci., 2025)