MAURO, JACOPO
MAURO, JACOPO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
A Classification-based Approach to Managing a Solver Portfolio for CSPs
2011-01-01 Kiziltan Z; Mandrioli L; Mauro J; O'Sullivan B
Aeolus: A component model for the cloud
2014-01-01 Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G.
AIOCJ
2014-01-01 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
AIOCJ: A choreographic framework for safe adaptive distributed applications
2014-01-01 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
An Efficient Management of Correlation Sets with Broadcast
2011-01-01 Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi
Automatic application deployment in the cloud: From practice to theory and back
2015-01-01 Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Automatic deployment of component-based applications
2015-01-01 Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi
Automatic Deployment of Services in the Cloud with Aeolus Blender
2015-01-01 Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
2013-01-01 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
Decidability properties for fragments of CHR
2010-01-01 M. Gabbrielli; J. Mauro; M.C. Meo; J. Sneyers
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022-01-01 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Declarative elasticity in ABS
2016-01-01 de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
Developing correct, distributed, adaptive software
2015-01-01 Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
The expressive power of CHR with priorities
2013-01-01 Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence
2013-01-01 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
Graceful Interruption of Request-Response Service Interactions
2011-01-01 Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
2019-01-01 Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J.
Interface-Based Service Composition with Aggregation.
2012-01-01 Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi
On the complexity of reconfiguration in systems with legacy components
2015-01-01 Mauro, Jacopo; Zavattaro, Gianluigi
On the expressive power of priorities in CHR
2009-01-01 M. Gabbrielli; J. Mauro; M.C. Meo
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Classification-based Approach to Managing a Solver Portfolio for CSPs | Kiziltan Z; Mandrioli L; Mauro J; O'Sullivan B | 2011-01-01 | - | University of Ulster, Intelligent Systems Research Center | 4.01 Contributo in Atti di convegno | - |
| Aeolus: A component model for the cloud | Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G. | 2014-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
| AIOCJ | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014-01-01 | - | - | 7.04 Software | - |
| AIOCJ: A choreographic framework for safe adaptive distributed applications | Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio | 2014-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| An Efficient Management of Correlation Sets with Broadcast | Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi | 2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| 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-01-01 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| Automatic deployment of component-based applications | Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642315001409-main.pdf |
| 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-01-01 | - | Lecture Notes in Computer Science - Springer | 4.01 Contributo in Atti di convegno | - |
| A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013-01-01 | INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE | - | 1.01 Articolo in rivista | - |
| Decidability properties for fragments of CHR | M. Gabbrielli; J. Mauro; M.C. Meo; J. Sneyers | 2010-01-01 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | - | 4.01 Contributo in Atti di convegno | - |
| A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling | De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2022-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Declarative elasticity in ABS | de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2016-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Developing correct, distributed, adaptive software | Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo | 2015-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | - |
| The expressive power of CHR with priorities | Maurizio Gabbrielli; Jacopo Mauro; Maria Chiara Meo | 2013-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
| Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence | Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli | 2013-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Graceful Interruption of Request-Response Service Interactions |
Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro |
2011-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies | Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J. | 2019-01-01 | - | Springer | 2.01 Capitolo / saggio in libro | postPrintWithPreface.pdf |
| Interface-Based Service Composition with Aggregation. | Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| On the complexity of reconfiguration in systems with legacy components | Mauro, Jacopo; Zavattaro, Gianluigi | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| On the expressive power of priorities in CHR | M. Gabbrielli; J. Mauro; M.C. Meo | 2009-01-01 | - | ACM press | 4.01 Contributo in Atti di convegno | - |