A selected list of publications is provided below. For the full list, please refer to my DBLP page and my Google Scholar profile.
Selected Publications
- A. Jiménez-Pastor, K. G. Larsen, M. Tribastone, M. Tschaikowski. Forward and Backward Constrained Bisimulations for Quantum Circuits. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2024, to appear.
- G. Argyris, A. Lluch Lafuente, M. Tribastone, M. Tschaikowski, A. Vandin. Minimization of Dynamical Systems over Monoids. Logic in Computer Science (LICS). 1-14, 2023.
- L. Cardelli, R. Grosu, K. G. Larsen, M. Tribastone, M. Tschaikowski, A. Vandin. Algorithmic Minimization of Uncertain Continuous-Time Markov Chains. IEEE Transactions on Automatic Control, 2023.
- Closed-form continuous-time neural networks. R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Russ. Nature Machine Intelligence, 1-12, 2022
- Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. G. Bacci, G. Bacci, K. G. Larsen, M. Tribastone, M. Tschaikowski and A. Vandin. Logic in Computer Science (LICS), 1-14, 2021
- L. Cardelli, I. C. Perez-Verona, M. Tribastone, M. Tschaikowski, A.Vandin, T. Waizmann. Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics, 37 (15), 2175-2182, 2021
- M. Whitby, L. Cardelli, M. Kwiatkowska, L. Laurenti, M. Tribastone, M. Tschaikowski. PID Control of Biochemical Reaction Networks. IEEE Transactions on Automatic Control, 67(2): 1023-1030, 2021
- M. Tschaikowski: Over-Approximation of Fluid Models. IEEE Transactions on Automatic Control 65(3): 999-1013, 2020
- L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin. Maximal aggregation of polynomial dynamical systems. Proceedings of the National Academy of Sciences, 2017
- L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin. ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017
- L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin. Comparing chemical reaction networks: A categorical and algorithmic perspective. Logic in Computer Science (LICS), 2016
- L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin. Symbolic computation of differential equivalences. Principles of Programming Languages (POPL), 2016.
- L. Cardelli, A. Csikász-Nagy, N. Dalchau, M. Tribastone, M. Tschaikowski. Noise Reduction in Complex Biological Switches. Scientific reports, 2016