Search the dblp DataBase

Publications of Author

1. Alfredo Ferro, Giovanni Gallo
   Groebner Bases, Ritt's Algorithm and Decision Procedures for Algebraic Theories. [Citation Graph (0, 0)][DBLP]
   AAECC, 1987, pp:230-237 [Conf]
   
2. Alfredo Ferro, Rosalba Giugno, Alfredo Pulvirenti
   Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing. [Citation Graph (0, 0)][DBLP]
   Verification: Theory and Practice, 2003, pp:318-331 [Conf]
   
3. Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz
   Decision Procedures for Some Fragments of Set Theory. [Citation Graph (0, 0)][DBLP]
   CADE, 1980, pp:88-96 [Conf]
   
4. Cinzia Di Pietro, V. Di Pietro, G. Emmanuele, Alfredo Ferro, T. Maugeri, E. Modica, Giuseppe Pigola, Alfredo Pulvirenti, Michele Purrello, Marco Ragusa, M. Scalia, Dennis Shasha, S. Travali, V. Zimmitti
   ANTICLUSTAL: Multiple Sequence Alignment by Antipole Clustering and Linear Approximate 1-Median Computation. [Citation Graph (0, 0)][DBLP]
   CSB, 2003, pp:326-336 [Conf]
   
5. Enrico Pontelli, Gopal Gupta, Francesco Pulvirenti, Alfredo Ferro
   Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. [Citation Graph (0, 0)][DBLP]
   ICLP, 1997, pp:108-122 [Conf]
   
6. Alfredo Ferro, Rosalba Giugno, M. Mongiovi, Giuseppe Pigola, Alfredo Pulvirenti
   Distributed antipole clustering for efficient data search and management in Euclidean and metric spaces. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2006, pp:- [Conf]
   
7. Domenico Cantone, Vincenzo Cutello, Alfredo Ferro
   Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. [Citation Graph (0, 0)][DBLP]
   ISSAC, 1988, pp:407-422 [Conf]
   
8. Alfredo Ferro, Giovanni Gallo, Rosalba Giugno
   Error-Tolerant Database for Structured Images. [Citation Graph (0, 0)][DBLP]
   VISUAL, 1999, pp:51-59 [Conf]
   
9. Domenico Cantone, Alfredo Ferro, Rosalba Giugno, Giuseppe Lo Presti, Alfredo Pulvirenti
   Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces. [Citation Graph (0, 0)][DBLP]
   WEA, 2005, pp:265-276 [Conf]
   
10. Alfredo Ferro, Rosalba Giugno, Giuseppe Pigola, Alfredo Pulvirenti, D. Skripin, G. D. Bader, Dennis Shasha
    NetMatch: a Cytoscape plugin for searching biological networks. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2007, v:23, n:7, pp:910-912 [Journal]
    
11. Alfredo Ferro, Giuseppe Pigola, Alfredo Pulvirenti, Dennis Shasha
    Fast Clustering and Minimum Weight Matching Algorithms for Very Large Mobile Backbone Wireless Networks. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2003, v:14, n:2, pp:223-236 [Journal]
    
12. Alfredo Ferro
    Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:2, pp:257-270 [Journal]
    
13. Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz
    Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:1, pp:1-18 [Journal]
    
14. Alfredo Ferro, Giovanni Gallo, Rosalba Giugno, Alfredo Pulvirenti
    Best-Match Retrieval for Structured Images. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Pattern Anal. Mach. Intell., 2001, v:23, n:7, pp:707-718 [Journal]
    
15. Domenico Cantone, Alfredo Ferro, Alfredo Pulvirenti, Diego Reforgiato Recupero, Dennis Shasha
    Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2005, v:17, n:4, pp:535-550 [Journal]
    
16. 
    BitCube: A Bottom-Up Cubing Engineering. [Citation Graph (, )][DBLP]
    
    
17. 
    An Efficient Duplicate Record Detection Using q-Grams Array Inverted Index. [Citation Graph (, )][DBLP]
    
    
18. 
    Distributed randomized algorithms for low-support data mining. [Citation Graph (, )][DBLP]
    
    
19. 
    Approximate search in image database. [Citation Graph (, )][DBLP]
    
    
20. 
    Enhancing Graph Database Indexing by Suffix Tree Structure. [Citation Graph (, )][DBLP]
    
    
21. 
    Sequence similarity is more relevant than species specificity in probabilistic backtranslation. [Citation Graph (, )][DBLP]
    
    
22. 
    GraphFind: enhancing graph searching by low support data mining techniques. [Citation Graph (, )][DBLP]
    
    
23. 
    SING: Subgraph search In Non-homogeneous Graphs. [Citation Graph (, )][DBLP]