CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoMAURO, JACOPO
Dettaglio
MAURO, JACOPO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
Pubblicazioni
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | A Classification-based Approach to Managing a Solver Portfolio for CSPs | Kiziltan Z; Mandrioli L; Mauro J; O'Sullivan B | 2011 | University of Ulster, Intelligent Systems Research Center | 4.01 Contributo in Atti di convegno | - | |
| 2 | Aeolus: A component model for the cloud | Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G. | 2014 | INFORMATION AND COMPUTATION | 1.01 Articolo in rivista | - | |
| 3 | AIOCJ | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014 | 7.04 Software | - | ||
| 4 | AIOCJ: A choreographic framework for safe adaptive distributed applications | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
| 5 | An Efficient Management of Correlation Sets with Broadcast | Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi | 2011 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
| 6 | Automatic application deployment in the cloud: From practice to theory and back | Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; ...Zwolakowski, Jakub | 2015 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| 7 | Automatic deployment of component-based applications | Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi | 2015 | SCIENCE OF COMPUTER PROGRAMMING | 1.01 Articolo in rivista | ||
| 8 | Automatic Deployment of Services in the Cloud with Aeolus Blender | Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwol...akowski, Jakub | 2015 | Lecture Notes in Computer Science - Springer | 4.01 Contributo in Atti di convegno | - | |
| 9 | A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013 | INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE | 1.01 Articolo in rivista | - | |
| 10 | Decidability properties for fragments of CHR | M. Gabbrielli; J. Mauro; M.C. Meo; J. Sneyers | 2010 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | 4.01 Contributo in Atti di convegno | - | |
| 11 | Declarative elasticity in ABS | de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2016 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| 12 | Developing correct, distributed, adaptive software | Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo | 2015 | SCIENCE OF COMPUTER PROGRAMMING | 1.01 Articolo in rivista | - | |
| 13 | The expressive power of CHR with priorities | Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo | 2013 | INFORMATION AND COMPUTATION | 1.01 Articolo in rivista | - | |
| 14 | Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013 | 4.01 Contributo in Atti di convegno | - | ||
| 15 | Graceful Interruption of Request-Response Service Interactions | Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro | 2011 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
| 16 | Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J. | 2019 | Springer | 2.01 Capitolo / saggio in libro | ||
| 17 | Interface-Based Service Composition with Aggregation. | Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi | 2012 | Springer-Verlag | 4.01 Contributo in Atti di convegno | - | |
| 18 | On the complexity of reconfiguration in systems with legacy components | Mauro, Jacopo; Zavattaro, Gianluigi | 2015 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| 19 | On the expressive power of priorities in CHR | M. Gabbrielli; J. Mauro; M.C. Meo | 2009 | ACM press | 4.01 Contributo in Atti di convegno | - | |
| 20 | On the expressiveness of synchronization in component deployment | Mauro, Jacopo; Zavattaro, Gianluigi | 2016 | Springer Verlag | 2.01 Capitolo / saggio in libro | - |
Copyright © 2022