BibSonomy :: search ::

tag user group author concept BibTeX key search:all

A blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(6)

<< < 1 > >>

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs
Domenico Cantone and Cristiano Longo and Marianna Nicolosi Asmundo (2010)
to multi-level-syllogistics maps NP-completeness ExpTime-hardness Decision-procedures Cartesian-product by etnarosso on Jul 11, 2010, 7:49 PM
URL | BibTeX | spam
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 | spam
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 | spam
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 | spam
Is the Verification Problem for Cryptographic Protocols Solved?.
Giampaolo Bella and 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 | spam
Verifying Second-Level Security Protocols.
Giampaolo Bella and 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 Feb 6, 2004, 12:00 AM
URL | BibTeX | spam

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