Skip to contents

  1. Cantone, Domenico [Editor]; Pulvirenti, Alfredo [Editor]

    From Computational Logic to Computational Biology : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career - [1st ed. 2024.]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer Nature Switzerland, 2024. ; Cham: Imprint: Springer, 2024.

    Published in: Lecture Notes in Computer Science ; 14070

  2. Faro, Simone [Other]; Cantone, Domenico [Other] ; SEA 18. 2020 Online

    18th International Symposium on Experimental Algorithms : SEA 2020, June 16-18, 2020, Catania, Italy

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Saarbrücken/Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, June, 2020

    Published in: Leibniz international proceedings in informatics ; 160

  3. Cantone, Domenico [Author]; Maugeri, Pietro [Author]; Omodeo, Eugenio [Author]

    Two Crucial Cubic-Time Components of Polynomial-Maximal Decidable Boolean Languages

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: ICTCS (22. : 2021 : Online): ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 ; (2021), Seite 164-178

  4. Cantone, Domenico [Author]; Omodeo, Eugenio [Author]; Panettiere, Mattia [Author]

    Very Weak, Essentially Undecidabile Set Theories

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Italian Conference on Computational Logic (36. : 2021 : Parma; Online): CILC 2021: Italian Conference on Computational Logic ; (2021), Seite 31-46

  5. Cantone, Domenico [Author]; Omodeo, Eugenio [Author]; Panettiere, Mattia [Author]

    From Hilbert's 10th Problem to slim, Undecidable Fragments of Set Theory

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 47-60

  6. Cantone, Domenico [Author]; Faro, Simone [Author]; Kulekci, M. Oguzhan [Author]

    Shape-Preserving Pattern Matching

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: Italian Conference on Theoretical Computer Science (21. : 2020 : Online): ICTCS 2020, 21st Italian Conference on Theoretical Computer Science ; (2020), Seite 137-148

  7. Domenico, Andrea De [Author]; Cantone, Domenico [Author]; Nicolosi-Asmundo, Marianna [Author]

    An Ontology for the Iconographic Sources of La Divina Commedia

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 157-168

  8. Cantone, Domenico [Author]; Domenico, Andrea De [Author]; Maugeri, Pietro [Author]; Omodeo, Eugenio G. [Author]

    A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 214-230

  9. Buriola, Gabriele [Author]; Cantone, Domenico [Author]; Cincotti, Gianluca [Author]; Omodeo, Eugenio [Author]; Spartà, Gaetano [Author]

    A Decidable Theory Treating Addition of Differentiable Real Functions

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: ICTCS (22. : 2021 : Online): ICTCS 2021: 22nd Italian Conference on Theoretical Computer Science 2021 ; (2021), Seite 150-163

  10. Longo, Carmelo Fabio [Author]; Santoro, Corrado [Author]; Nicolosi-Asmundo, Marianna [Author]; Santamaria, Daniele Francesco [Author]; Cantone, Domenico [Author]

    SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Workshop "From Objects to Agents" (22. : 2021 : Bologna; Online): WOA 2021: 22nd Workshop "From Objects to Agents" ; (2021), Seite 178-193

  11. Buriola, Gabriele [Author]; Cantone, Domenico [Author]; Cincotti, Gianluca [Author]; Omodeo, Eugenio G. [Author]; Spartà, Gaetano T. [Author]

    A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2020

    Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 231-247