TSCHAIKOWSKI, MAX
TSCHAIKOWSKI, MAX
DIPARTIMENTO DI INFORMATICA
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
2017 Tribastone, M; Tschaikowski, M
A partial-differential approximation for spatial stochastic process algebra
2014 Tribastone, M; Tschaikowski, M
A unified framework for differential aggregations in Markovian process algebra
2015 Tribastone, M; Tschaikowski, M
Agent-based modeling in Economics by Process Algebra
2025 Tschaikowski, M.
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
2023 Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M; Vandin, A.
An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations
2022 Squillace, G.; Tribastone, M.; Tschaikowski, M; Vandin, A.
An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence
2022 Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M; Vandin, A.
Approximate Constrained Lumping of Polynomial Differential Equations
2023 Leguizamon-Robayo, A.; Jimenez-Pastor, A.; Tribastone, M.; Tschaikowski, M; Vandin, A.
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
2016 Tribastone, M; Tschaikowski, M
Backward Invariance for Linear Differential Algebraic Equations
2018 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
Closed-form continuous-time neural networks
2022 Hasani, Ramin; Lechner, Mathias; Amini, Alexander; Liebenwein, Lucas; Ray, Aaron; Tschaikowski, M; Teschl, Gerald; Rus, Daniela
Comparing chemical reaction networks
2019 Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A
Comparing chemical reaction networks: A categorical and algorithmic perspective
2016 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Differential Equivalence for Linear Differential Algebraic Equations
2021 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, M; Vandin, Andrea
Differential Equivalence Yields Network Centrality
2018 Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Dissimilarity for Linear Dynamical Systems
2024 Bacci, Giorgio; Bacci, Giovanni; Guldstrand Larsen, Kim; Tribastone, Mirco; Squillace, Giuseppe; Tschaikowski, Max; Vandin, Andrea
Efficient estimation of agent networks
2022 Leguizamon-Robayo, A; Tschaikowski, M
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
2021 Bacci, Giorgio; Bacci, Giovanni; Larsen Kim, G.; Tribastone, Mirco; Tschaikowski, M; Vandin, Andrea
Efficient Network Embedding by Approximate Equitable Partitions
2024 Squillace, Giuseppe.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
Efficient syntax-Driven lumping of differential equations
2016 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment | 2017 | Tribastone, M; Tschaikowski, M | |
| A partial-differential approximation for spatial stochastic process algebra | 2014 | Tribastone, M; Tschaikowski, M | |
| A unified framework for differential aggregations in Markovian process algebra | 2015 | Tribastone, M; Tschaikowski, M | |
| Agent-based modeling in Economics by Process Algebra | 2025 | Tschaikowski, M. | |
| Algorithmic Minimization of Uncertain Continuous-Time Markov Chains | 2023 | Cardelli, L.; Grosu, R.; Larsen, K. G.; Tribastone, M.; Tschaikowski, M; Vandin, A. | |
| An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations | 2022 | Squillace, G.; Tribastone, M.; Tschaikowski, M; Vandin, A. | |
| An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence | 2022 | Argyris, G.; Lafuente, A. L.; Tribastone, M.; Tschaikowski, M; Vandin, A. | |
| Approximate Constrained Lumping of Polynomial Differential Equations | 2023 | Leguizamon-Robayo, A.; Jimenez-Pastor, A.; Tribastone, M.; Tschaikowski, M; Vandin, A. | |
| Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls | 2016 | Tribastone, M; Tschaikowski, M | |
| Backward Invariance for Linear Differential Algebraic Equations | 2018 | Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Closed-form continuous-time neural networks | 2022 | Hasani, Ramin; Lechner, Mathias; Amini, Alexander; Liebenwein, Lucas; Ray, Aaron; Tschaikowski, M; Teschl, Gerald; Rus, Daniela | |
| Comparing chemical reaction networks | 2019 | Cardelli, L; Tribastone, M; Tschaikowski, M; Vandin, A | |
| Comparing chemical reaction networks: A categorical and algorithmic perspective | 2016 | Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M | |
| Differential Equivalence for Linear Differential Algebraic Equations | 2021 | Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, M; Vandin, Andrea | |
| Differential Equivalence Yields Network Centrality | 2018 | Tognazzi, Stefano; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
| Dissimilarity for Linear Dynamical Systems | 2024 | Bacci, Giorgio; Bacci, Giovanni; Guldstrand Larsen, Kim; Tribastone, Mirco; Squillace, Giuseppe; Tschaikowski, Max; Vandin, Andrea | |
| Efficient estimation of agent networks | 2022 | Leguizamon-Robayo, A; Tschaikowski, M | |
| Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods | 2021 | Bacci, Giorgio; Bacci, Giovanni; Larsen Kim, G.; Tribastone, Mirco; Tschaikowski, M; Vandin, Andrea | |
| Efficient Network Embedding by Approximate Equitable Partitions | 2024 | Squillace, Giuseppe.; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea | |
| Efficient syntax-Driven lumping of differential equations | 2016 | Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M |