4.1 Contributo in Atti di convegno: [1389] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.361 a 1.380 di 1.389
Titolo Data di pubblicazione Autore(i) File
Model Checking for Nominal Calculi 1-gen-2005 Ferrari, Luigi; Montanari, Ugo; Tuosto, E
Experimental Evaluations of Algorithms for IP Table Minimization 1-gen-2007 G, Melideo; Fanelli, A.; Flammini, M.; Mango, D.; Moscardelli, L.
A Process Calculus for QoS-Aware Applications 1-gen-2005 Nicola, De; Ferrari, Luigi; Montanari, Ugo; Pugliese, Rosario; Tuosto, E
RESULTS FROM THE PIERRE AUGER OBSERVATORY 1-gen-2014 I. De Mitri, AUGER coll; DE MITRI, Ivan
Reversible Choreographies via Monitoring in Erlang 1-gen-2018 Francalanza, Adrian; Mezzina, Antares; Tuosto, E
Lower Bounds on Systolic Gossiping 1-gen-1997 Flammini, M; Perennes, S
The Price of Envy-Freeness in Machine Scheduling 1-gen-2014 V., Bilo'; A., Fanelli; Flammini, Michele; Monaco, Gianpiero; L., Moscardelli
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
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
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 
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
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
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.361 a 1.380 di 1.389
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 ...1389
Autore
  • PELLICCIONE, PATRIZIO140
  • FLAMMINI, MICHELE115
  • TUOSTO, EMILIO87
  • TRUBIANI, CATIA81
  • D'ANGELO, GIANLORENZO78
  • INVERARDI, PAOLA72
  • IOVINO, LUDOVICO68
  • TROQUARD, NICOLAS64
  • DE MITRI, IVAN55
  • OLIVETTI, DENNIS46
Data di pubblicazione
  • 2020 - 2026492
  • 2010 - 2019632
  • 2000 - 2009219
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer87
  • IEEE Computer Society42
  • IEEE37
  • Institute of Electrical and Elect...28
  • Springer Verlag20
  • ACM18
  • Association for Computing Machine...16
  • Springer-Verlag15
  • CEUR-WS12
  • AAAI Press11
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE39
  • JOURNAL OF PHYSICS. CONFERENCE SE...32
  • JOURNAL OF LOW TEMPERATURE PHYSICS16
  • POS PROCEEDINGS OF SCIENCE14
  • ELECTRONIC PROCEEDINGS IN THEORET...13
  • 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 COMPUTER SCIENCE42
  • LECTURE NOTES IN ARTIFICIAL INTEL...37
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...21
  • AIP CONFERENCE PROCEEDINGS9
  • LECTURE NOTES IN BUSINESS INFORMA...8
  • ADVANCES IN NEURAL INFORMATION PR...6
  • CEUR WORKSHOP PROCEEDINGS5
  • FRONTIERS IN ARTIFICIAL INTELLIGE...4
  • LECTURE NOTES IN COMPUTER SCIENCE4
  • PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
  • Software27
  • Computer Science (all)26
  • Theoretical Computer Science18
  • Algorithmic Game Theory7
  • Modeling and Simulation6
  • Reliability and Quality6
  • Risk6
  • Safety6
  • Computer Networks and Communications5
  • Model Driven Engineering5
Lingua
  • eng791
  • ita12
  • und7
  • slv1
Accesso al fulltext
  • no fulltext1182
  • open101
  • reserved96
  • partially open10