Dynamic Provisioning of REST APIs for Model Management
2024-01-01 Tuyishime, Adiel; Basciani, Francesco; Cánovas Izquierdo, Javier Luis; Iovino, Ludovico
Description and Performance of the COSINUS remoTES Design
2024-01-01 Zema, V.; Shera, K.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P. R.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zhu, Y.
A Vibration Decoupling System for TES Operation in the COSINUS Dry Dilution Refrigerator
2024-01-01 Kellermann, M.; Angloher, G.; Bharadawj, M. R.; Cababie, M.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M. J.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y.
COSINUS:TES-instrumented NaI Crystals for Direct Dark Matter Search
2024-01-01 Stahlberg, M.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Fuss, A.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Shera, K.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y.
Improving Fairness in Information Exposure by Adding Links
2023-01-01 Becker, Ruben; D'Angelo, Gianlorenzo; Ghobadi, Sajjad
Waste Management Through Digital Twins and Business Process Modeling
2024-01-01 Di Salle, Amleto; Fedeli, Arianna; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Rebelo, Luciana; Rossi, Maria Teresa
Marine Data Observability using KPIS: An MDSE Approach
2023-01-01 Lima, Keila; Iovino, Ludovico; Rossi, Maria Teresa; Heldal, Rogardt; Oyetoyan, Tosin Daniel; De Sanctis, Martina
Keeping clients' models up-to-date with Edelta
2024-01-01 Bettini, Lorenzo; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso
Process Algebras and Flocks of Birds
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Accurate Static Data Race Detection for C
2025-01-01 Sales, Emerson; Inverso, Omar; Tuosto, Emilio
Modeling terms by graphs with structure constraints (two illustrations)
2019-01-01 Grabmayer, C.
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
2021-01-01 Grabmayer, C.
Tight Error Analysis in Fixed-Point Arithmetic
2020-01-01 Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
2025-01-01 Di Stefano, Luca; Inverso, Omar
Flocks of Birds: A Quantitative Evaluation
2024-01-01 Incerto, Emilio; Trubiani, Catia
Is it Worth Migrating a Monolith to Microservices? An Experience Report on Performance, Availability and Energy Usage
2024-01-01 Berry, Vincent; Castelltort, Arnaud; Lange, Benoit; Teriihoania, Joan; Tibermacine, Chouki; Trubiani, Catia
Generalized Distance Polymatrix Games (short paper)
2024-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
2024-01-01 Grabmayer, C.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Dynamic Provisioning of REST APIs for Model Management | 1-gen-2024 | Tuyishime, Adiel; Basciani, Francesco; Cánovas Izquierdo, Javier Luis; Iovino, Ludovico | |
| Description and Performance of the COSINUS remoTES Design | 1-gen-2024 | Zema, V.; Shera, K.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P. R.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zhu, Y. | |
| A Vibration Decoupling System for TES Operation in the COSINUS Dry Dilution Refrigerator | 1-gen-2024 | Kellermann, M.; Angloher, G.; Bharadawj, M. R.; Cababie, M.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Stahlberg, M.; Stendahl, A.; Stukel, M. J.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y. | |
| COSINUS:TES-instrumented NaI Crystals for Direct Dark Matter Search | 1-gen-2024 | Stahlberg, M.; Angloher, G.; Bharadwaj, M. R.; Cababie, M. R.; Dafinei, I.; Di Marco, N.; Einfalt, L.; Ferroni, F.; Fichtinger, S.; Filipponi, A.; Frank, T.; Friedl, M.; Fuss, A.; Ge, Z.; Heikinheimo, M.; Hughes, M. N.; Huitu, K.; Kellermann, M.; Maji, R.; Mancuso, M.; Pagnanini, L.; Petricca, F.; Pirro, S.; Pröbst, F.; Profeta, G.; Puiu, A.; Reindl, F.; Schäffner, K.; Schieck, J.; Schmiedmayer, D.; Schreiner, P.; Schwertner, C.; Shera, K.; Stendahl, A.; Stukel, M.; Tresca, C.; Wagner, F.; Yue, S.; Zema, V.; Zhu, Y. | |
| Improving Fairness in Information Exposure by Adding Links | 1-gen-2023 | Becker, Ruben; D'Angelo, Gianlorenzo; Ghobadi, Sajjad | |
| Waste Management Through Digital Twins and Business Process Modeling | 1-gen-2024 | Di Salle, Amleto; Fedeli, Arianna; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Rebelo, Luciana; Rossi, Maria Teresa | |
| Marine Data Observability using KPIS: An MDSE Approach | 1-gen-2023 | Lima, Keila; Iovino, Ludovico; Rossi, Maria Teresa; Heldal, Rogardt; Oyetoyan, Tosin Daniel; De Sanctis, Martina | |
| Keeping clients' models up-to-date with Edelta | 1-gen-2024 | Bettini, Lorenzo; Di Ruscio, Davide; Di Salle, Amleto; Iovino, Ludovico; Pierantonio, Alfonso | |
| Process Algebras and Flocks of Birds | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Accurate Static Data Race Detection for C | 1-gen-2025 | Sales, Emerson; Inverso, Omar; Tuosto, Emilio | |
| Modeling terms by graphs with structure constraints (two illustrations) | 1-gen-2019 | Grabmayer, C. | |
| Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions | 1-gen-2021 | Grabmayer, C. | |
| Tight Error Analysis in Fixed-Point Arithmetic | 1-gen-2020 | Simić, Stella; Bemporad, Alberto; Inverso, Omar; Tribastone, Mirco | |
| Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | 1-gen-2025 | Di Stefano, Luca; Inverso, Omar | |
| Flocks of Birds: A Quantitative Evaluation | 1-gen-2024 | Incerto, Emilio; Trubiani, Catia | |
| Is it Worth Migrating a Monolith to Microservices? An Experience Report on Performance, Availability and Energy Usage | 1-gen-2024 | Berry, Vincent; Castelltort, Arnaud; Lange, Benoit; Teriihoania, Joan; Tibermacine, Chouki; Trubiani, Catia | |
| Generalized Distance Polymatrix Games (short paper) | 1-gen-2024 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
| From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes | 1-gen-2024 | Grabmayer, C. |
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 ...1132
Data di pubblicazione
- 2020 - 2025273
- 2010 - 2019600
- 2000 - 2009213
- 1990 - 199941
- 1982 - 19895
Editore
- Springer82
- IEEE Computer Society38
- IEEE31
- Institute of Electrical and Elect...22
- Springer Verlag20
- ACM18
- 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 PHYSICS16
- POS PROCEEDINGS OF SCIENCE13
- ELECTRONIC PROCEEDINGS IN THEORET...10
- 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...36
- LEIBNIZ INTERNATIONAL PROCEEDINGS...19
- LECTURE NOTES IN COMPUTER SCIENCE17
- AIP CONFERENCE PROCEEDINGS7
- ADVANCES IN NEURAL INFORMATION PR...4
- 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
- eng667
- ita11
- und7
- slv1
Accesso al fulltext
- no fulltext965
- reserved96
- open67
- partially open4