Browse by Author ID

Article

Tschaikowski, Max and Tribastone, Mirco A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment. Annals of Operations Research, 252 (1). pp. 102-120. ISSN 0254-5330 (2017)

Tschaikowski, Max and Tribastone, Mirco Approximate reduction of heterogenous nonlinear models with differential hulls. IEEE Transactions on Automatic Control, 61 (4). pp. 1099-1104. ISSN 0018-9286 (2016)

Cardelli, Luca and Csikász-Nagy, Attila and Dalchau, Neil and Tribastone, Mirco and Tschaikowski, Max Noise Reduction in Complex Biological Switches. Scientific Reports (20214). pp. 1-12. ISSN 2045-2322 (2016)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 2352-2216 (2015)

Tschaikowski, Max and Tribastone, Mirco A unified framework for differential aggregations in Markovian process algebra. Journal of Logical and Algebraic Methods in Programming, 84 (2). pp. 238-258. ISSN 23522208 (2015)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability in Markovian process algebra. Theoretical Computer Science, 538. 140 - 166. ISSN 0304-3975 (2014)

Tschaikowski, Max and Tribastone, Mirco Tackling continuous state-space explosion in a Markovian process algebra. Theoretical Computer Science, 517. 1 - 33. ISSN 0304-3975 (2014)

Book Section

Tognazzi, Stefano and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea EGAC: a genetic algorithm to compare chemical reaction networks. In: Proceedings of the Genetic and Evolutionary Computation Conference on - GECCO '17. ACM, pp. 833-840. ISBN 978-1-4503-4920-8 (2017)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science (10206). Springer, Berlin, pp. 310-328. ISBN 978-3-662-54580-5 (2017)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Efficient Syntax-Driven Lumping of Differential Equations. In: Tools and Algorithms for the Construction and Analysis of Systems. 22nd International Conference, TACAS 2016. Lecture Notes in Computer Science (9636). Springer, pp. 93-111. ISBN 978-3-662-49673-2 (2016)

Bortolussi, Luca and Tschaikowski, Max Fluid Analysis of Spatio-Temporal Properties of Agents in a Population Model. In: Analytical and Stochastic Modelling Techniques and Applications. ASMTA 2016. Lecture Notes in Computer Science (9845). Springer, pp. 92-106. ISBN 978-3-319-43904-4 (2016)

Bulej, Lubomír and Bureš, Tomáš and Gerostathopoulos, Ilias and Horký, Vojtěch and Keznikl, Jaroslav and Marek, Lukáš and Tschaikowski, Max and Tribastone, Mirco and Tůma, Petr Supporting performance awareness in autonomous ensembles. In: Software Engineering for Collective Autonomic Systems : the ASCENS Approach. Lecture Notes in Computer Science (8998). Springer, pp. 291-322. ISBN 978-3-319-16310-9 (2015)

Tschaikowski, Max and Tribastone, Mirco Extended differential aggregations in process algebra for performance and biology. In: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems. Electronic Proceedings in Theoretical Computer Science (154). Open Publishing Association, pp. 34-47. (2014)

Tschaikowski, Max and Tribastone, Mirco Generalised communication for interacting agents. In: Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST). IEEE, pp. 178-188. ISBN 978-0-7695-4781-7 (2012)

Tschaikowski, Max and Tribastone, Mirco Exact fluid lumpability for Markovian process algebra. In: CONCUR 2012 – Concurrency Theory. Lecture Notes in Computer Science (7454). Springer, pp. 380-394. ISBN 978-3-642-32939-5 (2012)

Conference or Workshop Item

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective. In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA (In Press) (2016)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Symbolic Computation of Differential Equivalences. In: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20 - 22, 2016, St. Petersburg, FL, USA pp. 137-150. ISBN 978-1-4503-3549-2. (2016)

Kowal, Matthias and Tschaikowski, Max and Tribastone, Mirco and Schaefer, Ina Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). In: 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 9-13, 2015, Lincoln, Nebraska pp. 407-417. ISBN 978-1-5090-0024-1. (2015)

Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea Forward and Backward Bisimulations for Chemical Reaction Networks. In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain pp. 226-239. ISSN 1868-8969. ISBN 978-3-939897-91-0. (2015)

Tschaikowski, Max and Tribastone, Mirco A partial-differential approximation for spatial stochastic process algebra. In: International Conference on Performance Evaluation Methodologies and Tools , December 9 - 11, 2014, Bratislava, Slovakia pp. 74-81. ISBN 978-1-63190-057-0. (2014)

Tschaikowski, Max and Tribastone, Mirco Insensitivity to service-time distributions for fluid queueing models. In: 7th International Conference on Performance Evaluation Methodologies and Tools, December 10–12, 2013, Turin, Italy pp. 273-281. ISBN 978-1-936968-48-0. (2013)

Tschaikowski, Max and Tribastone, Mirco Refined theory of packages. In: 10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA), September 2011, Ragusa, Italy pp. 1-7. (Unpublished) (2011)