Is the Verification Problem for Cryptographic Protocols Solved?. - Giampaolo Bella; Cristiano Longo; Lawrence C. Paulson (Security Protocols Workshop, 2003)

Verifying Second-Level Security Protocols. - Giampaolo Bella; Cristiano Longo; Lawrence C. Paulson (TPHOLs, 2003)

A protocol to preserve a code of conduct. - Cristiano Longo; Paolo Giarrusso (SAC, 2007)

A Lightweight Ontology for Rating Assessments. - Cristiano Longo; Lorenzo Sciuto (SWAP, 2007)

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (CILC, 2010)

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (CSL, 2011)

A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions - Domenico Cantone; Cristiano Longo (GandALF, 2012)

Representing Kinship Relations on the Semantic Web. - Cristiano Longo; Aldo Gangemi; Domenico Cantone (OWLED, 2013)

Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (CILC, 2014)

A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. - Domenico Cantone; Cristiano Longo (Theor. Comput. Sci., 2014)

Web Ontology Representation and Reasoning via Fragments of Set Theory. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (RR, 2015)

Herbrand-satisfiability of a Quantified Set-theoretic Fragment. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (Fundam. Informaticae, 2017)

Semantic Representation as a Key Enabler for Blockchain-Based Commerce. - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (GECON, 2021)

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 (IDC, 2021)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2021)

An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily. - Domenico Cantone; Vincenzo Nicolò Di Caro; Cristiano Longo; Salvatore Menza; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (SWODCH, 2024)