Cristiano Longo

According to our database, Cristiano Longo authored at least 15 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

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

Proceedings of the Intelligent Distributed Computing XIV, 2021

Semantic Representation as a Key Enabler for Blockchain-Based Commerce.

Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021

2017

Herbrand-satisfiability of a Quantified Set-theoretic Fragment.

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo

Fundam. Informaticae, 2017

2015

Web Ontology Representation and Reasoning via Fragments of Set Theory.

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

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

Herbrand-Satisfiability of a Quantified Set-theoretical Fragment.

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Representing Kinship Relations on the Semantic Web.

Cristiano Longo, Aldo Gangemi, Domenico Cantone

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

2012

A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions

Domenico Cantone, Cristiano Longo

Proceedings of the Proceedings Third International Symposium on Games, 2012

2011

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo

Proceedings of the Computer Science Logic, 2011

2010

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

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2007

A Lightweight Ontology for Rating Assessments.

Cristiano Longo, Lorenzo Sciuto

Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita' degli Studi di Bari, 2007

A protocol to preserve a code of conduct.

Cristiano Longo, Paolo Giarrusso

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2003

Verifying Second-Level Security Protocols.

Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Is the Verification Problem for Cryptographic Protocols Solved?.

Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson

Proceedings of the Security Protocols, 2003