MAURO, JACOPO

MAURO, JACOPO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.037 secondi).
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 -
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