of Jacopo Mauro

Books and proceedings

  1. Jacopo Mauro. Constraints Meet Concurrency. Atlantis Publishing Corporation, 2014. ISBN: 9462390665, 9789462390669.


  1. Jacopo Mauro. Constraints meet concurrency. PhD thesis, 2012.

Articles in journal, book chapters

  1. Maurizio Gabbrielli, Jacopo Mauro, and Maria Chiara Meo. The expressive power of CHR with priorities. Inf. Comput., 228:62-82, 2013.
  2. Jacopo Mauro. Expressive power of Constraint Handling Rules extensions and fragments. Bulletin of EATCS, 3(111), 2013.
  3. 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

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