 | 2011 |
|---|
| 8 |       | Jacopo Mauro,
Maurizio Gabbrielli,
Claudio Guidi,
Fabrizio Montesi:
An Efficient Management of Correlation Sets with Broadcast.
COORDINATION 2011: 80-94 |
| 7 | | Mila Dalla Preda,
Maurizio Gabbrielli,
Ivan Lanese,
Jacopo Mauro,
Gianluigi Zavattaro:
Graceful Interruption of Request-Response Service Interactions.
ICSOC 2011: 590-600 |
| 6 | | Massimo Morara,
Jacopo Mauro,
Maurizio Gabbrielli:
Solving XCSP problems by using Gecode
CoRR abs/1112.6096: (2011) |
| 2010 |
|---|
| 5 | | Zeynep Kiziltan,
Jacopo Mauro:
Service-Oriented Volunteer Computing for Massively Parallel Constraint Solving Using Portfolios.
CPAIOR 2010: 246-251 |
| 4 | | Maurizio Gabbrielli,
Jacopo Mauro,
Maria Chiara Meo,
Jon Sneyers:
Decidability properties for fragments of CHR
CoRR abs/1007.4476: (2010) |
| 3 | | Maurizio Gabbrielli,
Jacopo Mauro,
Maria Chiara Meo,
Jon Sneyers:
Decidability properties for fragments of CHR.
TPLP 10(4-6): 611-626 (2010) |
| 2009 |
|---|
| 2 | | Maurizio Gabbrielli,
Jacopo Mauro,
Maria Chiara Meo:
On the expressive power of priorities in CHR.
PPDP 2009: 267-276 |
| 2008 |
|---|
| 1 | | Raffaele Cipriano,
Agostino Dovier,
Jacopo Mauro:
Compiling and Executing Declarative Modeling Languages to Gecode.
ICLP 2008: 744-748 |
Data released under the ODC-BY 1.0 license — See also our legal information page