Sfoglia per Autore Tschaikowski, Max
Exact fluid lumpability for Markovian process algebra
2012-01-01 Tribastone, M; Tschaikowski, M
Generalised Communication for Interacting Agents
2012-01-01 Tribastone, M; Tschaikowski, M
Insensitivity to service-time distributions for fluid queueing models
2013-01-01 Tribastone, M; Tschaikowski, M
A partial-differential approximation for spatial stochastic process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
Extended differential aggregations in process algebra for performance and biology
2014-01-01 Tribastone, M; Tschaikowski, M
Tackling continuous state-space explosion in a Markovian process algebra
2014-01-01 Tribastone, M; Tschaikowski, M
Forward and Backward Bisimulations for Chemical Reaction Networks
2015-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Supporting performance awareness in autonomous ensembles
2015-01-01 Bulej, L; Bures, T; Gerostathopoulos, I; Horký, V; Keznikl, J; Marek, L; Tschaikowski, M; Tuma, P; Tribastone, M
A unified framework for differential aggregations in Markovian process algebra
2015-01-01 Tribastone, M; Tschaikowski, M
Comparing chemical reaction networks: A categorical and algorithmic perspective
2016-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
2016-01-01 Tribastone, M; Tschaikowski, M
Efficient syntax-Driven lumping of differential equations
2016-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Scaling size and parameter spaces in variability-aware software performance models
2016-01-01 Kowal, M; Tribastone, M; Schaefer, I; Tschaikowski, M
Noise Reduction in Complex Biological Switches
2016-01-01 Cardelli, L; Csikasz-Nagy, A; Dalchau, N; Tribastone, M; Tschaikowski, M
Scaling size & parameter spaces in variability-aware software performance models
2016-01-01 Kowal, M; Tschaikowski, M; Tribastone, M; Schaefer, I
Symbolic Computation of Differential Equivalences
2016-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, Max
Fluid analysis of spatio-temporal properties of agents in a population model
2016-01-01 Bortolussi, L; Tschaikowski, M
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment
2017-01-01 Tribastone, M; Tschaikowski, M
EGAC: A genetic algorithm to compare chemical reaction networks
2017-01-01 Tognazzi, S; Tribastone, M; Tschaikowski, M; Vandin, A
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
2017-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile