- 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) - 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) - D. Aliffi, A. Dovier, E. G. Omodeo, and G. Rossi.
**Unification of hyperset terms**

In Workshop on Logic Programming with Sets. (Budapest, June 1993) - 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) - 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) - 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) - A. Dovier
**Some thoughts about the use of set domains for Program Analysis.**

In*EU-IL Workshop*. (Grado, 20 giugno 1997) - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - 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. - L. Bortolussi, A. Dal Palù, A. Dovier, and F. Fogolari.

**Protein Folding Simulation in CCP.**

BioConcur 2004. -
Agostino Dovier, Michela Farenzena, Andrea Fusiello.

**Interval Modelling with Constraint Propagation**

IntCP 2005 Interval Analysis Constraint Propagation Applications October 1st, 2005 Sitges, SP. -
Agostino Dovier and Rolf Backofen. (eds.)

Proceedings of WCB05 Workshop on Constraint Based methods for Bioinformatics. Sitges, SP, October 5, 2005. -
Alessandro Dal Palù, Agostino Dovier and Sebastian Will.

Proceedings of WCB06 Workshop on Constraint Based methods for Bioinformatics. Nantes, FR, September 25, 2006. -
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. -
Alessandro Dal Palù, Agostino Dovier, and Enrico Pontelli.

Global Constraints for Discrete Lattices.

Proceedings of WCB06, pp.55-68. - 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. - 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. - 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. - 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. - 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. - 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. - 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.
- 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.