CANTONE, Domenico
CANTONE, Domenico
MATEMATICA E INFORMATICA
"One equation to rule them all", revisited
file da validare2021-01-01 Cantone, Domenico; Omodeo, Eugenio G.
(m,n)-rationalizable choices
2016-01-01 Cantone, Domenico; Giarlotta, Alfio; Greco, Salvatore; Watson, S.
18th International Symposium on Experimental Algorithms
file da validare2020-01-01 Faro, S.; Cantone, D.
28th Italian Conference on Computational Logic (CILC 2013)
file da validare2013-01-01 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna
A C++ reasoner for the description logic DL4;× D?
2017-01-01 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee
file da validare2009-01-01 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee
file da validare2009-01-01 Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem
file da validare2014-01-01 Pappalardo, E; Cantone, Domenico; Pardalos, P. M.
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach
2012-01-01 Cantone, Domenico; Faro, Simone; Giaquinta, E.
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach
2010-01-01 Cantone, Domenico; Faro, Simone; Giaquinta, E.
A Computerized Referee
file da validare2006-01-01 Omodeo, E. G.; Cantone, Domenico; Policriti, A; Schwartz, J. T.
A decidable fragment of the elementary theory of relations and some applications
file da validare1990-01-01 Cantone, Domenico; Cutello, Vincenzo
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics
2011-01-01 Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
file da validare2012-01-01 Cantone, Domenico; Longo, C.
A Decidable Theory Involving Addition of Differentiable Real Functions
file da validareIn corso di stampa Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
A decidable theory of differentiable functions with convexities and concavities on real intervals
2020-01-01 Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T.
A decidable theory treating addition of differentiable real functions
file da validare2021-01-01 Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions
file da validare2014-01-01 Cantone, Domenico; Longo, C.
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions
file da validare2003-01-01 Cantone, Domenico; SCHWARTZ J., T; Zarba, C. G.
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case
2004-01-01 Zarba, C. G.; Cantone, Domenico; Schwartz, J. T.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
"One equation to rule them all", revisited | 1-gen-2021 | Cantone, Domenico; Omodeo, Eugenio G. | file da validare |
(m,n)-rationalizable choices | 1-gen-2016 | Cantone, Domenico; Giarlotta, Alfio; Greco, Salvatore; Watson, S. | |
18th International Symposium on Experimental Algorithms | 1-gen-2020 | Faro, S.; Cantone, D. | file da validare |
28th Italian Conference on Computational Logic (CILC 2013) | 1-gen-2013 | Cantone, Domenico; NICOLOSI ASMUNDO, Marianna | file da validare |
A C++ reasoner for the description logic DL4;× D? | 1-gen-2017 | Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco | |
A certification of Lagrange's theorem with the proof assistant AEtnanova/Referee | 1-gen-2009 | Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna | file da validare |
A certification of Lagrange's theorem with the proof assistant Ætnanova/Referee | 1-gen-2009 | Cantone, Domenico; Cristofaro, S; NICOLOSI ASMUNDO, Marianna | file da validare |
A Combined Greedy-Walk Heuristic and Simulated Annealing Approach for the Closest String Problem | 1-gen-2014 | Pappalardo, E; Cantone, Domenico; Pardalos, P. M. | file da validare |
A compact representation of nondeterministic (suffix) automata for the bit-parallel approach | 1-gen-2012 | Cantone, Domenico; Faro, Simone; Giaquinta, E. | |
A Compact Representation of Nondeterministic (Suffix) Automata for the Bit-Parallel Approach | 1-gen-2010 | Cantone, Domenico; Faro, Simone; Giaquinta, E. | |
A Computerized Referee | 1-gen-2006 | Omodeo, E. G.; Cantone, Domenico; Policriti, A; Schwartz, J. T. | file da validare |
A decidable fragment of the elementary theory of relations and some applications | 1-gen-1990 | Cantone, Domenico; Cutello, Vincenzo | file da validare |
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics | 1-gen-2011 | Cantone, Domenico; Longo, C; NICOLOSI ASMUNDO, Marianna | |
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions | 1-gen-2012 | Cantone, Domenico; Longo, C. | file da validare |
A Decidable Theory Involving Addition of Differentiable Real Functions | In corso di stampa | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | file da validare |
A decidable theory of differentiable functions with convexities and concavities on real intervals | 1-gen-2020 | Buriola, G.; Cantone, D.; Cincotti, G.; Omodeo, E. G.; Sparta, G. T. | |
A decidable theory treating addition of differentiable real functions | 1-gen-2021 | Buriola, Gabriele; Cantone, Domenico; Cincotti, Gianluca; Omodeo, Eugenio G.; Spartà, Gaetano | file da validare |
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions | 1-gen-2014 | Cantone, Domenico; Longo, C. | file da validare |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions | 1-gen-2003 | Cantone, Domenico; SCHWARTZ J., T; Zarba, C. G. | file da validare |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case | 1-gen-2004 | Zarba, C. G.; Cantone, Domenico; Schwartz, J. T. |