MAURO, JACOPO

MAURO, JACOPO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.048 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Leveraging static analysis for cost-aware serverless scheduling policies De Palma, G.; Giallorenzo, S.; Laneve, C.; Mauro, J.; Trentin, M.; Zavattaro, G. 2025-01-01 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER - 1.01 Articolo in rivista main.pdf
On the Potential Cosmogenic Origin of the Ultra-high-energy Event KM3-230213A Adriani, O.; Aiello, S.; Albert, A.; Alhebsi, A. R.; Alshamsi, M.; Alves Garre, S.; Ambrosone, A....; Ameli, F.; Andre, M.; Aphecetche, L.; Ardid, M.; Ardid, S.; Argüelles, C.; Aublin, J.; Badaracco, F.; Bailly-Salins, L.; Bardačová, Z.; Baret, B.; Bariego-Quintana, A.; Becherini, Y.; Bendahman, M.; Benfenati Gualandi, F.; Benhassi, M.; Bennani, M.; Benoit, D. M.; Berbee, E.; Berti, E.; Bertin, V.; Betti, P.; Biagi, S.; Boettcher, M.; Bonanno, D.; Bottai, S.; Bouasla, A. B.; Boumaaza, J.; Bouta, M.; Bouwhuis, M.; Bozza, C.; Bozza, R. M.; Brânzaş, H.; Bretaudeau, F.; Breuhaus, M.; Bruijn, R.; Brunner, J.; Bruno, R.; Buis, E.; Buompane, R.; Busto, J.; Caiffi, B.; Calvo, D.; Capone, A.; Carenini, F.; Carretero, V.; Cartraud, T.; Castaldi, P.; Cecchini, V.; Celli, S.; Cerisy, L.; Chabab, M.; Chen, A.; Cherubini, S.; Chiarusi, T.; Circella, M.; Clark, R.; Cocimano, R.; Coelho, J. A. B.; Coleiro, A.; Condorelli, A.; Coniglione, R.; Coyle, P.; Creusot, A.; Cuttone, G.; Dallier, R.; De Benedittis, A.; De Wasseige, G.; Decoene, V.; Deguire, P.; Del Rosso, I.; Di Mauro, L. S.; Di Palma, I.; Díaz, A. F.; Diego-Tortosa, D.; Distefano, C.; Domi, A.; Donzaud, C.; Dornic, D.; Drakopoulou, E.; Drouhin, D.; Ducoin, J. -G.; Duverne, P.; Dvornický, R.; Eberl, T.; Eckerová, E.; Eddymaoui, A.; van Eeden, T.; Eff, M.; van Eijk, D.; El Bojaddaini, I.; El Hedri, S.; El Mentawi, S.; Ellajosyula, V.; Enzenhöfer, A.; Ferrara, G.; Filipović, M. D.; Filippini, F.; Franciotti, D.; Fusco, L. A.; Gal, T.; Méndez, J. García; Garcia Soto, A.; Oliver, C. Gatius; Geisselbrecht, N.; Genton, E.; Ghaddari, H.; Gialanella, L.; Gibson, B. K.; Giorgio, E.; Goos, I.; Goswami, P.; Gozzini, S. R.; Gracia, R.; Guidi, C.; Guillon, B.; Gutiérrez, M.; Haack, C.; van Haren, H.; Heijboer, A.; Hennig, L.; Hernández-Rey, J. J.; Idrissi, A.; Ibnsalih, W. Idrissi; Illuminati, G.; Janik, O.; Joly, D.; de Jong, M.; de Jong, P.; Jung, B. J.; Kalaczyński, P.; Kamp, N.; Keegans, J.; Kikvadze, V.; Kistauri, G.; Kopper, C.; Kouchner, A.; Kovalev, Y. Y.; Krupa, L.; Kueviakoe, V.; Kulikovskiy, V.; Kvatadze, R.; Labalme, M.; Lahmann, R.; Lamoureux, M.; Larosa, G.; Lastoria, C.; Lazar, J.; Lazo, A.; Le Stum, S.; Lehaut, G.; Lemaître, V.; Leonora, E.; Lessing, N.; Levi, G.; Clark, M. Lindsey; Longhitano, F.; Magnani, F.; Majumdar, J.; Malerba, L.; Mamedov, F.; Manfreda, A.; Manousakis, A.; Marconi, M.; Margiotta, A.; Marinelli, A.; Markou, C.; Martin, L.; Mastrodicasa, M.; Mastroianni, S.; Mauro, J.; Mehta, K. C. K.; Meskar, A.; Miele, G.; Migliozzi, P.; Migneco, E.; Mitsou, M. L.; Mollo, C. M.; Morales-Gallegos, L.; Mori, N.; Moussa, A.; Mateo, I. Mozun; Muller, R.; Musone, M. R.; Musumeci, M.; Navas, S.; Nayerhoda, A.; Nicolau, C. A.; Nkosi, B.; Fearraigh, B. Ó; Oliviero, V.; Orlando, A.; Oukacha, E.; Pacini, L.; Paesani, D.; González, J. Palacios; Papalashvili, G.; Papini, P.; Parisi, V.; Parmar, A.; Gomez, E. J. Pastor; Pastore, C.; Păun, A. M.; Păvălaş, G. E.; Martínez, S. Peña; Perrin-Terrin, M.; Pestel, V.; Pestes, R.; Petropavlova, M.; Piattelli, P.; Plavin, A.; Poirè, C.; Popa, V.; Pradier, T.; Prado, J.; Pulvirenti, S.; Quiroz-Rangel, C. A.; Randazzo, N.; Ratnani, A.; Razzaque, S.; Rea, I. C.; Real, D.; Riccobene, G.; Robinson, J.; Romanov, A.; Ros, E.; Šaina, A.; Salesa Greus, F.; Samtleben, D. F. E.; Losa, A. Sánchez; Sanfilippo, S.; Sanguineti, M.; Santonocito, D.; Sapienza, P.; Scaringella, M.; Scarnera, M.; Schnabel, J.; Schumann, J.; Schutte, H. M.; Seneca, J.; Sennan, N.; Myhr, P. A. Sevle; Sgura, I.; Shanidze, R.; Sharma, A.; Shitov, Y.; Šimkovic, F.; Simonelli, A.; Sinopoulou, A.; Spisso, B.; Spurio, M.; Starodubtsev, O.; Stavropoulos, D.; Štekl, I.; Stocco, D.; Taiuti, M.; Takadze, G.; Tayalati, Y.; Thiersen, H.; Thoudam, S.; e Melo, I. Tosta; Trocmé, B.; Tsourapis, V.; Tzamariudaki, E.; Ukleja, A.; Vacheret, A.; Valsecchi, V.; Van Elewyck, V.; Vannoye, G.; Vannuccini, E.; Vasileiadis, G.; de Sola, F. Vazquez; Veutro, A.; Viola, S.; Vivolo, D.; van Vliet, A.; Wen, A. Y.; de Wolf, E.; Lhenry-Yvon, I.; Zavatarelli, S.; Zegarelli, A.; Zito, D.; Zornoza, J. D.; Zúniga, J.; Zywucka, N.; Null, Null 2025-01-01 THE ASTROPHYSICAL JOURNAL LETTERS - 1.01 Articolo in rivista -
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
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
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
sunny-as2: Enhancing SUNNY for Algorithm Selection (Extended Abstract) Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2022-01-01 - - 4.02 Riassunto (Abstract) 0804.pdf
sunny-as2: Enhancing SUNNY for Algorithm Selection Liu, Tong; Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 2021-01-01 THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH - 1.01 Articolo in rivista sminton,+13116-Article+(PDF)-28464-1-11-20211006+(1).pdf
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
On the modeling of optimal and automatized cloud application deployment de Gouw, Stijn; Mauro, Jacopo; Zavattaro, Gianluigi 2019-01-01 THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING - 1.01 Articolo in rivista -
Programming adaptive microservice applications: An AIOCJ tutorial Giallorenzo S.; Lanese I.; Mauro J.; Gabbrielli M. 2017-01-01 - River Publishers 2.01 Capitolo / saggio in libro main.pdfbookBETTY-AIOCJ.pdf
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 -
On the expressiveness of synchronization in component deployment Mauro, Jacopo; Zavattaro, Gianluigi 2016-01-01 - Springer Verlag 2.01 Capitolo / saggio in libro -
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 -
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 -
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 integration of automatic deployment into the ABS modeling language De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi 2015-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
SUNNY for algorithm selection: A preliminary study Amadini R.; Biselli F.; Gabbrielli M.; Liu T.; Mauro J. 2015-01-01 - CEUR-WS 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 -