Distance Hedonic Games
2020-01-01 Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna
Strategyproof Mechanisms for Friends and Enemies Games
2020-01-01 Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna
The Impact of Selfishness in Hypergraph Hedonic Games
2020-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum
2020-01-01 Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
2020-01-01 Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra
An Operational Guide to Monitorability
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Comparing Controlled System Synthesis and Suppression Enforcement
2019-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
On the Axiomatizability of Priority III: The Return of Sequential Composition
2019-01-01 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna; Ruggaard Pedersen, Mathias
The Cost of Monitoring Alone
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Testing Equivalence vs. Runtime Monitoring
2019-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Metamodel deprecation to manage technical debt in model co-evolution
2020-01-01 Iovino, Ludovico; Di Salle, Amleto; Di Ruscio, Davide; Pierantonio, Alfonso
An extensible tool-chain for analyzing datasets of metamodels
2020-01-01 Barriga, Angela; Di Ruscio, Davide; Iovino, Ludovico; Nguyen, Phuong T.; Pierantonio, Alfonso
TyphonML: A Modeling Environment to Develop Hybrid Polystores
2020-01-01 Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico
Defensive Programming for Smart Home Cybersecurity
2020-01-01 Rossi, Maria Teresa; Greca, Renan; Iovino, Ludovico; Giacinto, Giorgio; Bertolino, Antonia
A comparative study of reinforcement learning techniques to repair models
2020-01-01 Barriga, Angela; Mandow, Lawrence; de la Cruz, José Luis Pérez; Rutle, Adrian; Heldal, Rogardt; Iovino, Ludovico
Design and Fabrication of the KID-Based Light Detectors of CALDER
2016-01-01 Colantoni, I.; Bellini, F.; Cardani, L.; Casali, N.; Castellano, M. G.; Coppolecchia, A.; Cosmelli, C.; Cruciani, A.; D'Addabbo, A.; Di Domizio, S.; Martinez, M.; Tomei, C.; Vignati, M.
First Polarised Light with the NIKA Camera
2015-01-01 Ritacco, A.; Adam, R.; Adane, A.; Ade, P.; André, P.; Beelen, A.; Belier, B.; Benoît, A.; Bideaud, A.; Billot, N.; Bourrion, O.; Calvo, M.; Catalano, A.; Coiffard, G.; Comis, B.; D'Addabbo, A.; Désert, F. -X.; Doyle, S.; Goupy, J.; Kramer, C.; Leclercq, S.; Macías-Pérez, J. F.; Martino, J.; Mauskopf, P.; Maury, A.; Mayet, F.; Monfardini, A.; Pajot, F.; Pascale, E.; Perotto, L.; Pisano, G.; Ponthieu, N.; Rebolo-Iglesias, M.; Revéret, V.; Rodriguez, L.; Savini, G.; Schuster, K.; Sievers, A.; Thum, C.; Triqueneaux, S.; Tucker, C.; Zylka, R.
Development of Lumped Element Kinetic Inductance Detectors for the W-Band
2016-01-01 Paiella, A.; Coppolecchia, A.; Castellano, M. G.; Colantoni, I.; Cruciani, A.; D'Addabbo, A.; de Bernardis, P.; Masi, S.; Presta, G.
Cryogenic Wide-Area Light Detectors for Neutrino and Dark Matter Searches
2014-01-01 Di Domizio, S.; Bagni, R.; Battistelli, E. S.; Bellini, F.; Bucci, C.; Calvo, M.; Cardani, L.; Castellano, M. G.; Coppolecchia, A.; Cosmelli, C.; Cruciani, A.; D'Addabbo, A.; de Bernardis, P.; Masi, S.; Pinci, D.; Vignati, M.
A Low Nuclear Recoil Energy Threshold for Dark Matter Search with CRESST-III Detectors
2018-01-01 Mancuso, M.; Angloher, G.; Bauer, P.; Bento, A.; Bucci, C.; Canonica, L.; D'Addabbo, A.; Defay, X.; Erb, A.; von Feilitzsch, Franz; Ferreiro Iachellini, N.; Gorla, P.; Gütlein, A.; Hauff, D.; Jochum, J.; Kiefer, M.; Kluck, H.; Kraus, H.; Lanfranchi, J. C.; Langenkämper, A.; Loebell, J.; Mondragon, E.; Münster, A.; Pagliarone, C.; Petricca, F.; Potzel, W.; Pröbst, F.; Puig, R.; Reindl, F.; Rothe, J.; Schäffner, K.; Schieck, J.; Schipperges, V.; Schönert, S.; Seidel, W.; Stahlberg, M.; Stodolsky, L.; Strandhagen, C.; Strauss, R.; Tanzke, A.; Trinh Thi, H. H.; Türkoglu, C.; Uffinger, M.; Ulrich, A.; Usherov, I.; Wawoczny, S.; Willers, M.; Wüstrich, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Distance Hedonic Games | 1-gen-2020 | Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna | |
Strategyproof Mechanisms for Friends and Enemies Games | 1-gen-2020 | Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna | |
The Impact of Selfishness in Hypergraph Hedonic Games | 1-gen-2020 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum | 1-gen-2020 | Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias | |
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) | 1-gen-2020 | Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra | |
An Operational Guide to Monitorability | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
Comparing Controlled System Synthesis and Suppression Enforcement | 1-gen-2019 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
On the Axiomatizability of Priority III: The Return of Sequential Composition | 1-gen-2019 | Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna; Ruggaard Pedersen, Mathias | |
The Cost of Monitoring Alone | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
Testing Equivalence vs. Runtime Monitoring | 1-gen-2019 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
Metamodel deprecation to manage technical debt in model co-evolution | 1-gen-2020 | Iovino, Ludovico; Di Salle, Amleto; Di Ruscio, Davide; Pierantonio, Alfonso | |
An extensible tool-chain for analyzing datasets of metamodels | 1-gen-2020 | Barriga, Angela; Di Ruscio, Davide; Iovino, Ludovico; Nguyen, Phuong T.; Pierantonio, Alfonso | |
TyphonML: A Modeling Environment to Develop Hybrid Polystores | 1-gen-2020 | Basciani, Francesco; Di Rocco, Juri; Di Ruscio, Davide; Pierantonio, Alfonso; Iovino, Ludovico | |
Defensive Programming for Smart Home Cybersecurity | 1-gen-2020 | Rossi, Maria Teresa; Greca, Renan; Iovino, Ludovico; Giacinto, Giorgio; Bertolino, Antonia | |
A comparative study of reinforcement learning techniques to repair models | 1-gen-2020 | Barriga, Angela; Mandow, Lawrence; de la Cruz, José Luis Pérez; Rutle, Adrian; Heldal, Rogardt; Iovino, Ludovico | |
Design and Fabrication of the KID-Based Light Detectors of CALDER | 1-gen-2016 | Colantoni, I.; Bellini, F.; Cardani, L.; Casali, N.; Castellano, M. G.; Coppolecchia, A.; Cosmelli, C.; Cruciani, A.; D'Addabbo, A.; Di Domizio, S.; Martinez, M.; Tomei, C.; Vignati, M. | |
First Polarised Light with the NIKA Camera | 1-gen-2015 | Ritacco, A.; Adam, R.; Adane, A.; Ade, P.; André, P.; Beelen, A.; Belier, B.; Benoît, A.; Bideaud, A.; Billot, N.; Bourrion, O.; Calvo, M.; Catalano, A.; Coiffard, G.; Comis, B.; D'Addabbo, A.; Désert, F. -X.; Doyle, S.; Goupy, J.; Kramer, C.; Leclercq, S.; Macías-Pérez, J. F.; Martino, J.; Mauskopf, P.; Maury, A.; Mayet, F.; Monfardini, A.; Pajot, F.; Pascale, E.; Perotto, L.; Pisano, G.; Ponthieu, N.; Rebolo-Iglesias, M.; Revéret, V.; Rodriguez, L.; Savini, G.; Schuster, K.; Sievers, A.; Thum, C.; Triqueneaux, S.; Tucker, C.; Zylka, R. | |
Development of Lumped Element Kinetic Inductance Detectors for the W-Band | 1-gen-2016 | Paiella, A.; Coppolecchia, A.; Castellano, M. G.; Colantoni, I.; Cruciani, A.; D'Addabbo, A.; de Bernardis, P.; Masi, S.; Presta, G. | |
Cryogenic Wide-Area Light Detectors for Neutrino and Dark Matter Searches | 1-gen-2014 | Di Domizio, S.; Bagni, R.; Battistelli, E. S.; Bellini, F.; Bucci, C.; Calvo, M.; Cardani, L.; Castellano, M. G.; Coppolecchia, A.; Cosmelli, C.; Cruciani, A.; D'Addabbo, A.; de Bernardis, P.; Masi, S.; Pinci, D.; Vignati, M. | |
A Low Nuclear Recoil Energy Threshold for Dark Matter Search with CRESST-III Detectors | 1-gen-2018 | Mancuso, M.; Angloher, G.; Bauer, P.; Bento, A.; Bucci, C.; Canonica, L.; D'Addabbo, A.; Defay, X.; Erb, A.; von Feilitzsch, Franz; Ferreiro Iachellini, N.; Gorla, P.; Gütlein, A.; Hauff, D.; Jochum, J.; Kiefer, M.; Kluck, H.; Kraus, H.; Lanfranchi, J. C.; Langenkämper, A.; Loebell, J.; Mondragon, E.; Münster, A.; Pagliarone, C.; Petricca, F.; Potzel, W.; Pröbst, F.; Puig, R.; Reindl, F.; Rothe, J.; Schäffner, K.; Schieck, J.; Schipperges, V.; Schönert, S.; Seidel, W.; Stahlberg, M.; Stodolsky, L.; Strandhagen, C.; Strauss, R.; Tanzke, A.; Trinh Thi, H. H.; Türkoglu, C.; Uffinger, M.; Ulrich, A.; Usherov, I.; Wawoczny, S.; Willers, M.; Wüstrich, M. |
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