Transcompiling firewalls
2018 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro
Language-Independent Synthesis of Firewall Policies
2018 Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Typing context-dependent behavioural variations
2013 Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca
A semantics for disciplined concurrency in COP
2016 Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio
A brief tour of formally secure compilation
2019 Busi, Matteo; Galletta, Letterio
From firewalls to functions and back
2019 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems
2019 Zacchia Lun, Yuriy; Abate, Alessandro; D'Innocenzo, Alessandro
Keywords dynamics in online social networks: a case-study from Twitter
2019 Becatti, Carolina; Crimaldi, Irene; Saracco, Fabio
Facebook and the Real World: Correlations between Online and Offline Conversations
2015 Celli, Fabio; Polonio, Luca
What your facebook profile picture reveals about your personality
2017 Segalin, C.; Celli, F.; Polonio, L.; Kosinski, M.; Stillwell, D.; Sebe, N.; Cristani, M.; Lepri, B.
Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control
2019 Alrish, Amal; Zacchia Lun, Yuriy; D'Innocenzo, Alessandro; Santucci, Fortunato
Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study
2014 Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio
Effects of napping on impulse control
2015 Rondelli, Monica; Di Galante, Marco; Banfi, Tommaso; D'Ascanio, Paola; Bernardi, Giulio; Bonanni, Enrica; Faraguna, Ugo
Spontaneous, localized EEG activations in REM sleep: a high-density EEG investigation
2016 Betta, Monica; Bernardi, Giulio; Menicucci, Danilo; Haba-Rubio, Jose; Heinzer, Raphael; Gemignani, Angelo; Landi, Alberto; Tononi, Giulio; Siclari, Francesca
Regionally specific features of low-frequency EEG oscillations during REM-sleep
2016 Bernardi, Giulio; Betta, Monica; Yu, Xiaoqian; Ricciardi, Emiliano; Haba-Rubio, Jose; Heinzer, Raphael; Pietrini, Pietro; Tononi, Giulio; Siclari, Francesca
Spontaneous, localized EEG activations in REM sleep: a high-density EEG investigation
2016 Betta, Monica; Bernardi, Giulio; Menicucci, Danilo; Haba-Rubio, Jose; Heinzer, Raphael; Gemignani, Angelo; Landi, Alberto; Tononi, Giulio; Siclari, Francesca
Low-frequency oscillations in REM-sleep: a high density EEG study
2016 Bernardi, Giulio; Betta, Monica; Yu, Xiaoqian; Ricciardi, Emiliano; Haba-Rubio, Jose; Heinzer, Raphael; Pietrini, Pietro; Tononi, Giulio; Siclari, Francesca
What determines the level of consciousness during Non-REM sleep?
2016 Siclari, Francesca; Bernardi, Giulio; Larocque, Josh; Postle, Bradley; Tononi, Giulio
Quantifying peripheral sympathetic activation during sleep by means of an automatic method for pulse wave amplitude drop detection
2017 Betta, Monica; Bernardi, Giulio; Ricciardi Emiliano Pietrini, Pietro; Haba-Rubio, Jose; Siclari, Francesca; Heinzer, Raphael
Task-oriented circuit training in multiple sclerosis patients — the predictive value of white matter damage
2017 Tramonti, Caterina; Fanciullacci, Chiara; Di Martino, Siria; Cecchetti, Luca; Lettieri, Giada; Bernardi, Giulio; Rossi, B; Ricciardi, Emiliano; Chisari, Carmelo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Transcompiling firewalls | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro | |
| Language-Independent Synthesis of Firewall Policies | 1-gen-2018 | Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo | |
| Typing context-dependent behavioural variations | 1-gen-2013 | Degano, Pierpaolo; Ferrari, Gian-Luigi; Galletta, Letterio; Mezzetti, Gianluca | |
| A semantics for disciplined concurrency in COP | 1-gen-2016 | Busi, Matteo; Degano, Pierpaolo; Galletta, Letterio | |
| A brief tour of formally secure compilation | 1-gen-2019 | Busi, Matteo; Galletta, Letterio | |
| From firewalls to functions and back | 1-gen-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro | |
| Linear quadratic regulation of polytopic time-inhomogeneous Markov jump linear systems | 1-gen-2019 | Zacchia Lun, Yuriy; Abate, Alessandro; D'Innocenzo, Alessandro | |
| Keywords dynamics in online social networks: a case-study from Twitter | 1-gen-2019 | Becatti, Carolina; Crimaldi, Irene; Saracco, Fabio | |
| Facebook and the Real World: Correlations between Online and Offline Conversations | 1-gen-2015 | Celli, Fabio; Polonio, Luca | |
| What your facebook profile picture reveals about your personality | 1-gen-2017 | Segalin, C.; Celli, F.; Polonio, L.; Kosinski, M.; Stillwell, D.; Sebe, N.; Cristani, M.; Lepri, B. | |
| Work in Progress: Systematic Derivation of Accurate Analytic Markov Channel Models for Industrial Control | 1-gen-2019 | Alrish, Amal; Zacchia Lun, Yuriy; D'Innocenzo, Alessandro; Santucci, Fortunato | |
| Two Distinct Synchronization Processes in the Transition to Sleep: A High-Density Electroencephalographic Study | 1-gen-2014 | Siclari, Francesca; Bernardi, Giulio; Riedner, Brady; Larocque, Josh; Benca, Ruth; Tononi, Giulio | |
| Effects of napping on impulse control | 1-gen-2015 | Rondelli, Monica; Di Galante, Marco; Banfi, Tommaso; D'Ascanio, Paola; Bernardi, Giulio; Bonanni, Enrica; Faraguna, Ugo | |
| Spontaneous, localized EEG activations in REM sleep: a high-density EEG investigation | 1-gen-2016 | Betta, Monica; Bernardi, Giulio; Menicucci, Danilo; Haba-Rubio, Jose; Heinzer, Raphael; Gemignani, Angelo; Landi, Alberto; Tononi, Giulio; Siclari, Francesca | |
| Regionally specific features of low-frequency EEG oscillations during REM-sleep | 1-gen-2016 | Bernardi, Giulio; Betta, Monica; Yu, Xiaoqian; Ricciardi, Emiliano; Haba-Rubio, Jose; Heinzer, Raphael; Pietrini, Pietro; Tononi, Giulio; Siclari, Francesca | |
| Spontaneous, localized EEG activations in REM sleep: a high-density EEG investigation | 1-gen-2016 | Betta, Monica; Bernardi, Giulio; Menicucci, Danilo; Haba-Rubio, Jose; Heinzer, Raphael; Gemignani, Angelo; Landi, Alberto; Tononi, Giulio; Siclari, Francesca | |
| Low-frequency oscillations in REM-sleep: a high density EEG study | 1-gen-2016 | Bernardi, Giulio; Betta, Monica; Yu, Xiaoqian; Ricciardi, Emiliano; Haba-Rubio, Jose; Heinzer, Raphael; Pietrini, Pietro; Tononi, Giulio; Siclari, Francesca | |
| What determines the level of consciousness during Non-REM sleep? | 1-gen-2016 | Siclari, Francesca; Bernardi, Giulio; Larocque, Josh; Postle, Bradley; Tononi, Giulio | |
| Quantifying peripheral sympathetic activation during sleep by means of an automatic method for pulse wave amplitude drop detection | 1-gen-2017 | Betta, Monica; Bernardi, Giulio; Ricciardi Emiliano Pietrini, Pietro; Haba-Rubio, Jose; Siclari, Francesca; Heinzer, Raphael | |
| Task-oriented circuit training in multiple sclerosis patients — the predictive value of white matter damage | 1-gen-2017 | Tramonti, Caterina; Fanciullacci, Chiara; Di Martino, Siria; Cecchetti, Luca; Lettieri, Giada; Bernardi, Giulio; Rossi, B; Ricciardi, Emiliano; Chisari, Carmelo |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1222
Data di pubblicazione
- In corso di stampa5
- 2020 - 2026339
- 2010 - 2019569
- 2000 - 2009266
- 1990 - 199937
- 1988 - 19896
Editore
- IEEE110
- Springer58
- Institute of Electrical and Elect...38
- Elsevier33
- Association for Computing Machinery23
- CEUR-WS17
- IEEE Computer Society17
- Springer Verlag17
- Association for Computing Machine...12
- EURAM11
Rivista
- NEUROIMAGE25
- LECTURE NOTES IN COMPUTER SCIENCE17
- ELECTRONIC PROCEEDINGS IN THEORET...10
- LECTURE NOTES IN COMPUTER SCIENCE6
- SLEEP6
- ENERGY PROCEDIA5
- PROCEEDINGS OF THE IEEE CONFERENC...5
- CEUR WORKSHOP PROCEEDINGS4
- JOURNAL OF SLEEP RESEARCH4
- LECTURE NOTES IN APPLIED AND COMP...3
Serie
- LECTURE NOTES IN COMPUTER SCIENCE60
- CEUR WORKSHOP PROCEEDINGS34
- IFAC-PAPERSONLINE23
- PROCEEDINGS OF THE IEEE CONFERENC...22
- PROCEEDINGS OF THE ... IEEE CONFE...11
- COMMUNICATIONS IN COMPUTER AND IN...9
- EUROPEAN CONTROL CONFERENCE8
- LECTURE NOTES IN COMPUTER SCIENCE7
- LECTURE NOTES OF THE INSTITUTE FO...7
- PROCEEDINGS OF THE AMERICAN CONTR...6
Keyword
- Cybersecurity12
- Machine learning12
- Security12
- Deep Learning8
- Artificial intelligence7
- Games7
- Machine Learning7
- Malware7
- security7
- Blockchain6
Lingua
- eng906
- ita103
- und80
- por6
- spa4
- fre1
Accesso al fulltext
- no fulltext679
- reserved319
- open179
- partially open41
- mixed3
- embargoed1