2012

  • D. Campagna.
    Product and Production Process Modeling and Configuration
    PhD thesis, Università degli Studi di Perugia, 2012.
  • D. Campagna, B. Sarna-Starosta, and T. Schrijvers.
    Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation
    In Claudio Russo and Neng-Fa Zhou, editors, Proceedings of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL'12), volume 7149 of Lecture Notes in Computer Science, 2012.

2011

  • D. Campagna.
    A Graphical Framework for Supporting Mass Customization.
    In Proceedings of the IJCAI'11 Workshop on Configuration, pages 1-8, 2011.
  • D. Campagna, B. Sarna-Starosta and T. Schrijvers.
    Approximating Constraint Propagation in Datalog.
    In Salvador Abreu and Vítor Santos Costa, editors, Online Proceedings of the 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011), arXiv:1112.4993v1 [cs.PL], 2011.
  • D. Campagna and A. Formisano.
    ProdProc - Product and Production Process Modeling and Configuration.
    In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic (CILC 2011), volume 810 of CEUR Workshop Proceedings, pages 261–279. CEUR-WS.org, 2011.

2010

  • D. Campagna, C. Piazza.
    Hybrid Automata, Reachability and Systems Biology.
    Theoretical Computer Science, 411(20):2037--2051, Elsevier, 2010.
  • D. Campagna, C. De Rosa, A. Dovier, A. Montanari, C. Piazza.
    Morphos Configuration Engine: the core of a commercial configuration system in CLP(FD).
    Fundamenta Informaticae, 105(1-2):105–133, 2010.

2009

  • D. Campagna, C. Piazza.
    Hybrid Automata in Systems Biology: How Far Can We Go?
    In Int. Workshop From Biology to Concurrency and back (FBTC'08), volume 229 of Electronic Notes in Theoretical Computer Science, pages 93–108. Elsevier, 2009.
  • A. Caligaris, D. Campagna, C. De Rosa, A. Dovier, A. Montanari, C. Piazza.
    A CLP engine for a general purpose configuration tool.
    In 24th Italian Conference on Computational Logic (CILC 2009). Ferrara, Italy, June 2009.