Nash equilibria and their elimination in resource games
2016-01-01 Troquard, N
A resource-sensitive logic of agency
2014-01-01 Porello, D; Troquard, N
The Best a Monitor Can Do
2021-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
On Benchmarking for Concurrent Runtime Verification
2021-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna
In search of lost time: Axiomatising parallel composition in process algebras
2021-01-01 Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas
The Way We Were: Structural Operational Semantics Research in Perspective
2023-01-01 Aceto, Luca; Crescenzi, Pierluigi; Ingólfsdóttir, Anna; Mousavi, Mohammad Reza
Generalized Distance Polymatrix Games
2024-01-01 Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo
Approximately Fair Allocation of Indivisible Items with Random Valuations
2024-01-01 Aloisio, Alessandro; Bilo, Vittorio; Mario Caruso, Antonio; Flammini, Michele; Vinci, Cosimo
On Green Sustainability of Resource Selection Games with Equitable Cost-Sharing
2024-01-01 Bilo, Vittorio; Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca; Vinci, Cosimo
PAC Learning and Stabilizing Hedonic Games: Towards a Unifying Approach
2023-01-01 Fioravanti, Simone; Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna
epsilon-fractional core stability in Hedonic Games
2023-01-01 Fioravanti, Simone; Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna
A formal theory for conceptualizing artefacts and tool manipulations
2014-01-01 Troquard, N
Logical Operators for Ontological Modeling
2014-01-01 Borgo, S; Porello, D; Troquard, N
Software customization in model driven development of web applications
2007-01-01 Cicchetti, Antonio; DI RUSCIO, Davide; DI SALLE, Amleto
Testing microservices architecture-based applications: A systematic mapping study
2020-01-01 Waseem, M.; Liang, P.; Marquez, G.; Di Salle, A.
On the Model-driven Synthesis of Evolvable Service Choreographies
2018-01-01 Autili, Marco; Di Salle, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems
2015-01-01 Autili, Marco; Perucci, Alexander; DI SALLE, Amleto; Tivoli, Massimo
Aiding the Realization of Service-oriented Distributed Systems
2019-01-01 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
PILOT: Synergy between Text Processing and Neural Networks to Detect Self-Admitted Technical Debt
2022-01-01 Di Salle, A; Rota, Alessandra; Nguyen, Phoung; Di Ruscio, Davide; Arcelli-Fontana, Francesca; Sala, Irene
Model-driven Adaptation of Service Choreographies
2018-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Claudio, Pompilio; Tivoli, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Nash equilibria and their elimination in resource games | 1-gen-2016 | Troquard, N | |
| A resource-sensitive logic of agency | 1-gen-2014 | Porello, D; Troquard, N | |
| The Best a Monitor Can Do | 1-gen-2021 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| On Benchmarking for Concurrent Runtime Verification | 1-gen-2021 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ing('(o))lfsd('(o))ttir, Anna | |
| In search of lost time: Axiomatising parallel composition in process algebras | 1-gen-2021 | Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas | |
| The Way We Were: Structural Operational Semantics Research in Perspective | 1-gen-2023 | Aceto, Luca; Crescenzi, Pierluigi; Ingólfsdóttir, Anna; Mousavi, Mohammad Reza | |
| Generalized Distance Polymatrix Games | 1-gen-2024 | Aloisio, Alessandro; Flammini, Michele; Vinci, Cosimo | |
| Approximately Fair Allocation of Indivisible Items with Random Valuations | 1-gen-2024 | Aloisio, Alessandro; Bilo, Vittorio; Mario Caruso, Antonio; Flammini, Michele; Vinci, Cosimo | |
| On Green Sustainability of Resource Selection Games with Equitable Cost-Sharing | 1-gen-2024 | Bilo, Vittorio; Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca; Vinci, Cosimo | |
| PAC Learning and Stabilizing Hedonic Games: Towards a Unifying Approach | 1-gen-2023 | Fioravanti, Simone; Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna | |
| epsilon-fractional core stability in Hedonic Games | 1-gen-2023 | Fioravanti, Simone; Flammini, Michele; Kodric, Bojana; Varricchio, Giovanna | |
| A formal theory for conceptualizing artefacts and tool manipulations | 1-gen-2014 | Troquard, N | |
| Logical Operators for Ontological Modeling | 1-gen-2014 | Borgo, S; Porello, D; Troquard, N | |
| Software customization in model driven development of web applications | 1-gen-2007 | Cicchetti, Antonio; DI RUSCIO, Davide; DI SALLE, Amleto | |
| Testing microservices architecture-based applications: A systematic mapping study | 1-gen-2020 | Waseem, M.; Liang, P.; Marquez, G.; Di Salle, A. | |
| On the Model-driven Synthesis of Evolvable Service Choreographies | 1-gen-2018 | Autili, Marco; Di Salle, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo | |
| On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems | 1-gen-2015 | Autili, Marco; Perucci, Alexander; DI SALLE, Amleto; Tivoli, Massimo | |
| Aiding the Realization of Service-oriented Distributed Systems | 1-gen-2019 | Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo | |
| PILOT: Synergy between Text Processing and Neural Networks to Detect Self-Admitted Technical Debt | 1-gen-2022 | Di Salle, A; Rota, Alessandra; Nguyen, Phoung; Di Ruscio, Davide; Arcelli-Fontana, Francesca; Sala, Irene | |
| Model-driven Adaptation of Service Choreographies | 1-gen-2018 | Autili, M.; Di Salle, A.; Gallo, F.; Claudio, Pompilio; Tivoli, 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 ...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