Agostino Dovier Papers on DiSC'02 Model-Checking Based Data Retrieval Publications Note: Links lead to the DBLP on the Web. Agostino Dovier 24 Agostino Cortesi , Agostino Dovier, Elisa Quintarelli , Letizia Tanca : Operational and abstract semantics of the query language G-Log. TCS 275 (1-2): 521-560 (2002) 23 Agostino Dovier, Carla Piazza , Alberto Policriti : A Fast Bisimulation Algorithm. CAV 2001 : 79-90 22 Manuele Bicego , Agostino Dovier, Vittorio Murino : Designing the Minimal Structure of Hidden Markov Model by Bisimulation. EMMCVPR 2001 : 75-90 21 Agostino Dovier, Carla Piazza , Alberto Policriti : Comparing Expressiveness of Set Constructor Symbols. FroCos 2000 : 275-289 20 Agostino Dovier, Carla Piazza , Gianfranco Rossi : Multiset Constraints and P Systems. WMP 2000 : 103-122 19 Agostino Dovier, Enrico Pontelli , Gianfranco Rossi : A necessary condition for Constructive Negation in Constraint Logic Programming. Information Processing Letters 74 (3-4): 147-156 (2000) 18 Agostino Dovier, Carla Piazza , Enrico Pontelli , Gianfranco Rossi : Sets and constraint logic programming. TOPLAS 22 (5): 861-931 (2000) 17 Agostino Dovier, Carla Piazza , Enrico Pontelli , Gianfranco Rossi : ACI1 Constraints. ICLP 1999 : 573-587 16 Agostino Dovier, Eugenio G. Omodeo , Alberto Policriti : Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case. Applicable Algebra in Engineering, Communication and Computing 9 (4): 293-332 (1999) 15 Davide Aliffi , Agostino Dovier, Gianfranco Rossi : From Set to Hyperset Unification. Journal of Functional and Logic Programming 1999 (10): (1999) 14 Agostino Cortesi , Agostino Dovier, Elisa Quintarelli , Letizia Tanca : Operational and Abstract Semantics of a Query Language for Semi-Structured Information. DDLP 1998 : 127-140 13 Agostino Dovier, Carla Piazza , Gianfranco Rossi , Enrico Pontelli : On the Representation and Management of Finite Sets in CLP Languages. IJCSLP 1998 : 40-54 12 Agostino Dovier, Alberto Policriti , Gianfranco Rossi : A Uniform Axiomatic View of Lists, Multisets, and Sets, and the Relevant Unification Algorithms. Fundamenta Informaticae 36 (2-3): 201-234 (1998) 11 Agostino Dovier, Andrea Formisano , Alberto Policriti : On T Logic Programming. ILPS 1997 : 323-337 10 Puri Arenas-Sánchez , Agostino Dovier: A Minimality Study for Set Unification. Journal of Functional and Logic Programming 1997 (7): (1997) 9 Agostino Dovier, Alberto Policriti , Gianfranco Rossi : Integrating Lists, Multisets, and Sets in a Logic Programming Framework. Frontiers of Combining Systems (FroCos) 1996 : 303-319 8 Agostino Dovier, Eugenio G. Omodeo , Enrico Pontelli , Gianfranco Rossi : A Language for Programming in Logic with Finite Sets. JLP 28 (1): 1-44 (1996) 7 Puri Arenas-Sánchez , Agostino Dovier: Minimal Set Unification. PLILP 1995 : 397-414 6 Paola Bruscoli , Agostino Dovier, Enrico Pontelli , Gianfranco Rossi : Compiling Intensional Sets in CLP. ICLP 1994 : 647-661 5 Agostino Dovier: A Language with Finite Sets Embedded in the CLP-scheme. ELP 1993 : 77-93 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 2 Agostino Dovier, Eugenio G. Omodeo , Enrico Pontelli , Gianfranco Rossi : Embedding Finite Sets in a Logic Programming Language. ELP 1992 : 150-167 1 Agostino Dovier, Eugenio G. Omodeo , Enrico Pontelli , Gianfranco Rossi : {log}: A Logic Programming Language with Finite Sets. ICLP 1991 : 111-124 DiSC'02 © 2003 Association for Computing Machinery