Lumped element kinetic inductance detectors for space applications
2016-01-01 Monfardini, Alessandro; Baselmans, Jochem; Benoit, Alain; Bideaud, Aurelien; Bourrion, Olivier; Catalano, Andrea; Calvo, Martino; D'Addabbo, Antonio; Doyle, Simon; Goupy, Johannes; Le Sueur, Helene; Macias-Perez, Juan
The CUORE Cryostat: A 1-Ton Scale Setup for Bolometric Detectors
2015-01-01 Ligi, C.; Alduino, C.; Alessandria, F.; Biassoni, M.; Bucci, C.; Caminata, A.; Canonica, L.; Cappelli, L.; Chott, N. I.; Copello, S.; D'Addabbo, A.; Dell’Oro, S.; Drobizhev, A.; Franceschi, M. A.; Gladstone, L.; Gorla, P.; Napolitano, T.; Nucciotti, A.; Orlandi, D.; Ouellet, J.; Pagliarone, C.; Pattavina, L.; Rusconi, C.; Santone, D.; Singh, V.; Taffarello, L.; Terranova, F.; Uttaro, S.
Towards Choreographic-Based Monitoring
2020-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
An Abstract Framework for Choreographic Testing
2020-01-01 Coto, Alex; Guanciale, Roberto; Tuosto, Emilio
Towards Refinable Choreographies
2020-01-01 De'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
AErlang: Empowering Erlang with Attribute-Based Communication
2017-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
A Reference Architecture for Personalized and Self-adaptive e-Health Apps
2020-01-01 Martino Grua, Eoin; DE SANCTIS, Martina; Lago, Patricia
Supporting Smart Cities Modeling with Graphical and Textual Editors
2020-01-01 Basciani, Francesco; De Sanctis, Martina; Rossi, Maria Teresa
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Lumped element kinetic inductance detectors for space applications | 1-gen-2016 | Monfardini, Alessandro; Baselmans, Jochem; Benoit, Alain; Bideaud, Aurelien; Bourrion, Olivier; Catalano, Andrea; Calvo, Martino; D'Addabbo, Antonio; Doyle, Simon; Goupy, Johannes; Le Sueur, Helene; Macias-Perez, Juan | |
| The CUORE Cryostat: A 1-Ton Scale Setup for Bolometric Detectors | 1-gen-2015 | Ligi, C.; Alduino, C.; Alessandria, F.; Biassoni, M.; Bucci, C.; Caminata, A.; Canonica, L.; Cappelli, L.; Chott, N. I.; Copello, S.; D'Addabbo, A.; Dell’Oro, S.; Drobizhev, A.; Franceschi, M. A.; Gladstone, L.; Gorla, P.; Napolitano, T.; Nucciotti, A.; Orlandi, D.; Ouellet, J.; Pagliarone, C.; Pattavina, L.; Rusconi, C.; Santone, D.; Singh, V.; Taffarello, L.; Terranova, F.; Uttaro, S. | |
| Towards Choreographic-Based Monitoring | 1-gen-2020 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
| An Abstract Framework for Choreographic Testing | 1-gen-2020 | Coto, Alex; Guanciale, Roberto; Tuosto, Emilio | |
| Towards Refinable Choreographies | 1-gen-2020 | De'Liguoro, Ugo; Melgratti, Hernán; Tuosto, Emilio | |
| Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
| AErlang: Empowering Erlang with Attribute-Based Communication | 1-gen-2017 | De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia | |
| A Reference Architecture for Personalized and Self-adaptive e-Health Apps | 1-gen-2020 | Martino Grua, Eoin; DE SANCTIS, Martina; Lago, Patricia | |
| Supporting Smart Cities Modeling with Graphical and Textual Editors | 1-gen-2020 | Basciani, Francesco; De Sanctis, Martina; Rossi, Maria Teresa | |
| 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 |
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 ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- 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 SCIENCE43
- 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 PROCEEDINGS6
- 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
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10