2008 |
68 | EE | Raffaele Cipriano,
Agostino Dovier,
Jacopo Mauro:
Compiling and Executing Declarative Modeling Languages to Gecode.
ICLP 2008: 744-748 |
67 | EE | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.
ACM Trans. Comput. Log. 9(3): (2008) |
66 | EE | Alessandro Dal Palù,
Agostino Dovier,
Sebastian Will:
Introduction to the Special Issue on Bioinformatics and Constraints.
Constraints 13(1-2): 1-2 (2008) |
2007 |
65 | | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming.
AAAI 2007: 1622-1625 |
64 | EE | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
Multivalued Action Languages with Constraints in CLP(FD).
ICLP 2007: 255-270 |
63 | EE | Luca Bortolussi,
Agostino Dovier,
Federico Fogolari:
Agent-based protein structure prediction.
Multiagent and Grid Systems 3(2): 183-197 (2007) |
62 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction.
Softw., Pract. Exper. 37(13): 1405-1449 (2007) |
2006 |
61 | EE | Michela Farenzena,
Andrea Fusiello,
Agostino Dovier:
Reconstruction with Interval Constraints Propagation.
CVPR (1) 2006: 1185-1190 |
60 | EE | Raffaele Cipriano,
Luca Di Gaspero,
Agostino Dovier:
Hybrid Approaches for Rostering: A Case Study in the Integration of Constraint Programming and Local Search.
Hybrid Metaheuristics 2006: 110-123 |
59 | EE | Agostino Dovier,
Andrea Formisano,
Eugenio G. Omodeo:
Decidability results for sets with atoms.
ACM Trans. Comput. Log. 7(2): 269-301 (2006) |
58 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set unification.
TPLP 6(6): 645-701 (2006) |
2005 |
57 | EE | Agostino Dovier,
Andrea Formisano,
Enrico Pontelli:
A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.
ICLP 2005: 67-82 |
56 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem.
LPAR 2005: 48-63 |
55 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli:
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD).
PPDP 2005: 230-241 |
2004 |
54 | EE | Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari:
Protein Folding Simulation in CCP.
ICLP 2004: 452-453 |
53 | EE | Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari:
Constraint Logic Programming approach to protein structure prediction.
BMC Bioinformatics 5: 186 (2004) |
52 | EE | Agostino Dovier,
Carla Piazza,
Enrico Pontelli:
Disunification in ACI1 Theories.
Constraints 9(1): 35-91 (2004) |
51 | EE | Federico Avanzini,
Davide Rocchesso,
Alberto Belussi,
Alessandro Dal Palù,
Agostino Dovier:
Designing an Urban-Scale Auditory Alert System.
IEEE Computer 37(9): 55-61 (2004) |
50 | EE | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
An efficient algorithm for computing bisimulation equivalence.
Theor. Comput. Sci. 311(1-3): 221-256 (2004) |
2003 |
49 | | S. Bozzoli,
Fausto Spoto,
Agostino Dovier:
Approximate Protein Folding in Oz through Frequency Analysis.
APPIA-GULP-PRODE 2003: 123-134 |
48 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
APPIA-GULP-PRODE 2003: 36-49 |
47 | EE | Alessandro Dal Palù,
Agostino Dovier,
Federico Fogolari:
Protein Folding in CLP(FD) with Empirical Contact Energies.
CSCLP 2003: 250-265 |
46 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Intensional Sets in CLP.
ICLP 2003: 284-299 |
45 | EE | Alessandro Dal Palù,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Integrating finite domain constraints and CLP with sets.
PPDP 2003: 219-229 |
44 | EE | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
CoRR cs.PL/0309045: (2003) |
43 | EE | Agostino Dovier,
Carla Piazza:
The Subgraph Bisimulation Problem.
IEEE Trans. Knowl. Data Eng. 15(4): 1055-1056 (2003) |
42 | | Agostino Dovier:
Book review: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Domenico Cantone, Eugenio Omodeo, and Alberto Policriti, Springer, 2001, ISBN 0-387-95197-0.
TPLP 3(1): 125-128 (2003) |
2002 |
41 | EE | Agostino Dovier,
Raffaella Gentilini,
Carla Piazza,
Alberto Policriti:
Rank-Based Symbolic Bisimulation (and Model Checking).
Electr. Notes Theor. Comput. Sci. 67: (2002) |
40 | EE | Agostino Dovier,
Matteo Burato,
Federico Fogolari:
Using Secondary Structure Information for Protein Folding in CLP(FD).
Electr. Notes Theor. Comput. Sci. 76: (2002) |
39 | EE | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and abstract semantics of the query language G-Log.
Theor. Comput. Sci. 275(1-2): 521-560 (2002) |
2001 |
38 | EE | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
A Fast Bisimulation Algorithm.
CAV 2001: 79-90 |
37 | EE | Agostino Dovier,
Elisa Quintarelli:
Model-Checking Based Data Retrieval.
DBPL 2001: 62-77 |
36 | EE | Manuele Bicego,
Agostino Dovier,
Vittorio Murino:
Designing the Minimal Structure of Hidden Markov Model by Bisimulation.
EMMCVPR 2001: 75-90 |
35 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Set Unification
CoRR cs.LO/0110023: (2001) |
34 | EE | Agostino Dovier,
Maria Chiara Meo,
Andrea Omicini:
Preface.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
33 | EE | Agostino Dovier,
Roberto Giacobazzi,
Elisa Quintarelli:
Refining and Compressing Abstract Model Checking.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
32 | | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Constructive Negation and Constraint Logic Programming with Sets.
New Generation Comput. 19(3): 209-256 (2001) |
2000 |
31 | | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
Comparing Expressiveness of Set Constructor Symbols.
FroCos 2000: 275-289 |
30 | EE | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
Multiset Constraints and P Systems.
WMP 2000: 103-122 |
29 | EE | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
Sets and constraint logic programming.
ACM Trans. Program. Lang. Syst. 22(5): 861-931 (2000) |
28 | EE | Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
A necessary condition for Constructive Negation in Constraint Logic Programming.
Inf. Process. Lett. 74(3-4): 147-156 (2000) |
1999 |
27 | | Agostino Dovier,
Carla Piazza,
Alberto Policriti:
Comparing expressiveness of set constructor symbols.
APPIA-GULP-PRODE 1999: 151-166 |
26 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
ACI1 constraints.
APPIA-GULP-PRODE 1999: 305-320 |
25 | | Agostino Dovier,
Carla Piazza,
Enrico Pontelli,
Gianfranco Rossi:
ACI1 Constraints.
ICLP 1999: 573-587 |
24 | EE | Agostino Dovier,
Eugenio G. Omodeo,
Alberto Policriti:
Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case.
Appl. Algebra Eng. Commun. Comput. 9(4): 293-332 (1999) |
23 | | Davide Aliffi,
Agostino Dovier,
Gianfranco Rossi:
From Set to Hyperset Unification
Journal of Functional and Logic Programming 1999(10): (1999) |
1998 |
22 | | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
APPIA-GULP-PRODE 1998: 175-188 |
21 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi:
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints.
APPIA-GULP-PRODE 1998: 43-56 |
20 | | Agostino Cortesi,
Agostino Dovier,
Elisa Quintarelli,
Letizia Tanca:
Operational and Abstract Semantics of a Query Language for Semi-Structured Information.
DDLP 1998: 127-140 |
19 | | Agostino Dovier,
Carla Piazza,
Gianfranco Rossi,
Enrico Pontelli:
On the Representation and Management of Finite Sets in CLP Languages.
IJCSLP 1998: 40-54 |
18 | | Agostino Dovier,
Alberto Policriti,
Gianfranco Rossi:
A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms.
Fundam. Inform. 36(2-3): 201-234 (1998) |
1997 |
17 | | Agostino Dovier,
Andrea Formisano,
Alberto Policriti:
On T Logic Programming.
APPIA-GULP-PRODE 1997: 457-466 |
16 | | R. Carmona,
Agostino Dovier,
Gianfranco Rossi:
Dealing with Infinite Intensional Sets in CLP.
APPIA-GULP-PRODE 1997: 465-478 |
15 | | Agostino Dovier,
Alberto Policriti:
Set domains for structural properties of terms.
APPIA-GULP-PRODE 1997: 93-104 |
14 | | Agostino Dovier,
Andrea Formisano,
Alberto Policriti:
On T Logic Programming.
ILPS 1997: 323-337 |
13 | | Puri Arenas-Sánchez,
Agostino Dovier:
A Minimality Study for Set Unification.
Journal of Functional and Logic Programming 1997(7): (1997) |
1996 |
12 | | Agostino Dovier,
Alberto Policriti,
Gianfranco Rossi:
Integrating Lists, Multisets, and Sets in a Logic Programming Framework.
Frontiers of Combining Systems (FroCos) 1996: 303-319 |
11 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
A Language for Programming in Logic with Finite Sets.
J. Log. Program. 28(1): 1-44 (1996) |
1995 |
10 | | Puri Arenas-Sánchez,
Agostino Dovier:
Minimal Set Unification.
GULP-PRODE 1995: 447-458 |
9 | | Puri Arenas-Sánchez,
Agostino Dovier:
Minimal Set Unification
PLILP 1995: 397-414 |
1994 |
8 | | Agostino Dovier,
Eugenio G. Omodeo,
Alberto Policriti,
Gianfranco Rossi:
Solving Systems of Equations over Hypersets.
GULP-PRODE (1) 1994: 403-417 |
7 | | Paola Bruscoli,
Agostino Dovier,
Enrico Pontelli,
Gianfranco Rossi:
Compiling Intensional Sets in CLP.
ICLP 1994: 647-661 |
1993 |
6 | | Agostino Dovier:
A Language with Finite Sets Embedded in the CLP-scheme.
ELP 1993: 77-93 |
5 | | Agostino Dovier,
Gianfranco Rossi:
Un Linguaggio Logico con Insiemi Finiti Inserito nello Schema CLP.
GULP 1993: 71-86 |
4 | | Agostino Dovier,
Gianfranco Rossi:
Embedding extensional finite sets in CLP.
ILPS 1993: 540-556 |
3 | | Agostino Dovier,
Enrico Pontelli:
A WAM-Based Implementation of a Logical Language with Sets.
PLILP 1993: 275-290 |
1992 |
2 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
Embedding Finite Sets in a Logic Programming Language.
ELP 1992: 150-167 |
1991 |
1 | | Agostino Dovier,
Eugenio G. Omodeo,
Enrico Pontelli,
Gianfranco Rossi:
{log}: A Logic Programming Language with Finite Sets.
ICLP 1991: 111-124 |