Sfoglia per Serie
A distributed coordination infrastructure for attribute-based interaction
2018-01-01 Alrahman, Yehia Abd; De Nicola, Rocco; Garbi, Giulio; Loreti, Michele
Do you really follow them? Automatic detection of credulous twitter users
2019-01-01 Balestrucci, A.; De Nicola, R.; Petrocchi, M.; Trubiani, C.
DReAM: Dynamic Reconfigurable Architecture Modeling
2018-01-01 DE NICOLA, Rocco; Maggi, Alessandro; Joseph, Sifakis
Evaluation of WiFi for kart racing monitoring
2014-01-01 Viittala, H.; Hamalainen, M.; Iinatti, J.; Soderi, S.
Experimenting with a Context-Aware Language
2017-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio
Exploring real mobility data with M-atlas
2010-01-01 Trasarti, R.; Rinzivillo, S.; Pinelli, F.; Nanni, M.; Monreale, A.; Renso, C.; Pedreschi, D.; Giannotti, F.
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks
2019-01-01 Pérez Verona, Isabel Cristina; Tribastone, M.; Tschaikowski, M.
Foreword
2022-01-01 De Nicola, R.
Foreword
2022-01-01 De Nicola, R.
Foreword
2022-01-01 De Nicola, R.
Foreword to applied data science, demo, and nectar tracks
2019-01-01 Brefeld, U.; Curry, E.; Daly, E.; Macnamee, B.; Marascu, A.; Pinelli, F.
A formal approach to the engineering of domain-specific distributed systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
From Natural Projection to Partial Model Checking and Back
2018-01-01 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
GoAt: Attribute-Based Interaction in Google Go
2018-01-01 Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio
Guaranteed error bounds on approximate model abstractions through reachability analysis
2018-01-01 Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A.
Inferring unusual crowd events from mobile phone call detail records
2015-01-01 Dong, Y.; Pinelli, F.; Gkoufas, Y.; Nabi, Z.; Calabrese, F.; Chawla, N. V.
Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems
2005-01-01 Lazar, M.; Heemels, M.; Weiland, S.; Bemporad, A.; Pastravanu, O.
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S.
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository
2019-01-01 Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A.
A logic-inspired approach to reconfigurable system modelling
2019-01-01 Maggi, A.; De Nicola, R.; Sifakis, J.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A distributed coordination infrastructure for attribute-based interaction | 1-gen-2018 | Alrahman, Yehia Abd; De Nicola, Rocco; Garbi, Giulio; Loreti, Michele | |
| Do you really follow them? Automatic detection of credulous twitter users | 1-gen-2019 | Balestrucci, A.; De Nicola, R.; Petrocchi, M.; Trubiani, C. | |
| DReAM: Dynamic Reconfigurable Architecture Modeling | 1-gen-2018 | DE NICOLA, Rocco; Maggi, Alessandro; Joseph, Sifakis | |
| Evaluation of WiFi for kart racing monitoring | 1-gen-2014 | Viittala, H.; Hamalainen, M.; Iinatti, J.; Soderi, S. | |
| Experimenting with a Context-Aware Language | 1-gen-2017 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio | |
| Exploring real mobility data with M-atlas | 1-gen-2010 | Trasarti, R.; Rinzivillo, S.; Pinelli, F.; Nanni, M.; Monreale, A.; Renso, C.; Pedreschi, D.; Giannotti, F. | |
| Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks | 1-gen-2019 | Pérez Verona, Isabel Cristina; Tribastone, M.; Tschaikowski, M. | |
| Foreword | 1-gen-2022 | De Nicola, R. | |
| Foreword | 1-gen-2022 | De Nicola, R. | |
| Foreword | 1-gen-2022 | De Nicola, R. | |
| Foreword to applied data science, demo, and nectar tracks | 1-gen-2019 | Brefeld, U.; Curry, E.; Daly, E.; Macnamee, B.; Marascu, A.; Pinelli, F. | |
| A formal approach to the engineering of domain-specific distributed systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | |
| From Natural Projection to Partial Model Checking and Back | 1-gen-2018 | Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L | |
| GoAt: Attribute-Based Interaction in Google Go | 1-gen-2018 | Abd Alrahman, Yehia; DE NICOLA, Rocco; Garbi, Giulio | |
| Guaranteed error bounds on approximate model abstractions through reachability analysis | 1-gen-2018 | Cardelli, L.; Tribastone, M.; Tschaikowski, M.; Vandin, A. | |
| Inferring unusual crowd events from mobile phone call detail records | 1-gen-2015 | Dong, Y.; Pinelli, F.; Gkoufas, Y.; Nabi, Z.; Calabrese, F.; Chawla, N. V. | |
| Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems | 1-gen-2005 | Lazar, M.; Heemels, M.; Weiland, S.; Bemporad, A.; Pastravanu, O. | |
| Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, R.; Di Stefano, L.; Inverso, O.; Valiani, S. | |
| A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository | 1-gen-2019 | Perez-Verona Isabel, Cristina.; Tribastone, M.; Vandin, A. | |
| A logic-inspired approach to reconfigurable system modelling | 1-gen-2019 | Maggi, A.; De Nicola, R.; Sifakis, J. |
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