BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mauro:Jacopo

Contributed to:

SAC 20152015
ICLP 20142014
SAC 20142014
SLE 20142014
ICALP (2) 20132013
ICLP 20102010
PPDP 20092009
ICLP 20082008
GPCE 20182018
FASE 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.