Max Tschaikowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2025 | PADS | Agent-based modeling in Economics by Process Algebra. | Max Tschaikowski |
| 2024 | ICDM | Efficient Network Embedding by Approximate Equitable Partitions. | Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | ISoLA | White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. | Roberto Casaluce, Max Tschaikowski, Andrea Vandin |
| 2024 | ISoLA | Optimality-Preserving Reduction of Chemical Reaction Networks. | Kim G. Larsen, Daniele Toller, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2024 | TACAS | Forward and Backward Constrained Bisimulations for Quantum Circuits. | Antonio Jimnez-Pastor, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski |
| 2023 | LICS | Minimization of Dynamical Systems over Monoids. | Georgios Argyris, Alberto Lluch-Lafuente, Alexander Leguizamon-Robayo, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2022 | ISoLA | Efficient Estimation of Agent Networks. | Alexander Leguizamon-Robayo, Max Tschaikowski |
| 2021 | LICS | Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2018 | ISoLA | Differential Equivalence Yields Network Centrality. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2017 | GECCO | EGAC: a genetic algorithm to compare chemical reaction networks. | Stefano Tognazzi, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2017 | TACAS | ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | LICS | Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | POPL | Symbolic computation of differential equivalences. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | TACAS | Efficient Syntax-Driven Lumping of Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | CONCUR | Forward and Backward Bisimulations for Chemical Reaction Networks. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2012 | CONCUR | Exact Fluid Lumpability for Markovian Process Algebra. | Max Tschaikowski, Mirco Tribastone |