Jacopo Mauro

Jacopo Mauro

University of Southern Denmark - Tianjin / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1601459
Syddansk Universitet
person_outline Jacopo Mauro's MOST POPULAR ARTICLES
1-) Aeolus: A component model for the cloudR Di Cosmo, J Mauro, S Zacchiroli, G ZavattaroInformation and Computation 239, 100-121, 2014732014
2-) SUNNY: a lazy portfolio approach for constraint solvingR Amadini, M Gabbrielli, J MauroTheory and Practice of Logic Programming 14 (4-5), 509-524, 2014732014
3-) Dynamic choreographies: Theory and implementationM Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J MauroLogical Methods in Computer Science 13, 2017542017
4-) Self-reconfiguring microservicesM Gabbrielli, S Giallorenzo, C Guidi, J Mauro, F MontesiTheory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016622016
5-) Automatic deployment of services in the cloud with aeolus blenderR Di Cosmo, A Eiche, J Mauro, S Zacchiroli, G Zavattaro, J ZwolakowskiInternational Conference on Service-Oriented Computing, 397-411, 2015552015