Intet billede af Jacopo Mauro

Vis Scopus-profil

Jacopo Mauro

 https://orcid.org/0000-0002-5285-2868
  • 48 Konferencebidrag i proceedings
  • 17 Tidsskriftartikel
  • 6 Kapitel i bog
  • 3 Konferenceartikel

Søgeresultater

  • 2015

    SUNNY-CP: A sequential cp portfolio solver

    Amadini, R., Gabbrielli, M. & Mauro, J., 13. apr. 2015, 2015 Symposium on Applied Computing, SAC 2015. Shin, D. (red.). Association for Computing Machinery / Special Interest Group on Programming Languages, s. 1861-1867 7 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • SUNNY for algorithm selection: A preliminary study

    Amadini, R., Biselli, F., Gabbrielli, M., Liu, T. & Mauro, J., 1. jan. 2015, I: CEUR Workshop Proceedings. 1459, s. 202-206 5 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  • Why CP portfolio solvers are (under)utilized? Issues and challenges

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. jan. 2015, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers. Falaschi, M. (red.). Springer, s. 349-364 16 s. (Lecture Notes in Computer Science, Bind 9527).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2014

    Aeolus: A component model for the cloud

    Di Cosmo, R., Mauro, J., Zacchiroli, S. & Zavattaro, G., dec. 2014, I: Information and Computation. 239, s. 100-121 22 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang

  • AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

    Preda, M. D., Giallorenzo, S., Lanese, I., Mauro, J. & Gabbrielli, M., 2014, Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Springer, s. 161-170 10 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • An enhanced features extractor for a portfolio of constraint solvers

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. jan. 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. Association for Computing Machinery / Special Interest Group on Programming Languages, s. 1357-1359 3 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Automatic component deployment in the presence of circular dependencies

    Lascu, T. A., Mauro, J. & Zavattaro, G., 1. jan. 2014, Formal Aspects of Component Software - 10th International Symposium, FACS 2013, Revised Selected Papers. Springer, s. 254-272 19 s. (Lecture Notes in Computer Science, Bind 8348 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • SUNNY: A lazy portfolio approach for constraint solving

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. jul. 2014, I: Theory and Practice of Logic Programming. 14, 4-5, s. 509-524 16 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Towards global and local types for adaptation

    Bravetti, M., Carbone, M., Hildebrandt, T., Lanese, I., Mauro, J., Pérez, J. A. & Zavattaro, G., 1. jan. 2014, Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Revised Selected Papers. Springer, s. 3-14 12 s. (Lecture Notes in Computer Science, Bind 8368 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2013

    Aeolus: Mastering the complexity of cloud application deployment

    Catan, M., Di Cosmo, R., Eiche, A., Lascu, T. A., Lienhardt, M., Mauro, J., Treinen, R., Zacchiroli, S., Zavattaro, G. & Zwolakowski, J., 22. okt. 2013, Service-Oriented and Cloud Computing - Second European Conference, ESOCC 2013, Proceedings. s. 1-3 3 s. (Lecture Notes in Computer Science, Bind 8135 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • An empirical evaluation of portfolios approaches for solving CSPs

    Amadini, R., Gabbrielli, M. & Mauro, J., 1. dec. 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 10th International Conference, CPAIOR 2013, Proceedings. s. 316-324 9 s. (Lecture Notes in Computer Science, Bind 7874 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • A planning tool supporting the deployment of cloud applications

    Lascu, T. A., Mauro, J. & Zavattaro, G., 1. dec. 2013, Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013. s. 213-220 8 s. 6735252. (Proceedings of the International Conference on Tools with Artificial Intelligence, ICTAI).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Component reconfiguration in the presence of conflicts

    Di Cosmo, R., Mauro, J., Zacchiroli, S. & Zavattaro, G., 23. jul. 2013, Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings. PART 2 udg. s. 187-198 12 s. (Lecture Notes in Computer Science; Nr. PART 2, Bind 7966 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Fast post-disaster emergency vehicle scheduling

    Amadini, R., Sefrioui, I., Mauro, J. & Gabbrielli, M., 1. jan. 2013, Distributed Computing and Artificial Intelligence - 10th International Conference. Springer, s. 219-226 8 s. (Advances in Intelligent Systems and Computing, Bind 217).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • The expressive power of CHR with priorities

    Gabbrielli, M., Mauro, J. & Meo, M. C., 1. jul. 2013, I: Information and Computation. 228-229, s. 62-82 21 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
  • 2012

    Interface-Based Service Composition with Aggregation

    Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. s. 48-63 16 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Service integration via target-transparent mediation

    Preda, M. D., Gabbrielli, M., Guidi, C., Mauro, J. & Montesi, F., 2012, 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA), Taipei, Taiwan, December 17-19, 2012. s. 1-5 5 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2011

    An Efficient Management of Correlation Sets with Broadcast

    Mauro, J., Gabbrielli, M., Guidi, C. & Montesi, F., 2011, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. s. 80-94 15 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Graceful interruption of request-response service interactions

    Dalla Preda, M., Gabbrielli, M., Lanese, I., Mauro, J. & Zavattaro, G., 29. nov. 2011, Service-Oriented Computing - 9th International Conference, ICSOC 2011, Proceedings. s. 590-600 11 s. (Lecture Notes in Computer Science, Bind 7084 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Solving XCSP problems by using Gecode

    Morara, M., Mauro, J. & Gabbrielli, M., 1. dec. 2011, I: CEUR Workshop Proceedings. 810, s. 401-405 5 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  • 2010

    Decidability properties for fragments of CHR

    Gabbrielli, M., Mauro, J., Meo, M. C. & Sneyers, J., 1. jul. 2010, I: Theory and Practice of Logic Programming. 10, 4-6, s. 611-626 16 s.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Service-oriented volunteer computing for massively parallel constraint solving using portfolios

    Kiziltan, Z. & Mauro, J., 16. aug. 2010, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 7th International Conference, CPAIOR 2010, Proceedings. s. 246-251 6 s. (Lecture Notes in Computer Science, Bind 6140 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2009

    On the expressive power of priorities in CHR

    Gabbrielli, M., Mauro, J. & Meo, M. C., 30. nov. 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. s. 267-275 9 s.

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 2008

    Compiling and executing declarative modeling languages to gecode

    Cipriano, R., Dovier, A. & Mauro, J., 1. dec. 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. s. 744-748 5 s. (Lecture Notes in Computer Science, Bind 5366 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review