Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Abstractions for Collective Adaptive Systems
2020-01-01 Inverso, Omar; Trubiani, Catia; Tuosto, Emilio
Accurate Static Data Race Detection for C
2025-01-01 Sales, Emerson; Inverso, Omar; Tuosto, Emilio
AErlang: Empowering Erlang with Attribute-Based Communication
2017-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
2020-01-01 Calinescu, Radu; Cortellessa, Vittorio; Stefanakos, Ioannis; Trubiani, Catia
Asynchronous Subtyping by Trace Relaxation
2024-01-01 Bocchi, Laura; King, Andy; Murgia, Maurizio
Automated Replication of Tuple Spaces via Static Analysis
2021-01-01 Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic
2021-01-01 Simić, Stella; Inverso, Omar; Tribastone, Mirco
Blackout-Tolerant Temporal Spanners
2022-01-01 Bilò, Davide; D’Angelo, Gianlorenzo; Gualà, Luciano; Leucci, Stefano; Rossi, Mirko
Choreographic Development of Message-Passing Applications
2020-01-01 Alex, Coto; Guanciale, Roberto; Tuosto, Emilio
Choreography Automata
2020-01-01 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications
2019-01-01 Autili, Marco; Di Salle, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
Compositional Verification of Stigmergic Collective Systems
2023-01-01 Di Stefano, Luca; Lang, Frédéric
A Contract-Oriented Middleware
2016-01-01 Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio
Corinne, a Tool for Choreography Automata
2021-01-01 Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Distance Hedonic Games
2021-01-01 Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
2025-01-01 Di Stefano, Luca; Inverso, Omar
Flocks of Birds: A Quantitative Evaluation
2024-01-01 Incerto, Emilio; Trubiani, Catia
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Local Mending
2022-01-01 Balliu, Alkida; Hirvonen, Juho; Melnyk, Darya; Olivetti, Dennis; Rybicki, Joel; Suomela, Jukka
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
2022-01-01 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Abstractions for Collective Adaptive Systems | 1-gen-2020 | Inverso, Omar; Trubiani, Catia; Tuosto, Emilio | |
| Accurate Static Data Race Detection for C | 1-gen-2025 | Sales, Emerson; Inverso, Omar; Tuosto, Emilio | |
| AErlang: Empowering Erlang with Attribute-Based Communication | 1-gen-2017 | De Nicola, Rocco; Duong, Tan; Inverso, Omar; Trubiani, Catia | |
| Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles | 1-gen-2020 | Calinescu, Radu; Cortellessa, Vittorio; Stefanakos, Ioannis; Trubiani, Catia | |
| Asynchronous Subtyping by Trace Relaxation | 1-gen-2024 | Bocchi, Laura; King, Andy; Murgia, Maurizio | |
| Automated Replication of Tuple Spaces via Static Analysis | 1-gen-2021 | Uwimbabazi, Aline; Inverso, Omar; De Nicola, Rocco | |
| Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic | 1-gen-2021 | Simić, Stella; Inverso, Omar; Tribastone, Mirco | |
| Blackout-Tolerant Temporal Spanners | 1-gen-2022 | Bilò, Davide; D’Angelo, Gianlorenzo; Gualà, Luciano; Leucci, Stefano; Rossi, Mirko | |
| Choreographic Development of Message-Passing Applications | 1-gen-2020 | Alex, Coto; Guanciale, Roberto; Tuosto, Emilio | |
| Choreography Automata | 1-gen-2020 | Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | |
| CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications | 1-gen-2019 | Autili, Marco; Di Salle, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo | |
| Compositional Verification of Stigmergic Collective Systems | 1-gen-2023 | Di Stefano, Luca; Lang, Frédéric | |
| A Contract-Oriented Middleware | 1-gen-2016 | Bartoletti, Massimo; Cimoli, Tiziana; Murgia, Maurizio; Podda, Alessandro Sebastian; Pompianu, Livio | |
| Corinne, a Tool for Choreography Automata | 1-gen-2021 | Orlando, Simone; Pasquale, Vairo Di; Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | |
| Distance Hedonic Games | 1-gen-2021 | Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna | |
| Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | 1-gen-2025 | Di Stefano, Luca; Inverso, Omar | |
| Flocks of Birds: A Quantitative Evaluation | 1-gen-2024 | Incerto, Emilio; Trubiani, Catia | |
| Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Local Mending | 1-gen-2022 | Balliu, Alkida; Hirvonen, Juho; Melnyk, Darya; Olivetti, Dennis; Rybicki, Joel; Suomela, Jukka | |
| Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes | 1-gen-2022 | Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Oyetoyan, Tosin Daniel; Pelliccione, Patrizio; Kristensen, Lars Michael |
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