Digital Bifurcation Analysis of Internet Congestion Control Protocols

N Beneš, L Brim, S Pastva… - International Journal of …, 2020 - World Scientific
Digital bifurcation analysis is a new algorithmic method for exploring how the behavior of a
parameter-dependent discrete system varies with a change in its parameters and, in …

Digital bifurcation analysis of TCP dynamics

N Beneš, L Brim, S Pastva, D Šafránek - … , TACAS 2019, Held as Part of the …, 2019 - Springer
Digital bifurcation analysis is a new algorithmic method for exploring how the behaviour of a
parameter-dependent computer system varies with a change in its parameters and, in …

[PDF][PDF] Formal Analysis of Rule-Based Models in Systems Biology

M Troják - 2019 - is.muni.cz
Modelling complex systems in systems biology has to be conducted at several levels of
abstraction that reflect well the known information [56]. At every level, the system has to be …