The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Agostino Dovier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  64. A Hybrid Solver for Large Neighborhood Search: Mixing Gecode and EasyLocal + + . [Citation Graph (, )][DBLP]


  65. Compiling and Executing Declarative Modeling Languages to Gecode. [Citation Graph (, )][DBLP]


  66. Answer Set Programming with Constraints Using Lazy Grounding. [Citation Graph (, )][DBLP]


  67. Present and Future Challenges for ASP Systems. [Citation Graph (, )][DBLP]


  68. Representing Multi-agent Planning in CLP. [Citation Graph (, )][DBLP]


  69. Logic Programming Techniques in Protein Structure Determination: Methodologies and Results. [Citation Graph (, )][DBLP]


  70. Applying model-checking to solve queries on semistructured data. [Citation Graph (, )][DBLP]


  71. Introduction to the Special Issue on Bioinformatics and Constraints. [Citation Graph (, )][DBLP]


  72. Multi-valued Action Languages in CLP(FD) [Citation Graph (, )][DBLP]


  73. CLP-based protein fragment assembly [Citation Graph (, )][DBLP]


Search in 0.077secs, Finished in 0.082secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002