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 Kiziltan Z; Mandrioli L; Mauro J; O'Sullivan B
A Constraint-Based Model for Fast Post-Disaster Emergency Vehicle Routing
2013 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling
2022 De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Aeolus: A component model for the cloud
2014 Di Cosmo, R.; Mauro, J.; Zacchiroli, S.; Zavattaro, G.
AIOCJ
2014 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
AIOCJ: A choreographic framework for safe adaptive distributed applications
2014 Dalla Preda, Mila; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo; Gabbrielli, Maurizio
An Efficient Management of Correlation Sets with Broadcast
2011 Jacopo Mauro; Maurizio Gabbrielli; Claudio Guidi; Fabrizio Montesi
Automatic application deployment in the cloud: From practice to theory and back
2015 Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Automatic deployment of component-based applications
2015 Lascu, Tudor A.; Mauro, Jacopo; Zavattaro, Gianluigi
Automatic Deployment of Services in the Cloud with Aeolus Blender
2015 Di Cosmo, Roberto; Eiche, Antoine; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Decidability properties for fragments of CHR
2010 M. Gabbrielli; J. Mauro; M.C. Meo; J. Sneyers
Declarative elasticity in ABS
2016 de Gouw, Stijn; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
Developing correct, distributed, adaptive software
2015 Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
Fast Post-Disaster Emergency Vehicle SchedulingDistributed Computing and Artificial Intelligence
2013 Roberto Amadini;Imane Sefrioui;Jacopo Mauro;Maurizio Gabbrielli
Formally Verifying Function Scheduling Properties in Serverless Applications
2023 Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi
Graceful Interruption of Request-Response Service Interactions
2011 Mila Dalla Preda; Maurizio Gabbrielli; Ivan Lanese; Jacopo Mauro; Gianluigi Zavattaro
Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies
2019 Gabbrielli M.; Giallorenzo S.; Lanese I.; Mauro J.
Interface-Based Service Composition with Aggregation.
2012 Mila Dalla Preda; Maurizio Gabbrielli; Claudio Guidi; Jacopo Mauro; Fabrizio Montesi
On the complexity of reconfiguration in systems with legacy components
2015 Mauro, Jacopo; Zavattaro, Gianluigi
On the Evaluation of (Meta-)solver Approaches
2023 Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro
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 | - |
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 | - |
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 | icws2022.pdf |
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 | - |
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 | - |
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 | - |
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 | - |
Formally Verifying Function Scheduling Properties in Serverless Applications | Palma, Giuseppe De; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi | 2023-01-01 | IT PROFESSIONAL | - | 1.01 Articolo in rivista | 10411728.pdf |
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 Evaluation of (Meta-)solver Approaches | Roberto Amadini; Maurizio Gabbrielli; Tong Liu; Jacopo Mauro | 2023-01-01 | THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH | - | 1.01 Articolo in rivista | 14102wPg#s.pdf |