Travelled to:1 × Italy
1 × Latvia
1 × Portugal
1 × South Korea
1 × Spain
1 × Sweden
Collaborated with:M.Gabbrielli R.Amadini M.C.Meo G.Zavattaro S.Giallorenzo R.Cipriano A.Dovier R.D.Cosmo S.Zacchiroli J.Sneyers M.D.Preda I.Lanese M.Bravetti I.Talevi M.Nieke C.Seidl T.Thüm I.C.Yu F.Franzke
Talks about:portfolio (3) constraint (2) solver (2) featur (2) sunni (2) model (2) chr (2) microservic (1) choreograph (1) reconfigur (1)
Person: Jacopo Mauro
DBLP: Mauro:Jacopo
Contributed to:
2015
20142014
2014
20132010
20092008
2018
2019Wrote 10 papers:
- SAC-2015-AmadiniGM #named
- SUNNY-CP: a sequential CP portfolio solver (RA, MG, JM), pp. 1861–1867.
- ICLP-J-2014-AmadiniGM #approach #constraints #lazy evaluation #named #theorem proving
- SUNNY: a Lazy Portfolio Approach for Constraint Solving (RA, MG, JM), pp. 509–524.
- SAC-2014-AmadiniGM #constraints #theorem proving
- An enhanced features extractor for a portfolio of constraint solvers (RA, MG, JM), pp. 1357–1359.
- SLE-2014-PredaGLMG #adaptation #distributed #framework #named
- AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
- ICALP-v2-2013-CosmoMZZ #component #configuration management
- Component Reconfiguration in the Presence of Conflicts (RDC, JM, SZ, GZ), pp. 187–198.
- ICLP-J-2010-GabbrielliMMS #decidability
- Decidability properties for fragments of CHR (MG, JM, MCM, JS), pp. 611–626.
- PPDP-2009-GabbrielliMM #on the #power of
- On the expressive power of priorities in CHR (MG, JM, MCM), pp. 267–276.
- ICLP-2008-CiprianoDM #compilation #declarative #modelling
- Compiling and Executing Declarative Modeling Languages to Gecode (RC, AD, JM), pp. 744–748.
- GPCE-2018-NiekeMSTYF #analysis #evolution
- Anomaly analyses for feature-model evolution (MN, JM, CS, TT, ICY, FF), pp. 188–201.
- FASE-2019-BravettiGMTZ #automation #deployment
- Optimal and Automated Deployment for Microservices (MB, SG, JM, IT, GZ), pp. 351–368.