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.
Formalising Security in Ubiquitous and Cloud Scenarios
2012-01-01 Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca
Forward and Backward Bisimulations for Chemical Reaction Networks
2015-01-01 Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M
FRAM evaluation as unified memory for convex optimization algorithms
2014-01-01 Cimini, G; Bemporad, A; Ippoliti, G; Longhi, S
Frequency band structure of hierarchical viscoelastic metamaterials
2020-01-01 Fantoni, F.; Bacigalupo, A.; Gnecco, G.
Frequency-based design of adaptive optics systems
2013-01-01 Agapito, G.; Battistelli, G.; Mari, D.; Selvi, D.; Tesi, A.; Tesi, P.
From firewalls to functions and back
2019-01-01 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
From Natural Projection to Partial Model Checking and Back
2018-01-01 Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L
Functional reorganization of visuo-motor cortical networks in Formula 1 pilots versus naive drivers
2011-01-01 Bernardi, G; Ricciardi, E; Sani, L; Gaglianese, A; Papasogli, A; Ceccarelli, R; Franzoni, F; Galetta, F; Santoro, G; Goebel, R; Pietrini, P
Game theoretic approach for reliability evaluation of public transportation transfers
2018-01-01 Gnecco, G.; Hadas, Y.; Sanguineti, M.
Generalised Communication for Interacting Agents
2012-01-01 Tribastone, M; Tschaikowski, M
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Formalising Security in Ubiquitous and Cloud Scenarios | 1-gen-2012 | Bodei, Chiara; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Galletta, Letterio; Mezzetti, Gianluca | |
| Forward and Backward Bisimulations for Chemical Reaction Networks | 1-gen-2015 | Cardelli, L; Tribastone, M; Vandin, A; Tschaikowski, M | |
| FRAM evaluation as unified memory for convex optimization algorithms | 1-gen-2014 | Cimini, G; Bemporad, A; Ippoliti, G; Longhi, S | |
| Frequency band structure of hierarchical viscoelastic metamaterials | 1-gen-2020 | Fantoni, F.; Bacigalupo, A.; Gnecco, G. | |
| Frequency-based design of adaptive optics systems | 1-gen-2013 | Agapito, G.; Battistelli, G.; Mari, D.; Selvi, D.; Tesi, A.; Tesi, P. | |
| From firewalls to functions and back | 1-gen-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro | |
| From Natural Projection to Partial Model Checking and Back | 1-gen-2018 | Costa, G; Basin, D; Bodei, C; Degano, P; Galletta, L | |
| Functional reorganization of visuo-motor cortical networks in Formula 1 pilots versus naive drivers | 1-gen-2011 | Bernardi, G; Ricciardi, E; Sani, L; Gaglianese, A; Papasogli, A; Ceccarelli, R; Franzoni, F; Galetta, F; Santoro, G; Goebel, R; Pietrini, P | |
| Game theoretic approach for reliability evaluation of public transportation transfers | 1-gen-2018 | Gnecco, G.; Hadas, Y.; Sanguineti, M. | |
| Generalised Communication for Interacting Agents | 1-gen-2012 | Tribastone, M; 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
Opzioni
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ... 604
- 4 Contributo in Atti di Convegno ... 604
Data di pubblicazione
- 2020 49
- 2019 54
- 2018 65
- 2017 55
- 2016 58
- 2015 53
- 2014 55
- 2013 67
- 2012 55
- 2011 54
Editore
- IEEE 49
- Institute of Electrical and Elect... 29
- Springer 27
- Elsevier 19
- Springer Verlag 17
- IEEE Computer Society 12
- Association for Computing Machinery 7
- Elsevier B.V. 7
- CEUR-WS 6
- EURAM 6
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE 15
- ELECTRONIC PROCEEDINGS IN THEORET... 9
- LECTURE NOTES IN COMPUTER SCIENCE 6
- SLEEP 6
- ENERGY PROCEDIA 5
- PROCEEDINGS OF THE IEEE CONFERENC... 5
- CEUR WORKSHOP PROCEEDINGS 4
- JOURNAL OF SLEEP RESEARCH 4
- SINERGIE 3
- ACADEMY OF MANAGEMENT ANNUAL MEET... 2
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 28
- IFAC-PAPERSONLINE 20
- PROCEEDINGS OF THE IEEE CONFERENC... 14
- PROCEEDINGS OF THE ... IEEE CONFE... 9
- EUROPEAN CONTROL CONFERENCE 7
- COMPUTER-AIDED CHEMICAL ENGINEERING 5
- ARCHEOLOGIA E ARTE ANTICA 3
- CEUR WORKSHOP PROCEEDINGS 3
- THE PROCEEDINGS OF THE ... INTERN... 3
- ... MEDITERRANEAN CONFERENCE ON C... 2
Keyword
- Security 6
- Software 5
- Boundary element method 4
- Computer Science (all) 4
- Fully nonlinear potential 4
- IoT 4
- Active subspaces 3
- Computer Networks and Communications 3
- Electron tubes 3
- età achemenide 3
Lingua
- eng 483
- ita 40
- por 6
- und 2
- fre 1
- spa 1
Accesso al fulltext
- no fulltext 353
- reserved 187
- open 52
- partially open 12