Cristiano Longo

19 papers B 1Misc 2Journal 5Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards an Effective Extension of Activity Streams.
Appl. Ontology
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2025 — conf
An Etymological Dataset for Nouns and Verbs in the Gallo-Italic Variety Spoken in Nicosia and Sperlinga.
JOWO
Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — conf
An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily.
SWODCH
Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 Misc conf
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.
IDC
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 J jnl
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version).
CoRR
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 — conf
Semantic Representation as a Key Enabler for Blockchain-Based Commerce.
GECON
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 J jnl
Herbrand-satisfiability of a Quantified Set-theoretic Fragment.
Fundam. Informaticae
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2015 — conf
Web Ontology Representation and Reasoning via Fragments of Set Theory.
RR
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2015 J jnl
Web ontology representation and reasoning via fragments of set theory.
CoRR
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2014 J jnl
A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions.
Theor. Comput. Sci.
Domenico Cantone, Cristiano Longo
2014 — conf
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment.
CILC
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2013 — conf
Representing Kinship Relations on the Semantic Web.
OWLED
Cristiano Longo, Aldo Gangemi, Domenico Cantone
2012 — conf
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
GandALF
Domenico Cantone, Cristiano Longo
2011 B conf
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
CSL
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2010 — conf
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.
CILC
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2007 — conf
A Lightweight Ontology for Rating Assessments.
SWAP
Cristiano Longo, Lorenzo Sciuto
2007 Misc conf
A protocol to preserve a code of conduct.
SAC
Cristiano Longo, Paolo Giarrusso
2003 — conf
Is the Verification Problem for Cryptographic Protocols Solved?.
Security Protocols Workshop
Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson
2003 — conf
Verifying Second-Level Security Protocols.
TPHOLs
Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson