sign in · help · news · about ·

BibSonomy :: author :: Cantone ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(108)

<< < 1 | 2 | 3 > >>

MERIS Atmospheric Water Vapor Correction Model for Wide Swath Interferometric Synthetic Aperture Radar.
Zhenhong Li, Paolo Pasquali, Alessio Cantone, Andrew Singleton, Gareth Funning, and David Forrest IEEE Geosci. Remote Sensing Lett. 9(2):257-261 (2012)
to dblp by dblp on Feb 13, 2012, 12:00 AM
URL | BibTeX
On Tuning the Bad-Character Rule: the Worst-Character Rule
Domenico Cantone, and Simone Faro CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Computational Logic and Set Theory - Applying Formalized Logic to Analysis.
Jacob T. Schwartz, Domenico Cantone, and Eugenio G. Omodeo Springer, (2011)
to dblp by dblp on Nov 4, 2011, 12:00 AM
BibTeX
Antipole Tree Indexing to Support Range Search and K-Nearest Neighbor Search in Metric Spaces.
Domenico Cantone, Alfredo Ferro, Alfredo Pulvirenti, Diego Reforgiato Recupero, and Dennis Shasha IEEE Trans. Knowl. Data Eng. 17(4):535-550 (2005)
to dblp by dblp on Nov 2, 2011, 12:00 AM
URL | BibTeX
The Automation of Syllogistic I. Syllogistic Normal Forms.
Domenico Cantone, Susanna Ghelfo, and Eugenio G. Omodeo J. Symb. Comput. 6(1):83-98 (1988)
to dblp by dblp on Sep 20, 2011, 12:00 AM
URL | BibTeX
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Sep 11, 2011, 12:00 AM
URL | BibTeX
Compiling dyadic first-order specifications into map algebra.
Domenico Cantone, Andrea Formisano, Eugenio G. Omodeo, and Calogero G. Zarba Theor. Comput. Sci. 293(2):447-475 (2003)
to dblp by dblp on Sep 7, 2011, 12:00 AM
URL | BibTeX
Dual tableau-based decision procedures for relational logics with restricted composition operator.
Domenico Cantone, Marianna Nicolosi Asmundo, and Ewa Orlowska Journal of Applied Non-Classical Logics 21(2):177-200 (2011)
to dblp by dblp on Aug 11, 2011, 12:00 AM
URL | BibTeX
Formative Processes with Applications to the Decision Problem in Set Theory, I. Powerset and Singleton Operators.
Domenico Cantone, Pietro Ursino, and Eugenio G. Omodeo Inf. Comput. 172(2):165-201 (2002)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator.
Domenico Cantone, Alfredo Ferro, and Jacob T. Schwartz J. Comput. Syst. Sci. 34(1):1-18 (1987)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Efficient Matching of Biological Sequences Allowing for Non-overlapping Inversions.
Domenico Cantone, Salvatore Cristofaro, and Simone Faro CPM, volume 6661 of Lecture Notes in Computer Science, page 364-375. Springer, (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Evaluating Checklist-Based and Use-Case-Driven Reading Techniques as Applied to Software Analysis and Design UML Artifacts.
Giovanni Cantone, Luca Colasanti, Zeiad A. Abdulnabi, Anna Lomartire, and Giuseppe Calavaro ESERNET, volume 2765 of Lecture Notes in Computer Science, page 142-165. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Effectiveness of Code Reading and Functional Testing with Event-Driven Object-Oriented Software.
Giovanni Cantone, Zeiad A. Abdulnabi, Anna Lomartire, and Giuseppe Calavaro ESERNET, volume 2765 of Lecture Notes in Computer Science, page 166-192. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Notes from the Logbook of a Proof-Checker's Project.
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, and Pietro Ursino Verification: Theory and Practice, volume 2772 of Lecture Notes in Computer Science, page 182-207. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Fast-Search: A New Efficient Variant of the Boyer-Moore String Matching Algorithm.
Domenico Cantone, and Simone Faro WEA, volume 2647 of Lecture Notes in Computer Science, page 47-58. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Well-Formed Conversion of Unstructured One-in/one-out Schemes for Complexity Measurement and Program Maintenance.
Giovanni Cantone, Aniello Cimitile, and Ugo de Carlini Comput. J. 29(4):322-329 (1986)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions.
Domenico Cantone, Jacob T. Schwartz, and Calogero G. Zarba Electr. Notes Theor. Comput. Sci. 86(1):49-60 (2003)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
Production and Maintenance of Goal-Oriented Software Measurement Models.
Giovanni Cantone, and Paolo Donzelli International Journal of Software Engineering and Knowledge Engineering 10(5):605-626 (2000)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.
Domenico Cantone, and Calogero G. Zarba FTP LNCS Selection, volume 1761 of Lecture Notes in Computer Science, page 126-136. Springer, (1998)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
Domenico Cantone, and Marianna Nicolosi Asmundo FTP LNCS Selection, volume 1761 of Lecture Notes in Computer Science, page 109-125. Springer, (1998)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper