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.
Noise Reduction in Complex Biological Switches
2016-01-01 Cardelli, L; Csikasz-Nagy, A; Dalchau, N; Tribastone, M; Tschaikowski, M
Non-functional properties in the model-driven development of service-oriented systems
2011-01-01 Gilmore, S; Gonczy, L; Koch, N; Mayer, P; Tribastone, M; Varro, D
PID Control of Biochemical Reaction Networks
2022-01-01 Whitby, M.; Cardelli, L.; Kwiatkowska, M.; Laurenti, L.; Tribastone, M.; Tschaikowski, M.
Refining Mean-field Approximations by Dynamic State Truncation
2021-01-01 Randone, F.; Bortolussi, L.; Tribastone, M.
Scalable Differential Analysis of Process Algebra Models
2012-01-01 Tribastone, M; Gilmore, S; Hillston, J
Size expansions of mean field approximation: Transient and steady-state analysis
2019-01-01 Gast, N.; Bortolussi, L.; Tribastone, M.
Spatial fluid limits for stochastic mobile networks
2017-01-01 Tribastone, M; Tschaikowski, M
Stochastic Process Algebras: From Individuals to Populations
2012-01-01 Hillston, J; Tribastone, M; Gilmore, S
Symbolic Computation of Differential Equivalences
2016-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, Max
Symbolic computation of differential equivalences
2019-01-01 Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Noise Reduction in Complex Biological Switches | 1-gen-2016 | Cardelli, L; Csikasz-Nagy, A; Dalchau, N; Tribastone, M; Tschaikowski, M | |
| Non-functional properties in the model-driven development of service-oriented systems | 1-gen-2011 | Gilmore, S; Gonczy, L; Koch, N; Mayer, P; Tribastone, M; Varro, D | |
| PID Control of Biochemical Reaction Networks | 1-gen-2022 | Whitby, M.; Cardelli, L.; Kwiatkowska, M.; Laurenti, L.; Tribastone, M.; Tschaikowski, M. | |
| Refining Mean-field Approximations by Dynamic State Truncation | 1-gen-2021 | Randone, F.; Bortolussi, L.; Tribastone, M. | |
| Scalable Differential Analysis of Process Algebra Models | 1-gen-2012 | Tribastone, M; Gilmore, S; Hillston, J | |
| Size expansions of mean field approximation: Transient and steady-state analysis | 1-gen-2019 | Gast, N.; Bortolussi, L.; Tribastone, M. | |
| Spatial fluid limits for stochastic mobile networks | 1-gen-2017 | Tribastone, M; Tschaikowski, M | |
| Stochastic Process Algebras: From Individuals to Populations | 1-gen-2012 | Hillston, J; Tribastone, M; Gilmore, S | |
| Symbolic Computation of Differential Equivalences | 1-gen-2016 | Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, Max | |
| Symbolic computation of differential equivalences | 1-gen-2019 | Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea |
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