Sfoglia
On the use of LLMs to support the development of domain-specific modeling languages
2024-01-01 Di Sipio, Claudio; Rubei, Riccardo; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico
On the Need for Configurable Travel Recommender Systems: A Systematic Mapping Study
2024-01-01 Pereira, Rickson Simioni; Di Sipio, Claudio; De Sanctis, Martina; Iovino, Ludovico
Bridging Workflow Automation Tools and EMF Modeling Ecosystems
2023-01-01 Tuyishime, Adiel; Basciani, Francesco; Iovino, Ludovico; Izquierdo, Javier Luis Cánovas; Cabot, Jordi; Pierantonio, Alfonso
Stakeholder Inclusion and Value Diversity: An Evaluation Using an Access Control System
2023-01-01 Alidoosti, Razieh; De Sanctis, Martina; Iovino, Ludovico; Lago, Patricia; Razavian, Maryam
Non-obvious Manipulability in Hedonic Games with Friends Appreciation Preferences
2025-01-01 Flammini, Michele; Fomenko, Maria; Varricchio, Giovanna
Non-obvious manipulability in hedonic games with friends appreciation preferences
2025-01-01 Flammini, Michele; Fomenko, Maria; Varricchio, Giovanna
Fair Division with Social Impact
2025-01-01 Flammini, Michele; Greco, Gianluigi; Varricchio, Giovanna
A Dynamic Logic of Institutional Actions
2011-01-01 Herzig, A; Lorini, E; Troquard, N
Model Checking Strategic Equilibria
2009-01-01 Troquard, N; Van Der Hoek, W; Wooldridge, M
A resource-sensitive account of the use of artifacts
2014-01-01 Porello, D; Troquard, N
Delegation and mental states
2007-01-01 Lorini, E; Troquard, N; Herzig, A; Castelfranchi, C
A simple logic of tool manipulation
2013-01-01 Troquard, N
Towards a logic of agency and actions with duration
2006-01-01 Troquard, N; Vieu, L
Reasoning about choice
2013-01-01 Van Der Hoek, W; Troquard, N; Wooldridge, M
A computationally grounded dynamic logic of agency, with an application to legal actions
2012-01-01 Herzig, A; De Lima, T; Lorini, E; Troquard, N
On satisfiability in ATL with strategy contexts
2012-01-01 Troquard, N; Walther, D
Coalitional Agency and Evidence-Based Ability
2012-01-01 Troquard, N
A STIT-extension of ATL
2006-01-01 Broersen, J; Herzig, A; Troquard, N
Architecture and Performance Anti-patterns Correlation in Microservice Architectures
2025-01-01 Avritzer, Alberto; Janes, Andrea; Trubiani, Catia; Rodrigues, Helena; Cai, Yuanfang; Menasche, Daniel Sadoc; Jose Abreu De Oliveira, Alvaro
Enhancing Graph Edit Distance Computation: Stronger and Orientation-Based ILP Formulations
2025-01-01 D'Ascenzo, Andrea; Meffert, Julian; Mutzel, Petra; Rossi, Fabrizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On the use of LLMs to support the development of domain-specific modeling languages | 1-gen-2024 | Di Sipio, Claudio; Rubei, Riccardo; Di Rocco, Juri; Di Ruscio, Davide; Iovino, Ludovico | |
| On the Need for Configurable Travel Recommender Systems: A Systematic Mapping Study | 1-gen-2024 | Pereira, Rickson Simioni; Di Sipio, Claudio; De Sanctis, Martina; Iovino, Ludovico | |
| Bridging Workflow Automation Tools and EMF Modeling Ecosystems | 1-gen-2023 | Tuyishime, Adiel; Basciani, Francesco; Iovino, Ludovico; Izquierdo, Javier Luis Cánovas; Cabot, Jordi; Pierantonio, Alfonso | |
| Stakeholder Inclusion and Value Diversity: An Evaluation Using an Access Control System | 1-gen-2023 | Alidoosti, Razieh; De Sanctis, Martina; Iovino, Ludovico; Lago, Patricia; Razavian, Maryam | |
| Non-obvious Manipulability in Hedonic Games with Friends Appreciation Preferences | 1-gen-2025 | Flammini, Michele; Fomenko, Maria; Varricchio, Giovanna | |
| Non-obvious manipulability in hedonic games with friends appreciation preferences | 1-gen-2025 | Flammini, Michele; Fomenko, Maria; Varricchio, Giovanna | |
| Fair Division with Social Impact | 1-gen-2025 | Flammini, Michele; Greco, Gianluigi; Varricchio, Giovanna | |
| A Dynamic Logic of Institutional Actions | 1-gen-2011 | Herzig, A; Lorini, E; Troquard, N | |
| Model Checking Strategic Equilibria | 1-gen-2009 | Troquard, N; Van Der Hoek, W; Wooldridge, M | |
| A resource-sensitive account of the use of artifacts | 1-gen-2014 | Porello, D; Troquard, N | |
| Delegation and mental states | 1-gen-2007 | Lorini, E; Troquard, N; Herzig, A; Castelfranchi, C | |
| A simple logic of tool manipulation | 1-gen-2013 | Troquard, N | |
| Towards a logic of agency and actions with duration | 1-gen-2006 | Troquard, N; Vieu, L | |
| Reasoning about choice | 1-gen-2013 | Van Der Hoek, W; Troquard, N; Wooldridge, M | |
| A computationally grounded dynamic logic of agency, with an application to legal actions | 1-gen-2012 | Herzig, A; De Lima, T; Lorini, E; Troquard, N | |
| On satisfiability in ATL with strategy contexts | 1-gen-2012 | Troquard, N; Walther, D | |
| Coalitional Agency and Evidence-Based Ability | 1-gen-2012 | Troquard, N | |
| A STIT-extension of ATL | 1-gen-2006 | Broersen, J; Herzig, A; Troquard, N | |
| Architecture and Performance Anti-patterns Correlation in Microservice Architectures | 1-gen-2025 | Avritzer, Alberto; Janes, Andrea; Trubiani, Catia; Rodrigues, Helena; Cai, Yuanfang; Menasche, Daniel Sadoc; Jose Abreu De Oliveira, Alvaro | |
| Enhancing Graph Edit Distance Computation: Stronger and Orientation-Based ILP Formulations | 1-gen-2025 | D'Ascenzo, Andrea; Meffert, Julian; Mutzel, Petra; Rossi, Fabrizio |
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