International Workshops
1990-2000
- 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.
2001-2010
- 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.
2011-2020
- 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.
- Agostino Manzato, Pascal Horton, Agostino Dovier, Giuseppe Serra, Luca Foschiani, and
Davide Soldà.
Deep Learning for forecasting Thunderstorms on NE Italy
ECSS2019-222-1.
4–8 November 2019, Krakow, Poland
2021-2030
- Manuele Dozzi, Talissa Dreossi, Federico Costantini, Agostino Dovier and Andrea Formisano.
Semi-automatic knowledge representation and reasoning on vagueness crime concepts.
ALP2023, Maastricht, December 2023. JURIX 2023 workshop on AI, law and philosophy.