Max Tschaikowski

80 papers A* 6A 2B 3C 1Journal 41Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Agent-based modeling in Economics by Process Algebra. SIGSIM-PADS Max Tschaikowski
2025	J	`jnl`	Approximate regular equivalence by partition refinement. Appl. Netw. Sci. Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	J	`jnl`	Coarse-Graining Complex Networks for Control Equivalence. IEEE Trans. Autom. Control. Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	B	`conf`	Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. ATVA Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2025	J	`jnl`	Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams. ACM Trans. Quantum Comput. Lukas Burgholzer, Antonio Jiménez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Robert Wille
2024	J	`jnl`	Approximate Constrained Lumping of Chemical Reaction Networks. CoRR Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Approximate Reductions of Rational Dynamical Systems in CLUE. CMSB Antonio Jiménez-Pastor, Alexander Leguizamon-Robayo, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Dissimilarity for Linear Dynamical Systems. QEST+FORMATS Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	A*	`conf`	Efficient Network Embedding by Approximate Equitable Partitions. ICDM Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Efficient Network Embedding by Approximate Equitable Partitions. CoRR Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	Forward and Backward Constrained Bisimulations for Quantum Circuits. TACAS (2) Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
2024	—	`conf`	Optimality-Preserving Reduction of Chemical Reaction Networks. ISoLA (2) Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	J	`jnl`	Proper Lumping for Positive Bilinear Control Systems. IEEE Trans. Autom. Control. Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2024	—	`conf`	White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. ISoLA (1) Roberto Casaluce, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Trans. Autom. Control. Luca Cardelli, Radu Grosu, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	—	`conf`	Approximate Constrained Lumping of Polynomial Differential Equations. CMSB Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Coarse-graining Complex Networks for Control Equivalence. CoRR Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Efficient Simulation of Quantum Circuits by Model Order Reduction. CoRR Antonio Jiménez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski
2023	J	`jnl`	Formal lumping of polynomial differential equations through approximate equivalences. J. Log. Algebraic Methods Program. Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	A*	`conf`	Minimization of Dynamical Systems over Monoids. LICS Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Optimality-preserving Reduction of Chemical Reaction Networks. CoRR Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Proper Lumping for Positive Bilinear Control Systems. CoRR Antonio Jiménez-Pastor, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2023	J	`jnl`	Reducing Boolean networks with backward equivalence. BMC Bioinform. Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations. QEST Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	Closed-form continuous-time neural networks. Nat. Mac. Intell. Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus
2022	J	`jnl`	Differential Equivalence for Linear Differential Algebraic Equations. IEEE Trans. Autom. Control. Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	—	`conf`	Efficient Estimation of Agent Networks. ISoLA (3) Alexander Leguizamon-Robayo, Max Tschaikowski
2022	J	`jnl`	Minimization of Dynamical Systems over Monoids. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2022	J	`jnl`	PID Control of Biochemical Reaction Networks. IEEE Trans. Autom. Control. Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2022	J	`jnl`	Publisher Correction: Closed-form continuous-time neural networks. Nat. Mac. Intell. Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, Daniela Rus
2021	J	`jnl`	Closed-form Continuous-Depth Models. CoRR Ramin M. Hasani, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Max Tschaikowski, Gerald Teschl, Daniela Rus
2021	A*	`conf`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. LICS Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. CoRR Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. Bioinform. Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	J	`jnl`	Exact maximal reduction of stochastic reaction networks by species lumping. CoRR Luca Cardelli, Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski, Andrea Vandin, Tabea Waizmann
2021	—	`conf`	Lumpability for Uncertain Continuous-Time Markov Chains. QEST Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	—	`conf`	Reducing Boolean Networks with Backward Boolean Equivalence. CMSB Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2021	J	`jnl`	Reducing Boolean Networks with Backward Boolean Equivalence. CoRR Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2020	J	`jnl`	From electric circuits to chemical networks. Nat. Comput. Luca Cardelli, Mirco Tribastone, Max Tschaikowski
2020	J	`jnl`	Over-Approximation of Fluid Models. IEEE Trans. Autom. Control. Max Tschaikowski
2019	J	`jnl`	Comparing chemical reaction networks: A categorical and algorithmic perspective. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	—	`conf`	Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks. HSB Isabel Cristina Pérez-Verona, Mirco Tribastone, Max Tschaikowski
2019	—	`conf`	PID Control of Biochemical Reaction Networks. CDC Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	J	`jnl`	PID Control of Biochemical Reaction Networks. CoRR Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski
2019	J	`jnl`	Symbolic computation of differential equivalences. Theor. Comput. Sci. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	—	`conf`	UTOPIC: Under-Approximation Through Optimal Control. QEST Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019	—	`conf`	Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
2018	—	`conf`	Backward Invariance for Linear Differential Algebraic Equations. CDC Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	—	`conf`	Differential Equivalence Yields Network Centrality. ISoLA (3) Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	From Electric Circuits to Chemical Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski
2018	—	`conf`	Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. QEST Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2018	J	`jnl`	Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Ann. Oper. Res. Max Tschaikowski, Mirco Tribastone
2017	A	`conf`	EGAC: a genetic algorithm to compare chemical reaction networks. GECCO Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	—	`conf`	ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. TACAS (2) Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Maximal aggregation of polynomial dynamical systems. Proc. Natl. Acad. Sci. USA Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Over-Approximation of Fluid Models. CoRR Max Tschaikowski
2017	J	`jnl`	Spatial fluid limits for stochastic mobile networks. Perform. Evaluation Max Tschaikowski, Mirco Tribastone
2017	—	`conf`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. Models, Algorithms, Logics and Tools Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2017	J	`jnl`	Syntactic Markovian Bisimulation for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	J	`jnl`	Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls. IEEE Trans. Autom. Control. Max Tschaikowski, Mirco Tribastone
2016	A*	`conf`	Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. LICS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	A	`conf`	Efficient Syntax-Driven Lumping of Differential Equations. TACAS Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016	—	`conf`	Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. ASMTA Luca Bortolussi, Max Tschaikowski
2016	C	`conf`	Scaling size and parameter spaces in variability-aware software performance models. Software Engineering Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2016	A*	`conf`	Symbolic computation of differential equivalences. POPL Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	A unified framework for differential aggregations in Markovian process algebra. J. Log. Algebraic Methods Program. Max Tschaikowski, Mirco Tribastone
2015	B	`conf`	Forward and Backward Bisimulations for Chemical Reaction Networks. CONCUR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	J	`jnl`	Forward and Backward Bisimulations for Chemical Reaction Networks. CoRR Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2015	A*	`conf`	Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer
2015	—	`ch.`	Supporting Performance Awareness in Autonomous Ensembles. The ASCENS Approach Lubomír Bulej, Tomás Bures, Ilias Gerostathopoulos, Vojtech Horký, Jaroslav Keznikl, Lukás Marek, Max Tschaikowski, Mirco Tribastone, Petr Tuma
2014	—	`conf`	A Partial-differential Approximation for Spatial Stochastic Process Algebra. VALUETOOLS Max Tschaikowski, Mirco Tribastone
2014	J	`jnl`	Exact fluid lumpability in Markovian process algebra. Theor. Comput. Sci. Max Tschaikowski, Mirco Tribastone
2014	—	`conf`	Extended Differential Aggregations in Process Algebra for Performance and Biology. QAPL Max Tschaikowski, Mirco Tribastone
2014	J	`jnl`	Tackling continuous state-space explosion in a Markovian process algebra. Theor. Comput. Sci. Max Tschaikowski, Mirco Tribastone
2013	—	`conf`	Insensitivity to service-time distributions for fluid queueing models. VALUETOOLS Max Tschaikowski, Mirco Tribastone
2013	J	`jnl`	Spatial Fluid Limits for Stochastic Mobile Networks. CoRR Max Tschaikowski, Mirco Tribastone
2012	B	`conf`	Exact Fluid Lumpability for Markovian Process Algebra. CONCUR Max Tschaikowski, Mirco Tribastone
2012	—	`conf`	Generalised Communication for Interacting Agents. QEST Max Tschaikowski, Mirco Tribastone