×

zbMATH — the first resource for mathematics

Mauro, Jacopo

Compute Distance To:
Author ID: mauro.jacopo Recent zbMATH articles by "Mauro, Jacopo"
Published as: Mauro, Jacopo
External Links: ORCID
Documents Indexed: 14 Publications since 2010, including 1 Book

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 25 times in 20 Documents Cited by Year
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
10
2014
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
6
2017
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
4
2016
An empirical evaluation of portfolios approaches for solving CSPs. Zbl 1382.68219
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
3
2013
The expressive power of CHR with priorities. Zbl 1358.68053
Gabbrielli, Maurizio; Mauro, Jacopo; Meo, Maria Chiara
1
2013
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
1
2013
Dynamic choreographies: theory and implementation. Zbl 1398.68088
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
6
2017
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
4
2016
SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
10
2014
An empirical evaluation of portfolios approaches for solving CSPs. Zbl 1382.68219
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
3
2013
The expressive power of CHR with priorities. Zbl 1358.68053
Gabbrielli, Maurizio; Mauro, Jacopo; Meo, Maria Chiara
1
2013
Component reconfiguration in the presence of conflicts. Zbl 1334.68047
Di Cosmo, Roberto; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi
1
2013

Citations by Year