Search the dblp DataBase
Alfredo Ferro :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Alfredo Ferro , Giovanni Gallo , Rosalba Giugno Error-Tolerant Database for Structured Images. [Citation Graph (0, 0)][DBLP ] VISUAL, 1999, pp:51-59 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] BitCube: A Bottom-Up Cubing Engineering. [Citation Graph (, )][DBLP ] An Efficient Duplicate Record Detection Using q-Grams Array Inverted Index. [Citation Graph (, )][DBLP ] Distributed randomized algorithms for low-support data mining. [Citation Graph (, )][DBLP ] Approximate search in image database. [Citation Graph (, )][DBLP ] Enhancing Graph Database Indexing by Suffix Tree Structure. [Citation Graph (, )][DBLP ] Sequence similarity is more relevant than species specificity in probabilistic backtranslation. [Citation Graph (, )][DBLP ] GraphFind: enhancing graph searching by low support data mining techniques. [Citation Graph (, )][DBLP ] SING: Subgraph search In Non-homogeneous Graphs. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.004secs