Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Distance Hedonic Games
2021-01-01 Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna
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
Modeling multiclass task-based applications on heterogeneous distributed environments
2017-01-01 Pinciroli, R.; Gribaudo, M.; Serazzi, G.
Monitoring Hyperproperties with Circuits
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian
The Multi-budget Maximum Weighted Coverage Problem
2021-01-01 Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka
Non-Normal Modal Description Logics
2023-01-01 Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation
2023-01-01 Rebelo, Luciana; Souza, Érica; Berkenbrock, Gian; Barbosa, Gerson; Silva, Marlon; Endo, André; Vijaykumar, Nandamudi; Trubiani, Catia
A Prototype for Data Race Detection in CSeq 3
2022-01-01 Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL
2022-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
Stochastic analysis of energy consumption in pool depletion systems
2016-01-01 Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G.
Towards Choreographic-Based Monitoring
2020-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards Probabilistic Session-Type Monitoring
2021-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
VisArch: Visualisation of Performance-based Architectural Refactorings
2020-01-01 Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Distance Hedonic Games | 1-gen-2021 | Flammini, Michele; Kodric, Bojana; Olsen, Martin; Varricchio, Giovanna | |
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 | |
Modeling multiclass task-based applications on heterogeneous distributed environments | 1-gen-2017 | Pinciroli, R.; Gribaudo, M.; Serazzi, G. | |
Monitoring Hyperproperties with Circuits | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian | |
The Multi-budget Maximum Weighted Coverage Problem | 1-gen-2021 | Cellinese, Francesco; D’Angelo, Gianlorenzo; Monaco, Gianpiero; Velaj, Yllka | |
Non-Normal Modal Description Logics | 1-gen-2023 | Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas | |
Prioritizing Test Cases with Markov Chains: A Preliminary Investigation | 1-gen-2023 | Rebelo, Luciana; Souza, Érica; Berkenbrock, Gian; Barbosa, Gerson; Silva, Marlon; Endo, André; Vijaykumar, Nandamudi; Trubiani, Catia | |
A Prototype for Data Race Detection in CSeq 3 | 1-gen-2022 | Coto, Alex; Inverso, Omar; Sales, Emerson; Tuosto, Emilio | |
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto | |
Stochastic analysis of energy consumption in pool depletion systems | 1-gen-2016 | Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G. | |
Towards Choreographic-Based Monitoring | 1-gen-2020 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Towards Probabilistic Session-Type Monitoring | 1-gen-2021 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
VisArch: Visualisation of Performance-based Architectural Refactorings | 1-gen-2020 | Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel |
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