Lower Bounds on Systolic Gossiping
1997-01-01 Flammini, M; Perennes, S
Scintillating bolometric technique for the neutrino-less double beta decay search: The LUCIFER/CUPID-0 experiment
2017-01-01 Casali, N.; Artusa, D. R.; Bellini, F.; Biassoni, M.; Brofferio, C.; Bucci, C.; Camacho, A.; Capelli, S.; Cardani, L.; Carniti, P.; Cassina, L.; Clemenza, M.; Cremonesi, O.; Cruciani, A.; D'Addabbo, A.; Dafinei, I.; Domizio S., Di; Vacri M. L., Di; Ferroni, F.; Gironi, L.; Gotti, C.; Keppel, G.; Maino, M.; Martinez, M.; Morganti, S.; Nagorny, S.; Orlandi, D.; Pagnanini, L.; Pallavicini, M.; Palmieri, V.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, V.; Pozzi, S.; Pirro, S.; Previtali, E.; Puiu, A.; Rusconi, C.; Schäffner, K.; Tomei, C.; Vignati, M.; Puiu, PAUL ANDREI
The Price of Envy-Freeness in Machine Scheduling
2014-01-01 V., Bilo'; A., Fanelli; Flammini, Michele; Monaco, Gianpiero; L., Moscardelli
Learning DNF Formulae under Classes of Probability Distribution
1992-01-01 Flammini, M; MARCHETTI SPACCAMELA, A; Kucera, L
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2015-01-01 Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F
Verication On The Web Of Mobile Systems
2004-01-01 Ferrari, Luigi; Gnesi, Stefania; Montanari, Ugo; Raggi, Roberto; Trentanni, Gianluca; Tuosto, E
On Runtime Enforcement via Suppressions
2018-01-01 Aceto, L; Cassar, I; Francalanza, A; Ingólfsdóttir, A
Operation stability of a prototype for CYGNO experiment
2019-01-01 Apponi, A; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Capoccia, C; Caponero, M; Cavoto, G; Costa, I A; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Orlandi, A; Paoletti, E; Passamonti, L; Pelosi, A; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Pucci, F; Renga, F; Rossi, G; Russo, A; Saviano, G; Tomassini, S
A Coordination-based Methodology for Security Protocol Verification
2005-01-01 Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E
Recoil Directionality Experiment
2019-01-01 Sanfilippo, S; Agnes, P; Arba, M; Ave, M; Baracchini, E; Boiano, A; Bonivento, W M; Bottino, B; Cadeddu, M; Caminata, A; Caravati, M; Cariello, M; Carpinelli, M; Catalanotti, S; Cataudella, V; Cereseto, R; Cicalò, C; Covone, G; de Candia, A; De Filippis, G; De Rosa, G; Davini, S; Devoto, A; Dionisi, C; D’Urso, D; Fiorillo, G; Franco, D; Giovannetti, G K; Giganti, C; Galbiati, C; Gulino, M; Korga, G; Kuss, M; La Commara, M; La Delfa, L; Lissia, M; Mariani, A; Mari, S M; Martoff, C J; Masone, V; Oleynikov, V; Pallavicini, M; Pandola, L; Razeto, A; Rescigno, M; Rossi, N; Sablone, D; Scapparone, E; Suvorov, Y; Testera, G; Tuveri, M; Wang, H; Wang, Y
Performance of Prototype of Optically Readout TPC with a 55Fe source
2020-01-01 Abritta Costa, I; Baracchini, E; Bellini, F; Benussi, L; Bianco, S; Capoccia, C; Caponero, M; Cavoto, G; Di Marco, E; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Piccolo, D; Pinci, D; Renga, F; Rosatelli, F; Saviano, G; Tomassini, S
CYGNO: Triple-GEM Optical Readout for Directional Dark Matter Search
2020-01-01 Abritta Costa, I; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Caponero, M; Cavoto, G; Di Marco, E; D’Imperio, G; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Petrucci, F; Piccolo, D; Pinci, D; Renga, F; Saviano, G; Tomassini, S
A 1 m3 Gas Time Projection Chamber with Optical Readout for Directional Dark Matter Searches: the CYGNO Experiment
2019-01-01 Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Capoccia, C; Caponero, M; Cavoto, G; Costa, I A; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Orlandi, A; Paoletti, E; Passamonti, L; Pelosi, A; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Renga, F; Russo, A; Saviano, G; Tomassini, S
Tarzan
2005-01-01 Tuosto, E
CYGNUS
2020-01-01 Miuchi, K; Baracchini, E; Lane, G; Spooner, N J C; Vahsen, S E
Security Issues in Component-based Design
2001-01-01 Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E
An Observational Model for Spatial Logics
2006-01-01 Tuosto, E; Vieira, Torres
Tests of Eco-Friendly Gas Mixtures in GEM Based Detectors with Optical Readout
2019-01-01 Abritta Costa, I; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Caponero, M; Cavoto, G; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Passamonti, L; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Renga, F; Russo, A; Saviano, G; Tomassini, S
A Formal Support to Business and Architectural Design for Service-Oriented Systems
2011-01-01 Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E
A Formal Basis for Reasoning on Programmable QoS
2003-01-01 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Lower Bounds on Systolic Gossiping | 1-gen-1997 | Flammini, M; Perennes, S | |
Scintillating bolometric technique for the neutrino-less double beta decay search: The LUCIFER/CUPID-0 experiment | 1-gen-2017 | Casali, N.; Artusa, D. R.; Bellini, F.; Biassoni, M.; Brofferio, C.; Bucci, C.; Camacho, A.; Capelli, S.; Cardani, L.; Carniti, P.; Cassina, L.; Clemenza, M.; Cremonesi, O.; Cruciani, A.; D'Addabbo, A.; Dafinei, I.; Domizio S., Di; Vacri M. L., Di; Ferroni, F.; Gironi, L.; Gotti, C.; Keppel, G.; Maino, M.; Martinez, M.; Morganti, S.; Nagorny, S.; Orlandi, D.; Pagnanini, L.; Pallavicini, M.; Palmieri, V.; Pattavina, L.; Pavan, M.; Pessina, G.; Pettinacci, V.; Pozzi, S.; Pirro, S.; Previtali, E.; Puiu, A.; Rusconi, C.; Schäffner, K.; Tomei, C.; Vignati, M.; Puiu, PAUL ANDREI | |
The Price of Envy-Freeness in Machine Scheduling | 1-gen-2014 | V., Bilo'; A., Fanelli; Flammini, Michele; Monaco, Gianpiero; L., Moscardelli | |
Learning DNF Formulae under Classes of Probability Distribution | 1-gen-1992 | Flammini, M; MARCHETTI SPACCAMELA, A; Kucera, L | |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 1-gen-2015 | Aceto, L; Larsen, K G; Morichetta, A; Tiezzi, F | |
Verication On The Web Of Mobile Systems | 1-gen-2004 | Ferrari, Luigi; Gnesi, Stefania; Montanari, Ugo; Raggi, Roberto; Trentanni, Gianluca; Tuosto, E | |
On Runtime Enforcement via Suppressions | 1-gen-2018 | Aceto, L; Cassar, I; Francalanza, A; Ingólfsdóttir, A | |
Operation stability of a prototype for CYGNO experiment | 1-gen-2019 | Apponi, A; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Capoccia, C; Caponero, M; Cavoto, G; Costa, I A; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Orlandi, A; Paoletti, E; Passamonti, L; Pelosi, A; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Pucci, F; Renga, F; Rossi, G; Russo, A; Saviano, G; Tomassini, S | |
A Coordination-based Methodology for Security Protocol Verification | 1-gen-2005 | Baldi, Giacomo; Bracciali, Andrea; Ferrari, Luigi; Tuosto, E | |
Recoil Directionality Experiment | 1-gen-2019 | Sanfilippo, S; Agnes, P; Arba, M; Ave, M; Baracchini, E; Boiano, A; Bonivento, W M; Bottino, B; Cadeddu, M; Caminata, A; Caravati, M; Cariello, M; Carpinelli, M; Catalanotti, S; Cataudella, V; Cereseto, R; Cicalò, C; Covone, G; de Candia, A; De Filippis, G; De Rosa, G; Davini, S; Devoto, A; Dionisi, C; D’Urso, D; Fiorillo, G; Franco, D; Giovannetti, G K; Giganti, C; Galbiati, C; Gulino, M; Korga, G; Kuss, M; La Commara, M; La Delfa, L; Lissia, M; Mariani, A; Mari, S M; Martoff, C J; Masone, V; Oleynikov, V; Pallavicini, M; Pandola, L; Razeto, A; Rescigno, M; Rossi, N; Sablone, D; Scapparone, E; Suvorov, Y; Testera, G; Tuveri, M; Wang, H; Wang, Y | |
Performance of Prototype of Optically Readout TPC with a 55Fe source | 1-gen-2020 | Abritta Costa, I; Baracchini, E; Bellini, F; Benussi, L; Bianco, S; Capoccia, C; Caponero, M; Cavoto, G; Di Marco, E; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Piccolo, D; Pinci, D; Renga, F; Rosatelli, F; Saviano, G; Tomassini, S | |
CYGNO: Triple-GEM Optical Readout for Directional Dark Matter Search | 1-gen-2020 | Abritta Costa, I; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Caponero, M; Cavoto, G; Di Marco, E; D’Imperio, G; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Petrucci, F; Piccolo, D; Pinci, D; Renga, F; Saviano, G; Tomassini, S | |
A 1 m3 Gas Time Projection Chamber with Optical Readout for Directional Dark Matter Searches: the CYGNO Experiment | 1-gen-2019 | Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Capoccia, C; Caponero, M; Cavoto, G; Costa, I A; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Orlandi, A; Paoletti, E; Passamonti, L; Pelosi, A; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Renga, F; Russo, A; Saviano, G; Tomassini, S | |
Tarzan | 1-gen-2005 | Tuosto, E | |
CYGNUS | 1-gen-2020 | Miuchi, K; Baracchini, E; Lane, G; Spooner, N J C; Vahsen, S E | |
Security Issues in Component-based Design | 1-gen-2001 | Bracciali, Andrea; Brogi, Antonio; Ferrari, Luigi; Tuosto, E | |
An Observational Model for Spatial Logics | 1-gen-2006 | Tuosto, E; Vieira, Torres | |
Tests of Eco-Friendly Gas Mixtures in GEM Based Detectors with Optical Readout | 1-gen-2019 | Abritta Costa, I; Baracchini, E; Bedogni, R; Bellini, F; Benussi, L; Bianco, S; Caponero, M; Cavoto, G; Di Marco, E; D’Imperio, G; Iacoangeli, F; Maccarone, G; Marafini, M; Mazzitelli, G; Messina, A; Passamonti, L; Petrucci, F; Piccolo, D; Pierluigi, D; Pinci, D; Renga, F; Russo, A; Saviano, G; Tomassini, S | |
A Formal Support to Business and Architectural Design for Service-Oriented Systems | 1-gen-2011 | Bruni, Roberto; Foster, Howard; Lluch-Lafuente, Alberto; Montanari, Ugo; Tuosto, E | |
A Formal Basis for Reasoning on Programmable QoS | 1-gen-2003 | Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E |
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 ...1084
Data di pubblicazione
- 2020 - 2024235
- 2010 - 2019590
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM17
- Association for Computing Machine...16
- Springer-Verlag14
- CEUR-WS12
- Springer International Publishing11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...31
- JOURNAL OF LOW TEMPERATURE PHYSICS13
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...7
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...26
- LECTURE NOTES IN COMPUTER SCIENCE17
- LEIBNIZ INTERNATIONAL PROCEEDINGS...14
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...3
- PROCEEDINGS OF SPIE, THE INTERNAT...3
- FRONTIERS IN ARTIFICIAL INTELLIGE...2
- LECTURE NOTES IN COMPUTER SCIENCE2
- NUCLEAR PHYSICS B - PROCEEDINGS S...2
- PROCEEDINGS / AAAI- ... NATIONAL ...2
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory6
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng650
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext922
- reserved96
- open63
- partially open3