Data-driven Adaptation in Microservice-based IoT Architectures
2020-01-01 Sanctis, Martina De; Muccini, Henry; Vaidhyanathan, Karthik
An Extensible Framework for Customizable Model Repair
2020-01-01 Barriga, Angela; Heldal, Rogardt; Iovino, Ludovico; Marthinsen, Magnus; Rutle, Adrian
A Flexible Architecture for Key Performance Indicators Assessment in Smart Cities
2020-01-01 DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel
A Multilevel Modelling Approach for Tourism Flows Detection
2019-01-01 Rossi, MARIA TERESA; DE SANCTIS, Martina; Iovino, Ludovico; Rutle, Adrian
Automated Code Generation for NFC-based Access Control
2019-01-01 Iovino, Ludovico; DE SANCTIS, Martina; Rossi, MARIA TERESA
Automated Classification of Metamodel Repositories: A Machine Learning Approach
2019-01-01 Nguyen, Phuong T.; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
Query-Based Impact Analysis of Metamodel Evolutions
2019-01-01 Iovino, Ludovico; Rutle, Adrian; Pierantonio, Alfonso; Di Rocco, Juri
Probabilistic Analysis of Binary Sessions
2020-01-01 Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio
Choreographic Development of Message-Passing Applications
2020-01-01 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
Choreography Automata
2020-01-01 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Towards A Formal Semantics For Autonomic Components
2008-01-01 Aldinucci, Marco; Tuosto, Emilio
The POEMMA (Probe of Extreme Multi-Messenger Astrophysics) mission
2019-01-01 Olinto, A. V.; Adams, J. H.; Aloisio, R.; Anchordoqui, L. A.; Bergman, D. R.; Bertaina, M. E.; Bertone, P.; Bisconti, F.; Bustamante, M.; Casolino, M.; Christl, M. J.; Cummings, A. L.; De Mitri, I.; Diesing, R.; Eser, J. B.; Fenu, F.; Guépin, C.; Hays, E. A.; Judd, E.; Krizmanic, J. F.; Kuznetsov, E.; Liberatore, A.; Mackovjak, S.; Mcenery, J.; Mitchell, J. W.; Neronov, A.; Oikonomou, F.; Otte, A. N.; Parizot, E.; Paul, T. C.; Perkins, J. S.; Prévôt, G.; Reardon, P.; Reno, M. H.; Ricci, M.; Sarazin, F.; Shinozaki, K.; Soriano, J. F.; Stecker, F.; Takizawa, Y.; Ulrich, R.; Unger, M.; Venters, T.; Wiencke, L.; Young, R. M.
Sensitivity to Atypical Tau Initiated Air Showers For a High-Altitude Optical Cherenkov Detector
2019-01-01 Cummings, AUSTIN LEE; Aloisio, Roberto; Bertaina, Mario; Bisconti, Francesca; Fenu, Francesco; Salamida, Francesco
A More Complete Phenomenology of Tau Lepton Induced Air Showers
2019-01-01 Cummings, AUSTIN LEE; Aloisio, Roberto; Bertaina, Mario; Bisconti, Francesca; Fenu, Francesco; Salamida, Francesco
Ultra High Energy Cosmic Rays and the Highest Energies Universe
2020-01-01 Aloisio, R
A Choreography-Driven Approach to APIs: The OpenDXL Case Study
2020-01-01 Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio
On Learning Nominal Automata with Binders
2019-01-01 Xiao, Yi; Tuosto, Emilio
Interface Automata for Choreographies
2019-01-01 Zeng, Hao; Kurz, Alexander; Tuosto, Emilio
Underwater acoustic positioning system for the SMO and KM3NeT - Italia projects
2014-01-01 Viola, S.; Aiello, S.; Ameli, F.; Anghinolfi, M.; Barbagallo, G.; Barbarino, G.; Barbarito, E.; Barbato, F.; Bellotti, G.; Beverini, N.; Biagi, S.; Bouhadef, B.; Bozza, C.; Cacopardo, G.; Calamai, M.; Calí, C.; Capone, A.; Caruso, F.; Cecioni, C.; Ceres, A.; Chiarusi, T.; Chierici, F.; Circella, M.; Cocimano, R.; Coniglione, R.; Costa, M.; Cuttone, G.; D'Amato, C.; D'Amato, V.; D'Amico, A.; De Bonis, G.; De Luca, V.; Del Tevere, F.; Deniskina, N.; De Rosa, G.; Distefano, C.; Favali, P.; Fermani, P.; Ferrera, F.; Flaminio, V.; Franco, L.; Fusco, L. A.; Garufi, F.; Giordano, V.; Giovanetti, G.; Gmerk, A.; Grasso, R.; Grella, G.; Hugon, C.; Imbesi, M.; Kulikovsky, V.; Larosa, G.; Lattuada, D.; Leonora, E.; Litrico, P.; Lonardo, A.; Longhitano, F.; Presti, D. Lo; Maccioni, E.; Margiotta, A.; Martini, A.; Masullo, R.; Migliozzi, P.; Migneco, E.; Miraglia, A.; Mollo, C.; Mongelli, M.; Morganti, M.; Musico, P.; Musumeci, M.; Nicolau, C. A.; Orlando, A.; Papaleo, R.; Pavan, G.; Pellegrino, C.; Pellegriti, M. G.; Perrina, C.; Piattelli, P.; Pugliatti, C.; Pulvirenti, S.; Raffaelli, F.; Randazzo, N.; Riccobene, G.; Rovelli, A.; Sanguineti, M.; Sapienza, P.; Sciacca, V.; Sgura, I.; Simeone, F.; Sipala, V.; Spurio, M.; Speziale, F.; Spina, M.; Spitaleri, A.; Taiuti, M.; Terreni, G.; Trasatti, L.; Trovato, A.; Ventura, C.; Vicini, P.; Vivolo, D.
Vacuum silicon photo multiplier tube (VSiPMT): Towards a new generation of photon detectors
2014-01-01 Barbarino, G.; Barbato, F. C. T.; De Rosa, G.; Fiorillo, G.; Vivolo, D.; de Asmundis, R.; Migliozzi, P.; Mollo, C. M.; Rossi, B.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Data-driven Adaptation in Microservice-based IoT Architectures | 1-gen-2020 | Sanctis, Martina De; Muccini, Henry; Vaidhyanathan, Karthik | |
| An Extensible Framework for Customizable Model Repair | 1-gen-2020 | Barriga, Angela; Heldal, Rogardt; Iovino, Ludovico; Marthinsen, Magnus; Rutle, Adrian | |
| A Flexible Architecture for Key Performance Indicators Assessment in Smart Cities | 1-gen-2020 | DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel | |
| A Multilevel Modelling Approach for Tourism Flows Detection | 1-gen-2019 | Rossi, MARIA TERESA; DE SANCTIS, Martina; Iovino, Ludovico; Rutle, Adrian | |
| Automated Code Generation for NFC-based Access Control | 1-gen-2019 | Iovino, Ludovico; DE SANCTIS, Martina; Rossi, MARIA TERESA | |
| Automated Classification of Metamodel Repositories: A Machine Learning Approach | 1-gen-2019 | Nguyen, Phuong T.; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico | |
| Query-Based Impact Analysis of Metamodel Evolutions | 1-gen-2019 | Iovino, Ludovico; Rutle, Adrian; Pierantonio, Alfonso; Di Rocco, Juri | |
| Probabilistic Analysis of Binary Sessions | 1-gen-2020 | Inverso, Omar; Melgratti, Hernán; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio | |
| Choreographic Development of Message-Passing Applications | 1-gen-2020 | Alex, Coto; Guanciale, Roberto; Tuosto, Emilio | |
| Choreography Automata | 1-gen-2020 | Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | |
| Towards A Formal Semantics For Autonomic Components | 1-gen-2008 | Aldinucci, Marco; Tuosto, Emilio | |
| The POEMMA (Probe of Extreme Multi-Messenger Astrophysics) mission | 1-gen-2019 | Olinto, A. V.; Adams, J. H.; Aloisio, R.; Anchordoqui, L. A.; Bergman, D. R.; Bertaina, M. E.; Bertone, P.; Bisconti, F.; Bustamante, M.; Casolino, M.; Christl, M. J.; Cummings, A. L.; De Mitri, I.; Diesing, R.; Eser, J. B.; Fenu, F.; Guépin, C.; Hays, E. A.; Judd, E.; Krizmanic, J. F.; Kuznetsov, E.; Liberatore, A.; Mackovjak, S.; Mcenery, J.; Mitchell, J. W.; Neronov, A.; Oikonomou, F.; Otte, A. N.; Parizot, E.; Paul, T. C.; Perkins, J. S.; Prévôt, G.; Reardon, P.; Reno, M. H.; Ricci, M.; Sarazin, F.; Shinozaki, K.; Soriano, J. F.; Stecker, F.; Takizawa, Y.; Ulrich, R.; Unger, M.; Venters, T.; Wiencke, L.; Young, R. M. | |
| Sensitivity to Atypical Tau Initiated Air Showers For a High-Altitude Optical Cherenkov Detector | 1-gen-2019 | Cummings, AUSTIN LEE; Aloisio, Roberto; Bertaina, Mario; Bisconti, Francesca; Fenu, Francesco; Salamida, Francesco | |
| A More Complete Phenomenology of Tau Lepton Induced Air Showers | 1-gen-2019 | Cummings, AUSTIN LEE; Aloisio, Roberto; Bertaina, Mario; Bisconti, Francesca; Fenu, Francesco; Salamida, Francesco | |
| Ultra High Energy Cosmic Rays and the Highest Energies Universe | 1-gen-2020 | Aloisio, R | |
| A Choreography-Driven Approach to APIs: The OpenDXL Case Study | 1-gen-2020 | Frittelli, Leonardo; Maldonado, Facundo; Melgratti, Hernán; Tuosto, Emilio | |
| On Learning Nominal Automata with Binders | 1-gen-2019 | Xiao, Yi; Tuosto, Emilio | |
| Interface Automata for Choreographies | 1-gen-2019 | Zeng, Hao; Kurz, Alexander; Tuosto, Emilio | |
| Underwater acoustic positioning system for the SMO and KM3NeT - Italia projects | 1-gen-2014 | Viola, S.; Aiello, S.; Ameli, F.; Anghinolfi, M.; Barbagallo, G.; Barbarino, G.; Barbarito, E.; Barbato, F.; Bellotti, G.; Beverini, N.; Biagi, S.; Bouhadef, B.; Bozza, C.; Cacopardo, G.; Calamai, M.; Calí, C.; Capone, A.; Caruso, F.; Cecioni, C.; Ceres, A.; Chiarusi, T.; Chierici, F.; Circella, M.; Cocimano, R.; Coniglione, R.; Costa, M.; Cuttone, G.; D'Amato, C.; D'Amato, V.; D'Amico, A.; De Bonis, G.; De Luca, V.; Del Tevere, F.; Deniskina, N.; De Rosa, G.; Distefano, C.; Favali, P.; Fermani, P.; Ferrera, F.; Flaminio, V.; Franco, L.; Fusco, L. A.; Garufi, F.; Giordano, V.; Giovanetti, G.; Gmerk, A.; Grasso, R.; Grella, G.; Hugon, C.; Imbesi, M.; Kulikovsky, V.; Larosa, G.; Lattuada, D.; Leonora, E.; Litrico, P.; Lonardo, A.; Longhitano, F.; Presti, D. Lo; Maccioni, E.; Margiotta, A.; Martini, A.; Masullo, R.; Migliozzi, P.; Migneco, E.; Miraglia, A.; Mollo, C.; Mongelli, M.; Morganti, M.; Musico, P.; Musumeci, M.; Nicolau, C. A.; Orlando, A.; Papaleo, R.; Pavan, G.; Pellegrino, C.; Pellegriti, M. G.; Perrina, C.; Piattelli, P.; Pugliatti, C.; Pulvirenti, S.; Raffaelli, F.; Randazzo, N.; Riccobene, G.; Rovelli, A.; Sanguineti, M.; Sapienza, P.; Sciacca, V.; Sgura, I.; Simeone, F.; Sipala, V.; Spurio, M.; Speziale, F.; Spina, M.; Spitaleri, A.; Taiuti, M.; Terreni, G.; Trasatti, L.; Trovato, A.; Ventura, C.; Vicini, P.; Vivolo, D. | |
| Vacuum silicon photo multiplier tube (VSiPMT): Towards a new generation of photon detectors | 1-gen-2014 | Barbarino, G.; Barbato, F. C. T.; De Rosa, G.; Fiorillo, G.; Vivolo, D.; de Asmundis, R.; Migliozzi, P.; Mollo, C. M.; Rossi, B. |
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
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