( en | de | ru )

 

Disambiguation of "Longo, Cristiano"

Author of the publication

copydeleteadd this publication to your clipboard
A Lightweight Ontology for Rating Assessments.

, and . SWAP, volume 314 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Longo

Fabio Longo

Silvano Longo

Claudio Longo

Paolo Longo

 

Other publications of authors with the same name

Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis., , , , and . IDC, volume 1026 of Studies in Computational Intelligence, page 249-259. Springer, (2021)Semantic Representation as a Key Enabler for Blockchain-Based Commerce., , , , and . GECON, volume 13072 of Lecture Notes in Computer Science, page 191-198. Springer, (2021)Herbrand-Satisfiability of a Quantified Set-theoretical Fragment., , and . CILC, volume 1195 of CEUR Workshop Proceedings, page 162-177. CEUR-WS.org, (2014)Representing Kinship Relations on the Semantic Web., , and . OWLED, volume 1080 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics., , and . CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)A Lightweight Ontology for Rating Assessments., and . SWAP, volume 314 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Verifying Second-Level Security Protocols., , and . TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 352-366. Springer, (2003)A protocol to preserve a code of conduct., and . SAC, page 1579-1585. ACM, (2007)Is the Verification Problem for Cryptographic Protocols Solved?., , and . Security Protocols Workshop, volume 3364 of Lecture Notes in Computer Science, page 183-189. Springer, (2003)A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs., , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)