MAURO, JACOPO

MAURO, JACOPO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 20 di 30 (tempo di esecuzione: 0.092 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 -
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 -