Fluid aggregations for Markovian process algebra

von Tschaikowski, Max
Veröffentlicht 2014

Fluid aggregations for Markovian process algebra

von Tschaikowski, Max
Veröffentlicht 2014

A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment

von Tschaikowski, Max
Veröffentlicht in European Conference on Queueing Theory (1. : 2014 : Ghent) Computational methods and applications in queueing theory (2017)

Efficient Estimation of Agent Networks

von Leguizamon-Robayo, Alexander
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 3: Adaptation and learning (2022)

An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

von Squillace, Giuseppe
Veröffentlicht in QEST (19. : 2022 : Warschau) Quantitative evaluation of systems (2022)

Reducing Boolean Networks with Backward Boolean Equivalence

von Argyris, Georgios
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

von Argyris, Georgios
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

Lumpability for Uncertain Continuous-Time Markov Chains

von Cardelli, Luca
Veröffentlicht in QEST (18. : 2021 : Online) Quantitative evaluation of systems (2021)