Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, Ian; Francalanza, Adrian; Mezzina, Antares; Tuosto, E
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games
2018-01-01 Flammini, M.; Monaco, G.; Zhang, Q.
The cauchy problem for the maxwell–Schrödinger system with a power-type nonlinearity
2018-01-01 Antonelli, P.; D'Amico, M.; Marcati, P.
Communicating machines as a dynamic binding mechanism of services
2015-01-01 Vissani, Ignacio; Pombo, López; Tuosto, E
Magnetic monopole trigger with streamer tubes in the macro experiment at gran sasso
1995-01-01 DE MITRI, Ivan
Resolving Non-determinism in Choreographies
2014-01-01 Bocchi, Laura; Melgratti, C; Tuosto, E
Minimum Flow Time Graph Ordering
2003-01-01 Arbib, C; Flammini, M; Marinelli, F
Characterization Results of All Shortest Paths Interval Routing Schemes
1998-01-01 Flammini, M; Gambosi, G; Nanni, U; Tan, R. B.
Experimental verification of the HERD prototype at CERN SPS
2016-01-01 Dong, Yongwei; Quan, Zheng; Wang, Junjing; Xu, Ming; Albergo, Sebastiano; Ambroglini, Filippo; Ambrosi, Giovanni; Azzarello, Philipp; Bai, Yonglin; Bao, Tianwei; Baldini, Luca; Battiston, Roberto; Bernardini, Paolo; Chen, Zhen; D'Alessandro, Raffaello; Duranti, Matteo; D'Urso, Domenico; Fusco, Piergiorgio; Gao, Jiarui; Gao, Xiaohui; Gargano, Fabio; Giglietto, Nicola; Hu, Bingliang; Li, Ran; Li, Yong; Liu, Xin; Loparco, Francesco; Lu, Junguang; Marsella, Giovanni; Mazziotta, Mario N.; DE MITRI, Ivan; Mori, Nicola; Orsi, Silvio; Oscar, Adriani; Pearce, Mark; Pohl, Martin; Ryde, Felix; Shi, Dalian; Spillantini, Piero; Su, Meng; Sun, Xin; Surdo, Antonio; Walter, Roland; Wang, Bo; Wang, Le; Wang, Ruijie; Wang, Zhigang; Wu, Bobing; Wu, Xin; Yan, Peng; Zhang, Li; Zhang, Shuangnan
What Can Be Verified Locally?
2017-01-01 Balliu, A; D'Angelo, G; Fraigniaud, P; Olivetti, D
Arc-Flags in Dynamic Graphs
2009-01-01 E., Berrettini; D'Angelo, G; D., Delling
Gathering of Six Robots on Anonymous Symmetric Rings
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
Diverse routing in networks with star SRLGs
2012-01-01 Bermond, ; J., -C.; Coudert, D.; D'Angelo, G; Moataz, F. Z.
The Quasineutral Limit for the Navier-Stokes-Fourier-Poisson System
2014-01-01 Donatelli D; MARCATI, ; Marcati, Pierangelo
Quark nuggets search using 2350 Kg gravitational waves aluminum bar detectors
2013-01-01 Astone, P; Bassan, Massimo; Coccia, Eugenio; D'Antonio, S; Fafone, Viviana; Giordano, G; Marini, A; Minenkov, Y; Modena, Ivo; Moleti, Arturo; Pallottino, Gv; Pizzella, Guido; A. Rocchi, A; Ronga, F; Visco, M.
The DAQ system for CORAM (COsmic RAy Mission) experiment
2015-01-01 Chiarello, Gianluigi; Coluccia, MARIA RITA; Corvaglia, A.; DE MITRI, Ivan; Panareo, Marco; Pinto, Carlo
Almost Envy-Free Allocations with Connected Bundles
2019-01-01 Flammini, Michele
Automatic localization of the hippocampal region in MR images to asses early diagnosis of Alzheimer’s disease in MCI patients
2008-01-01 Calvini, P.; Chincarini, A.; Donadio, S.; Gemme, G.; Squarcia, S.; Nobili, F.; Rodriguez, G.; Bellotti, R.; Catanzariti, E.; Cerello, P.; De Mitri, I.; Fantacci, M. E.
An Innovative Lung Segmentation Algorithm in CT Images with Accurate Delimitation of the Hilus Pulmonis
2008-01-01 DE MITRI, Ivan
Search for gravitational wave bursts by the network of resonant detectors
2002-01-01 Astone, P; Baggio, L; Busby, D; Bassan, M; Blair, D; Bonaldi, M; Bonifazi, P; Carelli, P; Cerdonio, M; Coccia, E; Conti, L; Cosmelli, C; D'Antonio, S; Fafone, V; Falferi, P; Fortini, P; Frasca, S; Hamilton, W; Heng, I; Ivanov, E; Johnson, W; Locke, C; Marini, A; Mauceli, E; Mchugh, M; Mezzena, R; Minenkov, Y; Modena, I; Modestino, G; Moleti, A; Ortolan, A; Pallottino, G; Pizzella, G; Prodi, G; Quintieri, L; Rocchi, A; Rocco, E; Ronga, F; Salemi, F; Santostasi, G; Taffarello, L; Terenzi, R; Tobar, M; Vedovato, G; Vinante, A; Visco, M; Vitale, S; Zendri, J
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, Ian; Francalanza, Adrian; Mezzina, Antares; Tuosto, E | |
| Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games | 1-gen-2018 | Flammini, M.; Monaco, G.; Zhang, Q. | |
| The cauchy problem for the maxwell–Schrödinger system with a power-type nonlinearity | 1-gen-2018 | Antonelli, P.; D'Amico, M.; Marcati, P. | |
| Communicating machines as a dynamic binding mechanism of services | 1-gen-2015 | Vissani, Ignacio; Pombo, López; Tuosto, E | |
| Magnetic monopole trigger with streamer tubes in the macro experiment at gran sasso | 1-gen-1995 | DE MITRI, Ivan | |
| Resolving Non-determinism in Choreographies | 1-gen-2014 | Bocchi, Laura; Melgratti, C; Tuosto, E | |
| Minimum Flow Time Graph Ordering | 1-gen-2003 | Arbib, C; Flammini, M; Marinelli, F | |
| Characterization Results of All Shortest Paths Interval Routing Schemes | 1-gen-1998 | Flammini, M; Gambosi, G; Nanni, U; Tan, R. B. | |
| Experimental verification of the HERD prototype at CERN SPS | 1-gen-2016 | Dong, Yongwei; Quan, Zheng; Wang, Junjing; Xu, Ming; Albergo, Sebastiano; Ambroglini, Filippo; Ambrosi, Giovanni; Azzarello, Philipp; Bai, Yonglin; Bao, Tianwei; Baldini, Luca; Battiston, Roberto; Bernardini, Paolo; Chen, Zhen; D'Alessandro, Raffaello; Duranti, Matteo; D'Urso, Domenico; Fusco, Piergiorgio; Gao, Jiarui; Gao, Xiaohui; Gargano, Fabio; Giglietto, Nicola; Hu, Bingliang; Li, Ran; Li, Yong; Liu, Xin; Loparco, Francesco; Lu, Junguang; Marsella, Giovanni; Mazziotta, Mario N.; DE MITRI, Ivan; Mori, Nicola; Orsi, Silvio; Oscar, Adriani; Pearce, Mark; Pohl, Martin; Ryde, Felix; Shi, Dalian; Spillantini, Piero; Su, Meng; Sun, Xin; Surdo, Antonio; Walter, Roland; Wang, Bo; Wang, Le; Wang, Ruijie; Wang, Zhigang; Wu, Bobing; Wu, Xin; Yan, Peng; Zhang, Li; Zhang, Shuangnan | |
| What Can Be Verified Locally? | 1-gen-2017 | Balliu, A; D'Angelo, G; Fraigniaud, P; Olivetti, D | |
| Arc-Flags in Dynamic Graphs | 1-gen-2009 | E., Berrettini; D'Angelo, G; D., Delling | |
| Gathering of Six Robots on Anonymous Symmetric Rings | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
| Diverse routing in networks with star SRLGs | 1-gen-2012 | Bermond, ; J., -C.; Coudert, D.; D'Angelo, G; Moataz, F. Z. | |
| The Quasineutral Limit for the Navier-Stokes-Fourier-Poisson System | 1-gen-2014 | Donatelli D; MARCATI, ; Marcati, Pierangelo | |
| Quark nuggets search using 2350 Kg gravitational waves aluminum bar detectors | 1-gen-2013 | Astone, P; Bassan, Massimo; Coccia, Eugenio; D'Antonio, S; Fafone, Viviana; Giordano, G; Marini, A; Minenkov, Y; Modena, Ivo; Moleti, Arturo; Pallottino, Gv; Pizzella, Guido; A. Rocchi, A; Ronga, F; Visco, M. | |
| The DAQ system for CORAM (COsmic RAy Mission) experiment | 1-gen-2015 | Chiarello, Gianluigi; Coluccia, MARIA RITA; Corvaglia, A.; DE MITRI, Ivan; Panareo, Marco; Pinto, Carlo | |
| Almost Envy-Free Allocations with Connected Bundles | 1-gen-2019 | Flammini, Michele | |
| Automatic localization of the hippocampal region in MR images to asses early diagnosis of Alzheimer’s disease in MCI patients | 1-gen-2008 | Calvini, P.; Chincarini, A.; Donadio, S.; Gemme, G.; Squarcia, S.; Nobili, F.; Rodriguez, G.; Bellotti, R.; Catanzariti, E.; Cerello, P.; De Mitri, I.; Fantacci, M. E. | |
| An Innovative Lung Segmentation Algorithm in CT Images with Accurate Delimitation of the Hilus Pulmonis | 1-gen-2008 | DE MITRI, Ivan | |
| Search for gravitational wave bursts by the network of resonant detectors | 1-gen-2002 | Astone, P; Baggio, L; Busby, D; Bassan, M; Blair, D; Bonaldi, M; Bonifazi, P; Carelli, P; Cerdonio, M; Coccia, E; Conti, L; Cosmelli, C; D'Antonio, S; Fafone, V; Falferi, P; Fortini, P; Frasca, S; Hamilton, W; Heng, I; Ivanov, E; Johnson, W; Locke, C; Marini, A; Mauceli, E; Mchugh, M; Mezzena, R; Minenkov, Y; Modena, I; Modestino, G; Moleti, A; Ortolan, A; Pallottino, G; Pizzella, G; Prodi, G; Quintieri, L; Rocchi, A; Rocco, E; Ronga, F; Salemi, F; Santostasi, G; Taffarello, L; Terenzi, R; Tobar, M; Vedovato, G; Vinante, A; Visco, M; Vitale, S; Zendri, 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
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