RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Exact fluid lumpability in Markovian process algebra
2014-01-01 Tschaikowski, M; Tribastone, M
Extended differential aggregations in process algebra for performance and biology
2014-01-01 Tribastone, M; Tschaikowski, M
Fluid Performability Analysis of Nested Automata Models
2015-01-01 Bortolussi, L; Hillston, J; Tribastone, M
Fluid Rewards for a Stochastic Process Algebra
2012-01-01 Tribastone, M; Ding, J; Gilmore, S; Hillston, J
From electric circuits to chemical networks
2020-01-01 Cardelli, L.; Tribastone, M.; Tschaikowski, M.
Improved estimations of stochastic chemical kinetics by finite-state expansion
2021-01-01 Waizmann, T.; Bortolussi, L.; Vandin, A.; Tribastone, M.
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
2024-01-01 Randone, Francesca; Bortolussi, Luca; Incerto, Emilio; Tribastone, Mirco
Maximal aggregation of polynomial dynamical systems
2017-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
Model-based development and performance analysis for evolving manufacturing systems
2014-01-01 Kowal, M; Prehofer, C; Schaefer, I; Tribastone, M
Modelling exogenous variability in cloud deployments
2013-01-01 Casale, G; Tribastone, M
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Exact fluid lumpability in Markovian process algebra | 1-gen-2014 | Tschaikowski, M; Tribastone, M | |
| Extended differential aggregations in process algebra for performance and biology | 1-gen-2014 | Tribastone, M; Tschaikowski, M | |
| Fluid Performability Analysis of Nested Automata Models | 1-gen-2015 | Bortolussi, L; Hillston, J; Tribastone, M | |
| Fluid Rewards for a Stochastic Process Algebra | 1-gen-2012 | Tribastone, M; Ding, J; Gilmore, S; Hillston, J | |
| From electric circuits to chemical networks | 1-gen-2020 | Cardelli, L.; Tribastone, M.; Tschaikowski, M. | |
| Improved estimations of stochastic chemical kinetics by finite-state expansion | 1-gen-2021 | Waizmann, T.; Bortolussi, L.; Vandin, A.; Tribastone, M. | |
| Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures | 1-gen-2024 | Randone, Francesca; Bortolussi, Luca; Incerto, Emilio; Tribastone, Mirco | |
| Maximal aggregation of polynomial dynamical systems | 1-gen-2017 | Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M | |
| Model-based development and performance analysis for evolving manufacturing systems | 1-gen-2014 | Kowal, M; Prehofer, C; Schaefer, I; Tribastone, M | |
| Modelling exogenous variability in cloud deployments | 1-gen-2013 | Casale, G; Tribastone, 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
Opzioni
Scopri
Tipologia
- 1 Contributo su Rivista 33
- 1 Contributo su Rivista::1.1 Arti... 33
Data di pubblicazione
- 2020 - 2024 8
- 2010 - 2019 24
- 2009 - 2009 1
Rivista
- THEORETICAL COMPUTER SCIENCE 5
- ACM SIGMETRICS PERFORMANCE EVALUA... 3
- IEEE TRANSACTIONS ON AUTOMATIC CO... 3
- IEEE TRANSACTIONS ON SOFTWARE ENG... 3
- ELECTRONIC PROCEEDINGS IN THEORET... 2
- PERFORMANCE EVALUATION 2
- ACM SIGPLAN NOTICES 1
- ANNALS OF OPERATIONS RESEARCH 1
- AUTOMATISIERUNGSTECHNIK 1
- BIOINFORMATICS 1
Keyword
- Abandonment queueing networks 1
- Biological systems 1
- Chemical process control 1
- Chemical reaction networks 1
- continuous-time Markov chains 1
- Differential-algebraic systems 1
- Electric circuits 1
- Equivalence relations 1
- Fluid limits 1
- Gaussian mixtures 1
Lingua
- eng 23
Accesso al fulltext
- no fulltext 25
- partially open 4
- open 3
- reserved 1