sign in · help · news · about ·

BibSonomy :: search ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(7)

<< < 1 > >>

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo CSL, volume 12 of LIPIcs, page 129-143. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Sep 11, 2011, 12:00 AM
URL | BibTeX
Verifying Second-Level Security Protocols.
Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 352-366. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs
Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo (2010)
to Cartesian-product Decision-procedures ExpTime-hardness NP-completeness maps multi-level-syllogistics by etnarosso on Jul 11, 2010, 7:49 PM
URL | BibTeX
A Lightweight Ontology for Rating Assessments.
Cristiano Longo, and Lorenzo Sciuto SWAP, volume 314 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)
to dblp by dblp and 1 other user on Jun 9, 2008, 12:00 AM
URL | BibTeX
A Lightweight Ontology for Rating Assessments
Cristiano Longo, and Lorenzo Sciuto Semantic Web Applications and Perspective, (2007)
to collaborative filtering rating semantic trust web by etnarosso and 1 other user on Jan 14, 2008, 4:17 PM
BibTeX
A protocol to preserve a code of conduct.
Cristiano Longo, and Paolo Giarrusso SAC, page 1579-1585. ACM, (2007)
to dblp by dblp on May 24, 2007, 12:00 AM
URL | BibTeX
Is the Verification Problem for Cryptographic Protocols Solved?.
Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson Security Protocols Workshop, volume 3364 of Lecture Notes in Computer Science, page 183-189. Springer, (2003)
to dblp by dblp on Nov 15, 2005, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper