Results on 82Se 2νββ with CUPID-0 Phase I
2020-01-01 Pagnanini, L; Azzolini, O; Beeman, J W; Bellini, F; Beretta, M; Biassoni, M; Brofferio, C; Bucci, C; Capelli, S; Cardani, L; Carniti, P; Casali, N; Chiesa, D; Clemenza, M; Cremonesi, O; Cruciani, A; Dafinei, I; Domizio, S Di; Ferroni, F; Gironi, L; Giuliani, A; Gorla, P; Gotti, C; Keppel, G; Martinez, M; Nagorny, S; Nastasi, M; Nisi, S; Nones, C; Orlandi, D; Pallavicini, M; Pattavina, L; Pavan, M; Pessina, G; Pettinacci, V; Pirro, S; Pozzi, S; Previtali, E; Puiu, A; Rusconi, C; Schäffner, K; Tomei, C; Vignati, M; Zolotarova, A S
Edelta 2.0: Supporting Live Metamodel Evolutions
2020-01-01 Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso
Parameterized Complexity of Manipulating Sequential Allocation
2020-01-01 Flammini, Michele; Gilbert, Hugo
Inequity Aversion Pricing in Multi-Unit Markets
2020-01-01 Flammini, Michele; Mauro, Manuel; Tonelli, Matteo; Vinci, Cosimo
The Quality of Content Publishing in the Digital Era
2020-01-01 Bilò, Vittorio; Flammini, Michele; Vinci, Cosimo
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Results on 82Se 2νββ with CUPID-0 Phase I | 1-gen-2020 | Pagnanini, L; Azzolini, O; Beeman, J W; Bellini, F; Beretta, M; Biassoni, M; Brofferio, C; Bucci, C; Capelli, S; Cardani, L; Carniti, P; Casali, N; Chiesa, D; Clemenza, M; Cremonesi, O; Cruciani, A; Dafinei, I; Domizio, S Di; Ferroni, F; Gironi, L; Giuliani, A; Gorla, P; Gotti, C; Keppel, G; Martinez, M; Nagorny, S; Nastasi, M; Nisi, S; Nones, C; Orlandi, D; Pallavicini, M; Pattavina, L; Pavan, M; Pessina, G; Pettinacci, V; Pirro, S; Pozzi, S; Previtali, E; Puiu, A; Rusconi, C; Schäffner, K; Tomei, C; Vignati, M; Zolotarova, A S | |
| Edelta 2.0: Supporting Live Metamodel Evolutions | 1-gen-2020 | Bettini, Lorenzo; Di Ruscio, Davide; Iovino, Ludovico; Pierantonio, Alfonso | |
| Parameterized Complexity of Manipulating Sequential Allocation | 1-gen-2020 | Flammini, Michele; Gilbert, Hugo | |
| Inequity Aversion Pricing in Multi-Unit Markets | 1-gen-2020 | Flammini, Michele; Mauro, Manuel; Tonelli, Matteo; Vinci, Cosimo | |
| The Quality of Content Publishing in the Digital Era | 1-gen-2020 | Bilò, Vittorio; Flammini, Michele; Vinci, Cosimo | |
| 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 |
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