| 2024 | CiE | The Decision Problem for Undirected Graphs with Reachability and Acyclicity. | Domenico Cantone, Andrea De Domenico, Pietro Maugeri |
| 2023 | RC | Quantum String Matching Unfolded and Extended. | Domenico Cantone, Simone Faro, Arianna Pavone |
| 2021 | IDC | Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. | Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria |
| 2021 | IDC | Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. | Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro |
| 2020 | SOFSEM | Bit-Layers Text Encoding for Efficient Text Processing. | Domenico Cantone, Simone Faro, Stefano Scafiti |
| 2020 | WABI | Sequence Searching Allowing for Non-Overlapping Adjacent Unbalanced Translocations. | Domenico Cantone, Simone Faro, Arianna Pavone |
| 2014 | HAIS | A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. | Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo |
| 2011 | CPM | Efficient Matching of Biological Sequences Allowing for Non-overlapping Inversions. | Domenico Cantone, Salvatore Cristofaro, Simone Faro |
| 2011 | CSL | A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo |
| 2010 | CPM | A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach. | Domenico Cantone, Simone Faro, Emanuele Giaquinta |
| 2010 | FUN | Bit-(Parallelism) | Domenico Cantone, Simone Faro, Emanuele Giaquinta |
| 2009 | IWOCA | A New Algorithm for Efficient Pattern Matching with Swaps. | Matteo Campanelli, Domenico Cantone, Simone Faro |
| 2009 | SOFSEM | Pattern Matching with Swaps for Short Patterns in Linear Time. | Domenico Cantone, Simone Faro |
| 2005 | TABLEAUX | A Tableau-Based Decision Procedure for a Fragment of Graph Theory Involving Reachability and Acyclicity. | Domenico Cantone, Calogero G. Zarba |
| 2000 | CIAC | An Efficient Algorithm for the Approximate Median Selection Problem. | Sebastiano Battiato, Domenico Cantone, Dario Catalano, Gianluca Cincotti, Micha Hofri |
| 2000 | CIAC | QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms. | Domenico Cantone, Gianluca Cincotti |
| 2000 | TABLEAUX | A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning. | Domenico Cantone, Calogero G. Zarba |
| 1999 | TABLEAUX | A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification. | Domenico Cantone, Calogero G. Zarba |
| 1997 | TABLEAUX | A Fast Saturation Strategy for Set-Theoretic Tableaux. | Domenico Cantone |
| 1993 | ICLP | Proving Set-Theoretic Formulae by a Tableaux Method. | Domenico Cantone, Rosa Ruggeri Cannata |
| 1993 | ISSAC | Decision Procedures for Stratified Set-Theoretic Syllogistics. | Domenico Cantone, Vincenzo Cutello |
| 1990 | CSL | Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. | Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz |
| 1990 | ISSAC | A Decidable Fragment of the Elementary Theory of Relations and Some Applications. | Domenico Cantone, Vincenzo Cutello |
| 1989 | CSL | Set-Theoretic Reductions of Hilbert's Tenth Problem. | Domenico Cantone, Vincenzo Cutello, Alberto Policriti |
| 1989 | IJCAI | On the Decidability of Formulae Involving Continuous and Closed Functions. | Domenico Cantone, Eugenio G. Omodeo |
| 1988 | ISSAC | Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. | Domenico Cantone, Vincenzo Cutello, Alfredo Ferro |