| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Alfredo Ferro Domenico Cantone , Alfredo Ferro, Rosalba Giugno , Giuseppe Lo Presti , Alfredo Pulvirenti : Multiple-Winners Randomized Tournaments with Consensus for Optimization Problems in Generic Metric Spaces. WEA 2005 : 265-276 Cinzia Di Pietro , Alfredo Ferro, Giuseppe Pigola , Alfredo Pulvirenti , Michele Purrello , Marco Ragusa , Dennis Shasha : AntiClustAl: Multiple Sequence Alignment by Antipole Clustering. Data Mining in Bioinformatics 2005 : 43-57 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. IEEE Trans. Knowl. Data Eng. 17 (4): 535-550 (2005) 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. CSB 2003 : 326-336 Alfredo Ferro, Rosalba Giugno , Alfredo Pulvirenti : Efficient Boundary Values Generation in General Metric Spaces for Software Component Testing. Verification: Theory and Practice 2003 : 318-331 Alfredo Ferro, Giuseppe Pigola , Alfredo Pulvirenti , Dennis Shasha : Fast Clustering and Minimum Weight Matching Algorithms for Very Large Mobile Backbone Wireless Networks. Int. J. Found. Comput. Sci. 14 (2): 223-236 (2003) Alfredo Ferro, Giovanni Gallo , Rosalba Giugno , Alfredo Pulvirenti : Best-Match Retrieval for Structured Images. IEEE Trans. Pattern Anal. Mach. Intell. 23 (7): 707-718 (2001) Alfredo Ferro, Giovanni Gallo , Rosalba Giugno : Error-Tolerant Database for Structured Images. VISUAL 1999 : 51-59 Enrico Pontelli , Gopal Gupta , Francesco Pulvirenti , Alfredo Ferro: Automatic Compile-time Parallelization of Prolog Programs for Dependent And-Parallelism. ICLP 1997 : 108-122 Alfredo Ferro: Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators. J. Autom. Reasoning 7 (2): 257-270 (1991) Domenico Cantone , Vincenzo Cutello , Alfredo Ferro: Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. ISSAC 1988 : 407-422 Alfredo Ferro, Giovanni Gallo : Groebner Bases, Ritt's Algorithm and Decision Procedures for Algebraic Theories. AAECC 1987 : 230-237 Domenico Cantone , Alfredo Ferro, Jacob T. Schwartz : Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. J. Comput. Syst. Sci. 34 (1): 1-18 (1987) Alfredo Ferro, Eugenio G. Omodeo , Jacob T. Schwartz : Decision Procedures for Some Fragments of Set Theory. CADE 1980 : 88-96 1 [ 2 ] [ 4 ] [ 12 ] [ 14 ] 2 [ 4 ] 3 [ 11 ] 4 [ 3 ] [ 7 ] [ 8 ] 5 [ 7 ] [ 8 ] [ 10 ] [ 14 ] 6 [ 6 ] 7 [ 11 ] 8 [ 11 ] 9 [ 1 ] 10 [ 11 ] [ 13 ] 11 [ 11 ] 12 [ 9 ] [ 11 ] [ 13 ] 13 [ 6 ] 14 [ 14 ] 15 [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] 16 [ 6 ] 17 [ 11 ] [ 13 ] 18 [ 11 ] [ 13 ] 19 [ 12 ] 20 [ 11 ] 21 [ 1 ] [ 2 ] 22 [ 9 ] [ 11 ] [ 12 ] [ 13 ] 23 [ 11 ] 24 [ 11 ]  ©2006 Association for Computing Machinery |
