International Workshops

  1. P. Bruscoli, A. Dovier, E. Pontelli, and G. Rossi.
    Extensional and Intensional sets in CLP with Intensional Negation
    In Second compulog-network area meeting on Programming Languages, joint with Workshop on Logic Languages - Progetto finalizzato Informatica. (Pisa, May 1993)
  2. P. Bruscoli, A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi.
    Extensional and Intensional sets in CLP with Intensional Negation
    In Workshop on Logic Programming with Sets. (Budapest, June 1993)
  3. D. Aliffi, A. Dovier, E. G. Omodeo, and G. Rossi.
    Unification of hyperset terms
    In Workshop on Logic Programming with Sets. (Budapest, June 1993)
  4. A. Dovier and G. Rossi.
    Set constraint management in {log}
    In L. Pacholski, ed., Set Constraints and Constrained Logic Programming, a satelite workshop to CP'95. (Cassis, September 1995)
  5. A. Dovier and A. Policriti.
    T-resolution and CLP scheme
    In M. Falaschi, ed., 1st International Workshop of the HCM project CONSOLE (CONstraint SOLving in Europe) on Constraint solving in declarative languages. (Venezia, December 1995)
  6. A. Dovier, A. Formisano, and A. Policriti.
    Automated deduction scheme
    In B. Buchberger, ed. Computer Algebra and Automated Theorem Proving. (Linz 17--20 July 1996)
  7. A. Dovier
    Some thoughts about the use of set domains for Program Analysis.
    In EU-IL Workshop. (Grado, 20 giugno 1997)
  8. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca.
    Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
    In P. Fraternali, U. Geske, C. Ruiz, and D. Seipel, editors, Proceedings of 6th International Workshop on Deductive Databases and Logic Programming DDLP'98, pages 127--139. GMD Report 22, June 1998.
  9. A. Dovier, C. Piazza, and G. Rossi.
    Some analysis of the relations between Set-Constraints and CLP with Sets In A. Podelski ed., Fourth International Workshop on Set Constraints and Constraint-based Program Analysis. Pisa, Italy, October 30, 1998.
  10. A. Cortesi, A. Dovier, E. Quintarelli, and L. Tanca.
    Operational and Abstract Semantics of a Graphical Query Language.
    In Workshop del Progetto: "Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software" Roma, 21-23 dicembre 1998.
  11. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi.
    Sets and Constraint Logic Programming.
    In B. Jayaraman and G. Rossi eds., DPS'99, Workshop on Declarative Programming with Sets, Paris, September 28, 1999.
  12. A. Dovier, A. Formisano, and E. Omodeo.
    Provable exist*forall sentences about sets with atoms.
    In B. Jayaraman and G. Rossi eds., DPS'99, Workshop on Declarative Programming with Sets, Paris, September 28, 1999.
  13. A. Dovier, C. Piazza, and A. Policriti.
    Fast (Hyper) Set Equivalence. In B. Jayaraman and G. Rossi eds., DPS'99, Workshop on Declarative Programming with Sets, Paris, September 28, 1999.
  14. A. Dovier, R. Giacobazzi, and E. Quintarelli.
    Abstract model checking with domain refinements.
    In A. Bossi, editor, Workshop Finale del progetto ``Sistemi Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software, pages 71--72, January 2000. Venezia, Italy.
  15. A. Dovier, C. Piazza, and A. Policriti.
    Fast (hyper) set equivalence.
    In A. Bossi, editor, Workshop Finale del progetto ``Sistemi Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software, pages 77--78, January 2000. Venezia, Italy.
  16. A. Dovier, C. Piazza, E. Pontelli, and G. Rossi. ACI1 constraints.
    In A. Bossi, editor, Workshop Finale del progetto ``Sistemi Formali per la Specifica, l'Analisi, la Verifica, la Sintesi e la Trasformazione di Sistemi Software}, pages 27--28, January 2000. Venezia, Italy.
  17. A. Dovier, C. Piazza, and G. Rossi.
    A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
    In G. Paun ed., proceedings of Workshop on Multiset Processing, Curtea de Arges, Romania, August 21-25, 2000.
  18. A. Dal Palù, A. Dovier, E. Pontelli and G. Rossi
    Integrating Finite Domain Constraints and CLP with Sets.
    Slides In 12th International Workshop on Functional and (constraint) Logic Programming. Valencia, June 2003.
  19. L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari.
    Protein Folding Simulation in CCP.
    BioConcur 2004.
  20. Agostino Dovier, Michela Farenzena, Andrea Fusiello.
    Interval Modelling with Constraint Propagation
    IntCP 2005 Interval Analysis Constraint Propagation Applications October 1st, 2005 Sitges, SP.
  21. Agostino Dovier and Rolf Backofen. (eds.)
    Proceedings of WCB05 Workshop on Constraint Based methods for Bioinformatics. Sitges, SP, October 5, 2005.
  22. Alessandro Dal Palù, Agostino Dovier and Sebastian Will.
    Proceedings of WCB06 Workshop on Constraint Based methods for Bioinformatics. Nantes, FR, September 25, 2006.
  23. De Maria E., Dovier A., Montanari A., and Piazza C.
    Exploiting Model Checking in Constraint-based Approaches to the Protein Folding.
    Proceedings of WCB06, pp.46-54.
  24. Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli.
    Global Constraints for Discrete Lattices.
    Proceedings of WCB06, pp.55-68.
  25. Alessandro Dal Palù, Agostino Dovier and Enrico Pontelli.
    The Density Constraint
    Proceedings of WCB'07 Workshop on Constraint Based methods for Bioinformatics. Porto (PT), September 13, 2007.
  26. Elisabetta De Maria, Agostino Dovier, Alberto Policriti, and Marco Zantoni.
    Module Identification Using Biological Constraints
    Proceedings of WCB'07 Workshop on Constraint Based methods for Bioinformatics. Porto (PT), September 13, 2007.
  27. Raffaele Cipriano, Alessandro Dal Palu', and Agostino Dovier.
    A hybrid approach mixing local search and constraint programming applied to the protein structure prediction problem.
    WCB'08 Workshop on Constraint Based methods for Bioinformatics. Paris, May 22th, 2008.
  28. Alessandro Dal Palu', Agostino Dovier, Federico Fogolari, Enrico Pontelli.
    Constraint-based Protein Fragment Assembly. In BIOLOGICAL 09 Logic-based approaches in Bioinformatics Workshop, Reggio Emilia, Dec 12, 2009.
  29. S. Bistarelli, A. Cesta, A. Dovier, M. Gabbrielli, and F. Rossi.
    Innovative and multi-disciplinary approaches for constraint and preference reasoning.
    In RCRA 2010, Bologna, June 2010.
  30. Michael Best, Kabi Bhattarai, Federico Campeotto, Alessandro Dal Palù, Hung Dang, Agostino Dovier, Ferdinando Fioretto, Federico Fogolari, Trung Le, and Enrico Pontelli.
    Introducing FIASCO: Fragment-based Interactive Assembly for protein Structure prediction with Constraints. In WCB 11, Perugia, September 2011.
  31. Protein Loop Modeling via Constraints and Fragment Assembly Federico Campeotto, Alessandro Dal Palu, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli. In WCB 12, Budapest, September 2012.
  32. Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, and Enrico Pontelli.
    Towards a complete constraint solver on GPU In ParSearchOpt14 July 18, 2014, Vienna.