Domenico Cantone
Università degli Studi di Catania
H-index: 24
Europe-Italy
Top articles of Domenico Cantone
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Onset and Today’s Perspectives of Multilevel Syllogistic | Domenico Cantone Eugenio G Omodeo | 2024/3/16 | |
Decidability of the satisfiability problem for Boolean set theory with the unordered Cartesian product operator | ACM Transactions on Computational Logic | Domenico Cantone Pietro Ursino | 2024/1/16 |
A Brief History of Singlefold Diophantine Definitions | CEUR WORKSHOP PROCEEDINGS | Domenico Cantone Luca Cuzziol E Omodeo | 2023 |
The Many Qualities of a New Directly Accessible Compression Scheme | arXiv preprint arXiv:2303.18063 | Domenico Cantone Simone Faro | 2023/3/31 |
Longest Common Substring and Longest Palindromic Substring in Time | arXiv preprint arXiv:2309.01250 | Domenico Cantone Simone Faro Arianna Pavone Caterina Viola | 2023/9/3 |
Continued Hereditarily Finite Set-Approximations | CEUR WORKSHOP PROCEEDINGS | Domenico Cantone Eugenio G Omodeo Alberto Policriti | 2023 |
Six equations in search of a finite-fold-ness proof | arXiv preprint arXiv:2303.02208 | Domenico Cantone Luca Cuzziol Eugenio G Omodeo | 2023/3/3 |
Quantum Circuits for Fixed Substring Matching Problems | arXiv preprint arXiv:2308.11758 | Domenico Cantone Simone Faro Arianna Pavone Caterina Viola | 2023/8/22 |
The ontology for agents, systems and integration of services: OASIS version 2$ | Intelligenza Artificiale | Giampaolo Bella Domenico Cantone Carmelo Fabio Longo Marianna Nicolosi-Asmundo Daniele Francesco Santamaria | 2023/1/1 |
A decidable theory involving addition of differentiable real functions | Theoretical Computer Science | Gabriele Buriola Domenico Cantone Gianluca Cincotti Eugenio G Omodeo Gaetano T Spartà | 2023/1/9 |
Quantum string matching unfolded and extended | Domenico Cantone Simone Faro Arianna Pavone | 2023/7/12 | |
The Satisfiability Problem for Boolean Set Theory with a Rational Choice Correspondence | Domenico Cantone Alfio Giarlotta Pietro Maugeri Stephen Watson | 2023 | |
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs | Journal of Logic and Computation | Domenico Cantone Eugenio G Omodeo Mattia Panettiere | 2023/6 |
Rationalization of indecisive choice behavior by pluralist ballots | Journal of Mathematical Economics | José Carlos R Alcantud Domenico Cantone Alfio Giarlotta Stephen Watson | 2023/12/1 |
Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator | Domenico Cantone Pietro Maugeri | 2023 | |
Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages | Theoretical Computer Science | Domenico Cantone Pietro Maugeri Eugenio G Omodeo | 2023/4/18 |
A tool to easing the configuration and deploying process of Hyperledger Fabric | Proceedings of the 3rd International Workshop on Blockchain for Trusted Data Sharing-B4TDS | Domenico Cantone Daniele Francesco Santamaria Vincenzo Spinello | 2023/9/15 |
A behaviouristic semantic approach to blockchain-based e-commerce | Giampaolo Bella Domenico Cantone Marianna Nicolosi Asmundo Daniele Francesco Santamaria | 2022 | |
Rationalization of indecisive choice behavior by majoritarian ballots | R Alcantud Jos'e Carlos Domenico Cantone Alfio Giarlotta Stephen Watson | 2022/10 | |
Towards ontological interoperability of cognitive IoT agents based on natural language processing | Intelligenza Artificiale | Carmelo Fabio Longo Corrado Santoro Marianna Nicolosi-Asmundo Domenico Cantone Daniele Francesco Santamaria | 2022/1/1 |