Sfoglia per Serie
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)
2016-01-01 Autili, Marco; Bersani, Marcello; Bresolin, Davide; Ferrucci, Luca; Garcia-Valls, Marisol; Mazzara, Manuel; Tivoli, Massimo
The Pulcinella Diagnostic Project: Introduction to the Study of the Performances of Close-Range Diagnostics Targeted to a Wooden Physical Twin of a Carnival Historical Mask
2022-01-01 Piroddi, L; Catapano, I; Colica, E; D'Amico, S; Galone, L; Gargiulo, G; Sfarra, S
The ring design game with fair cost allocation.
2012-01-01 Fanelli, A.; Leniowski, D.; Monaco, Gianpiero; Sankowski, P.
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem
2007-01-01 DI GIANNANTONIO, S; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L; Shalom, M; Zaks, S.
Soil Ecosystem Services and Sediment Production: The Basilicata Region Case Study
2020-01-01 Pilogallo, A.; Saganeiti, L.; Scorza, F.; Murgante, B.
Some Anomalies of Farsighted Strategic Behavior
2013-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
Spatial indicators to evaluate urban fragmentation in basilicata region
2018-01-01 Saganeiti, L.; Pilogallo, A.; Scorza, F.; Mussuto, G.; Murgante, B.
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games
2018-01-01 Flammini, M.; Monaco, G.; Zhang, Q.
Strengthening Chvátal-Gomory cuts for the stable set problem
2016-01-01 Letchford, Adam N.; Marzi, Francesca; Rossi, Fabrizio; Smriglio, Stefano
Synthesis of concurrent and distributed adaptors for component-based systems
2006-01-01 Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution
2017-01-01 Autili, M; Inverardi, P; Perucci, A; Tivoli, M.
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
2010-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Time-Optimal Geodesic Mutual Visibility of Robots on Grids Within Minimum Area
2023-01-01 Cicerone, Serafino; Di Fonso, Alessia; Di Stefano, Gabriele; Navarra, Alfredo
Tourism attractiveness: Main components for a spacial appraisal of major destinations according with ecosystem services approach
2018-01-01 Pilogallo, A.; Saganeiti, L.; Scorza, F.; Las Casas, G.
Towards a Connector Algebra
2010-01-01 Autili, Marco; Chilton, C; Inverardi, Paola; Kwiatkowska, M; Tivoli, Massimo
Towards Assessing Spread in Sets of Software Architecture Designs
2023-01-01 Cortellessa, V.; Diaz-Pace, J. A.; Di Pompeo, D.; Tucci, M.
Unsupervised Boosting-Based Autoencoder Ensembles for Outlier Detection
2021-01-01 Sarvari, H.; Domeniconi, C.; Prenkaj, B.; Stilo, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) | 1-gen-2016 | Autili, Marco; Bersani, Marcello; Bresolin, Davide; Ferrucci, Luca; Garcia-Valls, Marisol; Mazzara, Manuel; Tivoli, Massimo | |
The Pulcinella Diagnostic Project: Introduction to the Study of the Performances of Close-Range Diagnostics Targeted to a Wooden Physical Twin of a Carnival Historical Mask | 1-gen-2022 | Piroddi, L; Catapano, I; Colica, E; D'Amico, S; Galone, L; Gargiulo, G; Sfarra, S | |
The ring design game with fair cost allocation. | 1-gen-2012 | Fanelli, A.; Leniowski, D.; Monaco, Gianpiero; Sankowski, P. | |
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem | 1-gen-2007 | DI GIANNANTONIO, S; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L; Shalom, M; Zaks, S. | |
Soil Ecosystem Services and Sediment Production: The Basilicata Region Case Study | 1-gen-2020 | Pilogallo, A.; Saganeiti, L.; Scorza, F.; Murgante, B. | |
Some Anomalies of Farsighted Strategic Behavior | 1-gen-2013 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
Spatial indicators to evaluate urban fragmentation in basilicata region | 1-gen-2018 | Saganeiti, L.; Pilogallo, A.; Scorza, F.; Mussuto, G.; Murgante, B. | |
Strategyproof Mechanisms for Additively Separable Hedonic Games and Fractional Hedonic Games | 1-gen-2018 | Flammini, M.; Monaco, G.; Zhang, Q. | |
Strengthening Chvátal-Gomory cuts for the stable set problem | 1-gen-2016 | Letchford, Adam N.; Marzi, Francesca; Rossi, Fabrizio; Smriglio, Stefano | |
Synthesis of concurrent and distributed adaptors for component-based systems | 1-gen-2006 | Autili, Marco; Flammini, Michele; Inverardi, Paola; Navarra, A; Tivoli, Massimo | |
Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution | 1-gen-2017 | Autili, M; Inverardi, P; Perucci, A; Tivoli, M. | |
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems | 1-gen-2010 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Time-Optimal Geodesic Mutual Visibility of Robots on Grids Within Minimum Area | 1-gen-2023 | Cicerone, Serafino; Di Fonso, Alessia; Di Stefano, Gabriele; Navarra, Alfredo | |
Tourism attractiveness: Main components for a spacial appraisal of major destinations according with ecosystem services approach | 1-gen-2018 | Pilogallo, A.; Saganeiti, L.; Scorza, F.; Las Casas, G. | |
Towards a Connector Algebra | 1-gen-2010 | Autili, Marco; Chilton, C; Inverardi, Paola; Kwiatkowska, M; Tivoli, Massimo | |
Towards Assessing Spread in Sets of Software Architecture Designs | 1-gen-2023 | Cortellessa, V.; Diaz-Pace, J. A.; Di Pompeo, D.; Tucci, M. | |
Unsupervised Boosting-Based Autoencoder Ensembles for Outlier Detection | 1-gen-2021 | Sarvari, H.; Domeniconi, C.; Prenkaj, B.; Stilo, G. |
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