Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025
2026 Rodriguez, S.; Bairy, A.; Baldoni, M.; Benjamin, P.; Blessing, C.; Brandstetter, N.; Chopra, A. K.; Clemen, T.; Dennis, L. A.; Esmaeili, A.; Feng, L.; Ferrando, A.; Ghorrati, Z.; Guillet, V.; Gurcan, O.; Hans, S.; Herber, J.; Mascardi, V.; Mauri, M.; Muller, J. P.; Thangarajah, J.; Tyl, R.; Yang, Y.
Auto-Generating Visual Editors for Formal Logics with Blockly
2026 Ferrando, A.; Lu, P.; Malvone, V.
Wallet ATL: Towards Reliable Smart Contract Verification
2026 Ferrando, A.; Zanlefack, B. K.; Malvone, V.
Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
2025 Ferrando, A.
On the Usability and Extensibility of VITAMIN
2026 Ferrando, A.; Malvone, V.
VEsNA-Pro: Exploiting BDI Agents with Propensities for Emergent Narrative
2026 Gatti, A.; Casale, F.; Mascardi, V.; Stucchi, A.; Ferrando, A.
Oops, I Heard That! Situated Communication with Locality-Aware KQML
2026 Ferrando, A.; Gatti, A.; Mascardi, V.
Situated Agents in Action: Extending VEsNA with Spatial and Grabbable Artifacts
2026 Gatti, A.; Ferrando, A.; Mascardi, V.
MEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back
2026 Ferrando, A.; Gatti, A.; Mascardi, V.
On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
2025 Ancona, D.; Ferrando, A.
ZeroSwap: Minimizing Swap Overhead for Real-Time Multi-DNN Inference via SSD-based GPU Memory Extension
2026 Kang, W.; Muzzini, F.; Brilli, G.; Kim, J. C.; Lee, J.; Chwa, H. S.
Analysing the Impact of Data Distribution Shifts on Model Fairness in Machine Learning
2025 Motta, F.; Li, Y.; Chen, H.; Mandreoli, F.; Missier, P.
Optimization of Motion Capture Technology for a Human Digital Twin with Reduced Sensor Setups
2026 Vargas Gonzalez, Manuela; Cibrario, Valerio; Tumiotto, Denise; Bertoli, Annalisa; Fantuzzi, Cesare
Event-Driven Digital Twins
2026 Picone, M.; Morandi, R.; Burattini, S.; Croatti, A.; Mariani, S.; Montagna, S.; Ricci, A.
Scaling Multi-Agent Epistemic Planning through GNN-Derived Heuristics
2026 Briglia, G.; Fabiano, F.; Mariani, S.
MininetGym: A Live Demonstration of RL-Based Cybersecurity Training
2026 Finistrella, S.; Mariani, S.; Zambonelli, F.
Integrating biological degradation potential into ecological risk assessment
2017 Tang, F. H. M.; La Cecilia, D.; Vervoort, R. W.; Coleman, N.; Conoley, C.; Maggi, F.
Stochastic sensitivity analysis of glyphosate biochemical degradation
2017 La Cecilia, D.; Maggi, F.
On Solving the Assignment Problem with Conflicts
2026 Montemanni, Roberto; Smith, Derek H.
A Benchmarking Analysis of Commercial Software for Topology Optimization in Industrial Applications
2026 Ceruti, Alessandro; Mantovani, Sara; Giacalone, Mauro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Engineering the Next Generation of Multi-agent Systems: A Community Roadmap from EMAS 2025 | 1-gen-2026 | Rodriguez, S.; Bairy, A.; Baldoni, M.; Benjamin, P.; Blessing, C.; Brandstetter, N.; Chopra, A. K.; Clemen, T.; Dennis, L. A.; Esmaeili, A.; Feng, L.; Ferrando, A.; Ghorrati, Z.; Guillet, V.; Gurcan, O.; Hans, S.; Herber, J.; Mascardi, V.; Mauri, M.; Muller, J. P.; Thangarajah, J.; Tyl, R.; Yang, Y. | |
| Auto-Generating Visual Editors for Formal Logics with Blockly | 1-gen-2026 | Ferrando, A.; Lu, P.; Malvone, V. | |
| Wallet ATL: Towards Reliable Smart Contract Verification | 1-gen-2026 | Ferrando, A.; Zanlefack, B. K.; Malvone, V. | |
| Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems | 1-gen-2025 | Ferrando, A. | |
| On the Usability and Extensibility of VITAMIN | 1-gen-2026 | Ferrando, A.; Malvone, V. | |
| VEsNA-Pro: Exploiting BDI Agents with Propensities for Emergent Narrative | 1-gen-2026 | Gatti, A.; Casale, F.; Mascardi, V.; Stucchi, A.; Ferrando, A. | |
| Oops, I Heard That! Situated Communication with Locality-Aware KQML | 1-gen-2026 | Ferrando, A.; Gatti, A.; Mascardi, V. | |
| Situated Agents in Action: Extending VEsNA with Spatial and Grabbable Artifacts | 1-gen-2026 | Gatti, A.; Ferrando, A.; Mascardi, V. | |
| MEDiTATe: a First Step of a Journey from BDI to Neuroscience, and Back | 1-gen-2026 | Ferrando, A.; Gatti, A.; Mascardi, V. | |
| On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle | 1-gen-2025 | Ancona, D.; Ferrando, A. | |
| ZeroSwap: Minimizing Swap Overhead for Real-Time Multi-DNN Inference via SSD-based GPU Memory Extension | 1-gen-2026 | Kang, W.; Muzzini, F.; Brilli, G.; Kim, J. C.; Lee, J.; Chwa, H. S. | |
| Analysing the Impact of Data Distribution Shifts on Model Fairness in Machine Learning | 1-gen-2025 | Motta, F.; Li, Y.; Chen, H.; Mandreoli, F.; Missier, P. | |
| Optimization of Motion Capture Technology for a Human Digital Twin with Reduced Sensor Setups | 1-gen-2026 | Vargas Gonzalez, Manuela; Cibrario, Valerio; Tumiotto, Denise; Bertoli, Annalisa; Fantuzzi, Cesare | |
| Event-Driven Digital Twins | 1-gen-2026 | Picone, M.; Morandi, R.; Burattini, S.; Croatti, A.; Mariani, S.; Montagna, S.; Ricci, A. | |
| Scaling Multi-Agent Epistemic Planning through GNN-Derived Heuristics | 1-gen-2026 | Briglia, G.; Fabiano, F.; Mariani, S. | |
| MininetGym: A Live Demonstration of RL-Based Cybersecurity Training | 1-gen-2026 | Finistrella, S.; Mariani, S.; Zambonelli, F. | |
| Integrating biological degradation potential into ecological risk assessment | 1-gen-2017 | Tang, F. H. M.; La Cecilia, D.; Vervoort, R. W.; Coleman, N.; Conoley, C.; Maggi, F. | |
| Stochastic sensitivity analysis of glyphosate biochemical degradation | 1-gen-2017 | La Cecilia, D.; Maggi, F. | |
| On Solving the Assignment Problem with Conflicts | 1-gen-2026 | Montemanni, Roberto; Smith, Derek H. | |
| A Benchmarking Analysis of Commercial Software for Topology Optimization in Industrial Applications | 1-gen-2026 | Ceruti, Alessandro; Mantovani, Sara; Giacalone, Mauro |
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
- Atti di CONVEGNO15048
- Contributo su VOLUME1
Data di pubblicazione
- 2020 - 20262887
- 2010 - 20195587
- 2000 - 20094697
- 1990 - 19991488
- 1980 - 1989359
- 1970 - 197930
- 1967 - 19691
Editore
- Institute of Electrical and Elect...1379
- IEEE1015
- IEEE Computer Society383
- Springer Science and Business Med...267
- Springer245
- -235
- Springer Verlag205
- SAE International200
- CEUR-WS129
- SPRINGER-VERLAG BERLIN100
Rivista
- SAE TECHNICAL PAPER202
- JOURNAL OF PHYSICS. CONFERENCE SE...96
- ...SUMMER SCHOOL FRANCESCO TURCO....64
- POS PROCEEDINGS OF SCIENCE41
- ACTA HORTICULTURAE35
- ENERGY PROCEDIA29
Serie
- LECTURE NOTES IN COMPUTER SCIENCE409
- CEUR WORKSHOP PROCEEDINGS166
- PROCEEDINGS OF SPIE, THE INTERNAT...160
- LECTURE NOTES IN ARTIFICIAL INTEL...85
- LECTURE NOTES IN MECHANICAL ENGIN...81
- COMMUNICATIONS IN COMPUTER AND IN...72
- IFAC-PAPERSONLINE71
- PROCEEDINGS OF THE ANNUAL CONFERE...67
- IFAC PROCEEDINGS VOLUMES65
- TECHNICAL DIGEST - INTERNATIONAL ...64
Keyword
- Electrical and Electronic Enginee...166
- -160
- Control and Systems Engineering104
- Software86
- Industrial and Manufacturing Engi...85
- Computer Networks and Communications72
- Computer Science (all)72
- Computer Science Applications1707...72
- CFD67
- Artificial Intelligence63
Lingua
- eng11842
- ita2921
- fre119
- ger62
- spa58
- por15
- rus12
- und8
- cat5
- chi2
Accesso al fulltext
- no fulltext10050
- reserved2977
- open1897
- partially open116
- embargoed9
