Books and proceedings
- Jacopo Mauro. Constraints Meet Concurrency. Atlantis Publishing Corporation, 2014. ISBN: 9462390665, 9789462390669.
Thesis
Articles in journal, book chapters
- Maurizio Gabbrielli, Jacopo Mauro, and Maria Chiara Meo. The expressive power of CHR with priorities. Inf. Comput., 228:62-82, 2013.
- Jacopo Mauro. Expressive power of Constraint Handling Rules extensions and fragments. Bulletin of EATCS, 3(111), 2013.
- Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, and Jon Sneyers. Decidability properties for fragments of CHR. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 611-626. CUP, July 2010. [doi:10.1017/S1471068410000311] Keyword(s): computability.
Conference articles
- Maurizio Gabbrielli, Maria Chiara Meo, and Jacopo Mauro. On the expressive power of priorities in CHR. In F.J. López-Fraguas, editor, PPDP09l, pages 267-276, September 2009. ACM. [doi:10.1145/1599410.1599443] Keyword(s): expressivity, priorities.
BACK TO INDEX