Agostino Dovier

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

Coauthor Index

1	Davide Aliffi	[23]
2	Puri Arenas (Puri Arenas-Sánchez)	[9] [10] [13]
3	Federico Avanzini	[51]
4	Alberto Belussi	[51]
5	Manuele Bicego	[36]
6	Luca Bortolussi	[63]
7	S. Bozzoli	[49]
8	Paola Bruscoli	[7]
9	Matteo Burato	[40]
10	R. Carmona	[16]
11	Raffaele Cipriano	[60] [68]
12	Agostino Cortesi	[20] [22] [39]
13	Michela Farenzena	[61]
14	Federico Fogolari	[40] [47] [53] [54] [63]
15	Andrea Formisano	[14] [17] [57] [59] [64] [65]
16	Andrea Fusiello	[61]
17	Luca Di Gaspero	[60]
18	Raffaella Gentilini	[41]
19	Roberto Giacobazzi	[33]
20	Jacopo Mauro	[68]
21	Maria Chiara Meo	[34]
22	Vittorio Murino	[36]
23	Andrea Omicini	[34]
24	Eugenio G. Omodeo	[1] [2] [8] [11] [24] [59]
25	Alessandro Dal Palù	[45] [47] [51] [53] [54] [55] [56] [62] [66]
26	Carla Piazza	[19] [21] [25] [26] [27] [29] [30] [31] [38] [41] [43] [44] [50] [52] [67]
27	Alberto Policriti	[8] [12] [14] [15] [17] [18] [24] [27] [31] [38] [41] [50]
28	Enrico Pontelli	[1] [2] [3] [7] [11] [19] [25] [26] [28] [29] [32] [35] [45] [46] [48] [52] [55] [56] [57] [58] [62] [64] [65]
29	Elisa Quintarelli	[20] [22] [33] [37] [39]
30	Davide Rocchesso	[51]
31	Gianfranco Rossi	[1] [2] [4] [5] [7] [8] [11] [12] [16] [18] [19] [21] [23] [25] [26] [28] [29] [30] [32] [35] [44] [45] [46] [48] [58] [67]
32	Fausto Spoto	[49]
33	Letizia Tanca	[20] [22] [39]
34	Sebastian Will	[66]

Colors in the list of coauthors